Stars
use a buffer as $PAGER when using emacs as your terminal
An overlay on Eglot for editing OCaml code using LSP
Context sensitive completion for OCaml in Vim and Emacs
A regexp/replace command for Emacs with interactive visual feedback
Pure OCaml implementation of the D-Bus protocol
Command-Line Argument Parsing, imperative style with a consumption mechanism.
Preprocessed Python functions and docstrings for automated code documentation (code2doc) and automated code generation (doc2code) tasks.
A very basic webserver that listens on port 80 and returns the apparent origin IP.
Magit plugin for dealing with GitHub pull requests
An OCaml generic virtual machine for microcontrollers
Code clone detection; clone-related bug detection; sematic clone analysis
Custom compiler for Michelson - Tezos Smart Contracts
Telegram bot to automatically generate and upload anki cards to ankisrs.net
A modern interface for implementing bulk-synchronous parallel programs.