Projects in Awesome Lists by rlepigre
A curated list of projects in awesome lists by rlepigre .
https://github.com/rlepigre/ocaml-bindlib
Efficient binder representation in OCaml
Last synced: 20 Nov 2024
https://github.com/rlepigre/ocaml-imagelib
The imagelib library implements image formats such as PNG or PPM
Last synced: 20 Nov 2024
https://github.com/rlepigre/subml
SubML (prototype) language
polymorphism prototype-language subtyping termination
Last synced: 20 Nov 2024
https://github.com/rlepigre/pml
New version of the PML language and (classical) proof assistant
classical-logic ocaml pml program-equivalence proof-assistant
Last synced: 20 Nov 2024
https://github.com/rlepigre/ocaml-earley
Parsing library based on Earley Algorithm
earley-parser extensible-parsing parser-combinators
Last synced: 20 Nov 2024
https://github.com/rlepigre/bare-metal-aarch64
Fiddling with aarch64 exception levels on a Raspberry Pi 3.
Last synced: 13 Apr 2025
https://github.com/rlepigre/cwg
Crossword generator, text, LaTeX and HTML backend
Last synced: 20 Nov 2024
https://github.com/rlepigre/ocaml-timed
Timed references for imperative state
functional-programming imperative-programming references rollback
Last synced: 20 Nov 2024
https://github.com/rlepigre/ocaml-earley-ocaml
Extensible OCaml parser to be used with Earley
Last synced: 14 Mar 2025
https://github.com/rlepigre/pzls
A javascript library for embedding handcrafted (variant) Sudoku puzzles in a web page.
javascript-library puzzle-game sudoku
Last synced: 14 Mar 2025
https://github.com/rlepigre/rocqfind
Prototype package management tool for Coq/Rocq
Last synced: 14 Mar 2025
https://github.com/rlepigre/slides_summary_nameless_writes
Summary and presentation of a research paper: De-indirection for Flash-based SSDs with Nameless Writes.
Last synced: 14 Mar 2025