-
OCamlPro
- Basel, Switzerland
- https://nberth.space/
- https://orcid.org/0000-0002-0933-8193
Lists (1)
Sort Name ascending (A-Z)
Stars
One automated test generation tool to rule 'em all
The first ever roguelike written in the OCaml type system
OCamlPro public development repository for Alt-Ergo
Declarative definition of command line interfaces for OCaml
Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and multi-scalar multiplications (MSM) in Hardcaml. Originally dev…
Context sensitive completion for OCaml in Vim and Emacs
Programming language for literate programming law specification
Library for binding to C libraries using pure OCaml
nberth / awesompd
Forked from alexander-yakushev/awesompdAdvanced mpd widget for Awesome WM