let-def

texpresso

TeXpresso: live rendering and error reporting for LaTeX

hotcaml

Hotcaml: an interpreter with watching and reloading

lwd

Lightweight document

wall

(mirror) A vector graphics renderer like NanoVG in OCaml

grenier

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)

goo

Cross-runtime object interface generation

owee

OCaml library to work with DWARF format

merlin-extend

SDK to extend Merlin

cmon

A library for printing OCaml values with sharing

lrgrep

Menhir polishing toolbox, for experienced druids

texpresso.vim

Neovim mode for TeXpresso

stb_truetype

OCaml bindings to stb_truetype, a public domain truetype font rasterizer

autoprinter

proof-of-concept to auto-install printer functions in the OCaml toplevel

ibutsu

pdfmagick

A small tool to split/cut/merge pdf files

stb_image

OCaml bindings to stb_image, a public domain image loader

ocaml-recovery-parser

A simple fork of OCaml parser with support for error recovery

strongenv

ttx

Typedtree related tools

colorfilter

A gnome extension to desaturate and filter colors

ocaml

Read-only mirror of INRIA SVN

opam-repository

Package descriptions for OPAM

aur

Package sources for all the AUR packages I either maintain, co-maintain, or fork.

catala

Programming language for literate programming law specification

illuaminate

Very WIP static analysis for Lua

merlin

Context sensitive completion for OCaml in Vim and Emacs

OpenTabletDriver

Open source, cross-platform, user-mode tablet driver

smtlib-utils

A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.

tectonic

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

z3

The Z3 Theorem Prover