-
Developer Avocados
-
13:01
(UTC +07:00) - https://ko-fi.com/hoangphan
Highlights
Lists (1)
Sort Name ascending (A-Z)
Starred repositories
Lock-free data structures for multicore OCaml
Toolchain to create JVM-ready Java bytecode from Rust MIR.
Implementations of various type systems in OCaml.
Context sensitive completion for OCaml in Vim and Emacs
Fast, secure, RFC-compliant WebSocket implementation for Rust, supporting compression
Qt Bridge for Rust. Qt Bridges enables developers to provide application logic written in a foreign language to Qt Quick applications by offering a simple API that follows the target language’s sty…
Repository for skills to assist AI coding agents with .NET and C#
A data-structure parameterization system written for embedding context in JSON objects
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
Privacy first, AI meeting assistant with 4x faster Parakeet/Whisper live transcription, speaker diarization, and Ollama summarization built on Rust. 100% local processing. no cloud required. Meetil…
A webpack-based toolkit to build your React Native application with full support of webpack ecosystem.
💎 Pure-Julia TIFF I/O with a focus on correctness 🧐
Programming language for literate programming law specification
Experimental successor to rescript-webapi
DeepSpec: a full-stack codebase for training and evaluating speculative decoding algorithms
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Indentation tool for OCaml, to be used from editors like Emacs and Vim.

