typesanitizer / b2piet
☆10Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for b2piet
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆17Updated 3 years ago
- J'ai plus mal à la tête maintenant☆26Updated 2 months ago
- A small command-line tool to help with mechanical edition of opam files☆10Updated last year
- The caml walks, OCaml runs☆18Updated last year
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- Experimental opam plugin☆16Updated 8 months ago
- Format string experimentations☆12Updated 3 years ago
- Reflect the essence of OCaml types as values☆14Updated last year
- remove accents from utf8 strings☆15Updated last year
- OCaml bindings to Minisat☆12Updated 6 months ago
- ☆17Updated 8 months ago
- OCaml bindings to Windows' IOCP API☆16Updated last year
- [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks☆17Updated 4 years ago
- ☆20Updated 5 years ago
- a ppx_deriving plugin for crowbar generators☆20Updated 5 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆15Updated 2 years ago
- An ocaml library for manipulating diffs.☆18Updated 9 months ago
- IRC bot for #ocaml@freenode☆9Updated 3 years ago
- A simple websocket library for OCaml with no dependencies☆15Updated 7 months ago
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- Open records implemented using map over universal type☆33Updated 4 years ago
- OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way.☆20Updated 2 years ago
- Fast char sets☆19Updated 2 years ago
- Lower-Kinded Optics for OCaml☆21Updated 2 years ago
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆13Updated 4 years ago
- A modified OCaml compiler for eliom programs☆10Updated 7 years ago
- Snóke is a good old Snake game with new ideas☆21Updated last year
- HTTP combinators for MirageOS☆12Updated 5 years ago
- HTTP toolkit for OCaml (unreleased)☆20Updated 2 weeks ago