Pinned Repositories
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
lwd
Lightweight document
ocamp
Reactive programming… in the shell
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's Repositories
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/goo
Cross-runtime object interface generation
let-def/owee
OCaml library to work with DWARF format
let-def/merlin-extend
SDK to extend Merlin
let-def/lrgrep
Menhir polishing toolbox, for experienced druids
let-def/cmon
A library for printing OCaml values with sharing
let-def/texpresso.vim
Neovim mode for TeXpresso
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/ibutsu
let-def/pdfmagick
A small tool to split/cut/merge pdf files
let-def/stb_image
OCaml bindings to stb_image, a public domain image loader
let-def/ocaml-recovery-parser
A simple fork of OCaml parser with support for error recovery
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/opam-repository
Package descriptions for OPAM
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/illuaminate
Very WIP static analysis for Lua
let-def/merlin
Context sensitive completion for OCaml in Vim and Emacs
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/tectonic
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
let-def/z3
The Z3 Theorem Prover