liaopeiyuan / zeta
functional neural networks in ocaml
☆88Updated 4 years ago
Related projects: ⓘ
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 5 years ago
- OCaml code to construct an NFA from a regular expression☆49Updated 4 years ago
- In-browser OCaml notebooks 🐪☆25Updated 5 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 4 years ago
- ReasonML code to construct an NFA from a regular expression☆23Updated 5 years ago
- Jane Street Capital's asynchronous execution library (core)☆58Updated 3 weeks ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆54Updated 3 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 5 years ago
- A tutorial on Incremental, originally for CUFP 2017☆43Updated 6 years ago
- Library for incremental computations depending only on Core_kernel☆47Updated 6 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- OCaml functional web scraping library☆90Updated 3 years ago
- Typed Regular Expressions☆171Updated 4 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- Cram like framework for OCaml☆141Updated 3 weeks ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 4 years ago
- A toy implementation of the bitcoin protocol in ocaml.☆29Updated 8 years ago
- Functional Programming in OCaml MOOC☆36Updated 4 years ago
- ☆22Updated 5 years ago
- (mirror) A vector graphics renderer like NanoVG in OCaml☆79Updated 5 months ago
- Verified hash-based AMQ structures in Coq☆122Updated 4 years ago
- A benchmark suite for the OCaml compiler☆82Updated 3 weeks ago
- A Typed, Composable Database Query Language☆104Updated 3 years ago
- Hotcaml: an interpreter with watching and reloading☆143Updated 2 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆83Updated 4 months ago
- Wiki for ocaml compiler internals☆47Updated 11 years ago
- Abstract engine for text edition in OCaml☆121Updated last year
- Serialization library built for speed and memory efficiency☆134Updated last year
- 🔨 Tool to generate OCaml projects☆59Updated 3 years ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆59Updated 2 months ago