let-def

cuite

(mirror) OCaml bindings to Qt toolkit.

goo

Cross-runtime object interface generation

grenier

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)

hotcaml

Hotcaml: an interpreter with watching and reloading

insydious

Unlock 10 digits BIOS passwords

lrgrep

Menhir polishing toolbox, for experienced druids

lwd

Lightweight document

owee

OCaml library to work with DWARF format

texpresso

TeXpresso: live rendering and error reporting for LaTeX

wall

(mirror) A vector graphics renderer like NanoVG in OCaml

let-def/texpresso

TeXpresso: live rendering and error reporting for LaTeX

let-def/hotcaml

Hotcaml: an interpreter with watching and reloading

let-def/lwd

Lightweight document

let-def/wall

(mirror) A vector graphics renderer like NanoVG in OCaml

let-def/grenier

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)

let-def/owee

OCaml library to work with DWARF format

let-def/lrgrep

Menhir polishing toolbox, for experienced druids

let-def/texpresso.vim

Neovim mode for TeXpresso

let-def/merlin-extend

SDK to extend Merlin

let-def/cmon

A library for printing OCaml values with sharing

let-def/lrgrep-ocaml

Applying LRGrep to OCaml frontend

let-def/stb_image

OCaml bindings to stb_image, a public domain image loader

let-def/stb_truetype

OCaml bindings to stb_truetype, a public domain truetype font rasterizer

let-def/autoprinter

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

let-def/ocaml-recovery-parser

A simple fork of OCaml parser with support for error recovery

let-def/pdfmagick

A small tool to split/cut/merge pdf files

let-def/strongenv

let-def/ttx

Typedtree related tools

let-def/colorfilter

A gnome extension to desaturate and filter colors

let-def/ocaml

Read-only mirror of INRIA SVN

let-def/recel

Pixelart upscaling toolkit

let-def/opam-repository

Package descriptions for OPAM

let-def/tectonic

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

let-def/aur

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

let-def/catala

Programming language for literate programming law specification

let-def/ezcurl

A simple wrapper around OCurl.

let-def/illuaminate

Very WIP static analysis for Lua

let-def/OpenTabletDriver

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

let-def/smtlib-utils

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

let-def/z3

The Z3 Theorem Prover