A tiny build system for OCaml

An Emacs shell-mode (and comint-mode) extension that enables displaying small plots and graphics and lets users write shell commands in Emacs Lisp.

use a buffer as $PAGER when using emacs as your terminal

OCaml date time handling and reasoning suite

A composable build system for OCaml.

An overlay on Eglot for editing OCaml code using LSP

Context sensitive completion for OCaml in Vim and Emacs

Emacs OCaml mode

A regexp/replace command for Emacs with interactive visual feedback

A shell library for OCaml

A PBT framework

Emacs-GitLab integration

OCaml bindings for OpenAI API

Pure OCaml implementation of the D-Bus protocol

Command-Line Argument Parsing, imperative style with a consumption mechanism.

OCaml ctypes bindings to llama.cpp

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.

StGit extension for Magit

Magit plugin for dealing with GitHub pull requests

An OCaml generic virtual machine for microcontrollers

An Emacs web feeds client

Code clone detection; clone-related bug detection; sematic clone analysis

Cucumber for OCaml

BSPlib implementation on top MPI

Custom compiler for Michelson - Tezos Smart Contracts

Telegram bot to automatically generate and upload anki cards to ankisrs.net

A hip inductive theorem prover!