cpitclaudel / fstar.js
F* running in the browser
☆21Updated 5 years ago
Related projects: ⓘ
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Self-adjusting computations☆23Updated 11 months ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 3 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated this week
- Parsing library based on Earley Algorithm☆17Updated 3 years ago
- Bindings to the various POSIX APIs☆27Updated last year
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- Identifying similar OCaml codes☆30Updated last month
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated last year
- Effectful OCaml with Objects and Variants☆29Updated last year
- Persistent vectors for OCaml☆40Updated 6 years ago
- Yet another type combinator library☆54Updated 2 years ago
- OCaml BitTorrent library and client☆39Updated 2 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆12Updated 3 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 2 years ago
- a distributed computing library for OCaml☆25Updated 8 months ago
- A real time 2D graphics renderer for OCaml☆28Updated 2 years ago
- Strongly typed multidimensional array library for OCaml☆52Updated 3 months ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆24Updated last month
- Bigstring intrinsics and fast blits based on memcpy/memmove☆38Updated 2 months ago
- An OCaml clustering library☆21Updated 3 years ago
- Algorithms to layout trees in a pretty manner.☆37Updated 2 years ago
- Dissect OCaml compiled programs, and weight their content☆25Updated last year
- Runtime library and schema compiler for the Avro serialization format☆21Updated 2 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated last year
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- ☆20Updated 5 years ago
- The Ensemble distributed communications toolkit☆13Updated 4 years ago
- The core OCaml system: compilers, runtime system, base libraries☆22Updated last week