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
owee
OCaml library to work with DWARF format
texpresso
TeXpresso: live rendering and error reporting for LaTeX
texpresso.vim
Neovim mode for TeXpresso
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/texpresso.vim
Neovim mode for TeXpresso
let-def/owee
OCaml library to work with DWARF format
let-def/lrgrep
Menhir polishing toolbox, for experienced druids
let-def/merlin-extend
SDK to extend Merlin
let-def/cmon
A library for printing OCaml values with sharing
let-def/perfctl
A wrapper and an OCaml library to control 'perf' from the program being profiled.
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/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/triforce
let-def/z3
The Z3 Theorem Prover