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
- concatenative array language inspired by kdb/+qβ96Updated 3 years ago
- The OCaml-Canvas library provides a portable Canvas for OCamlβ60Updated last year
- ReasonML code to construct an NFA from a regular expressionβ24Updated 6 years ago
- OCaml code to construct an NFA from a regular expressionβ52Updated 5 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rustβ60Updated 5 years ago
- Verified hash-based AMQ structures in Coqβ124Updated 5 years ago
- LVC verified compilerβ57Updated 6 years ago
- A small and expressive dependently typed languageβ131Updated 5 years ago
- Hygienic typed literal macros (TLMs) for Reasonβ210Updated 6 years ago
- Typed Regular Expressionsβ179Updated 3 weeks ago
- Owl's OCaml Interface to Eigen3 C++ Libraryβ33Updated 3 years ago
- An absurdly tiny Lisp interpreter in OCamlβ32Updated 13 years ago
- β96Updated 9 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCamlβ34Updated 6 years ago
- Parallel Programming in Futharkβ49Updated last month
- Proving a blocking queue deadlock free in a dozen different waysβ43Updated 11 months ago
- A Typed, Composable Database Query Languageβ104Updated 4 years ago
- Various Futhark benchmark programsβ42Updated last month
- Owl's Differential Equation Solversβ35Updated 3 years ago
- Full Stack ReasonML Tutorialsβ230Updated 4 years ago
- Algebraic structures for untyped Racketβ77Updated last year
- Ranked Programming Extension for Racketβ54Updated 5 years ago
- Instructions for setting up an OCaml development environmentβ97Updated 5 years ago
- A DSL/LISP dialect written in Haskellβ21Updated 7 years ago
- β41Updated 10 years ago
- Iterated Function Systems fractals with OCaml.β34Updated 3 years ago