liaopeiyuan / zetaLinks
functional neural networks in ocaml
☆89Updated 5 years ago
Alternatives and similar repositories for zeta
Users that are interested in zeta are comparing it to the libraries listed below
Sorting:
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- In-browser OCaml notebooks 🐪☆26Updated 6 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- Hotcaml: an interpreter with watching and reloading☆146Updated 3 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆60Updated 5 years ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- OCaml code to construct an NFA from a regular expression☆52Updated 5 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- concatenative array language inspired by kdb/+q☆93Updated 3 years ago
- Typed Regular Expressions☆173Updated 5 years ago
- Instructions for setting up an OCaml development environment☆97Updated 5 years ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- OCaml Documentations as one-pagers, easy to keep useful commands in mind☆130Updated 4 years ago
- A typed, polyglot, functional language☆204Updated this week
- Wiki for ocaml compiler internals☆48Updated 12 years ago
- LVC verified compiler☆57Updated 6 years ago
- A tutorial on Incremental, originally for CUFP 2017☆45Updated 7 years ago
- Algebraic structures for untyped Racket☆77Updated last year
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 4 years ago
- Abstract engine for text edition in OCaml☆123Updated last month
- ☆60Updated 6 years ago
- Reference of basic commands to get comfortable with OCaml.☆78Updated 6 years ago
- Haskell In New Clothes☆110Updated 5 years ago
- OCaml functional web scraping library☆91Updated 4 years ago
- ☆95Updated 8 months ago