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:
- In-browser OCaml notebooks πͺβ26Updated 6 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)β140Updated 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
- OCaml code to construct an NFA from a regular expressionβ52Updated 5 years ago
- ReasonML code to construct an NFA from a regular expressionβ24Updated 6 years ago
- Owl's OCaml Interface to Eigen3 C++ Libraryβ33Updated 3 years ago
- concatenative array language inspired by kdb/+qβ96Updated 3 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rustβ60Updated 5 years ago
- Hygienic typed literal macros (TLMs) for Reasonβ210Updated 6 years ago
- Typed Regular Expressionsβ179Updated last week
- β60Updated 6 years ago
- Ranked Programming Extension for Racketβ54Updated 5 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.β53Updated 4 years ago
- Stand-alone, minimalistic blogging engine powered by the Ocsigen web server + framework for OCaml.β127Updated 16 years ago
- β96Updated 10 months ago
- A typed, polyglot, functional languageβ204Updated this week
- A Typed, Composable Database Query Languageβ104Updated 4 years ago
- The OCaml-Canvas library provides a portable Canvas for OCamlβ60Updated last year
- Wiki for ocaml compiler internalsβ49Updated 12 years ago
- Verified hash-based AMQ structures in Coqβ124Updated 5 years ago
- An absurdly tiny Lisp interpreter in OCamlβ32Updated 13 years ago
- An OCaml javascript kernel for the IPython notebookβ58Updated 8 years ago
- OCaml bindings for D3.jsβ75Updated 7 years ago
- Proving a blocking queue deadlock free in a dozen different waysβ43Updated 11 months ago
- Owl's Differential Equation Solversβ35Updated 3 years ago
- An embeddable Lua 2.5 interpreter implemented in OCamlβ129Updated 7 months ago
- An ocaml driver for mongodbβ52Updated 3 years ago
- Use Python functions and objects from OCamlβ70Updated 7 years ago
- Instructions for setting up an OCaml development environmentβ97Updated 5 years ago