TabularLang / CoreTabular
☆20Updated 4 years ago
Related projects: ⓘ
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 9 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Experimental ML/AI code☆21Updated 3 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 9 years ago
- Probabilistic Programming☆39Updated 9 months ago
- Dr. Bayes☆83Updated 8 years ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Primary implementation of the Venture probabilistic programming system☆29Updated 4 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 4 years ago
- Probabilistic miniKanren☆60Updated 8 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 6 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A low-level probabilistic programming framework embedded in Terra.☆28Updated 8 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 6 years ago
- A collection of Kanren implementations in Julia☆24Updated 7 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- FFI-based byte buffers for Idris☆11Updated 5 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Relational version of parsing with derivatives code☆42Updated 11 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆11Updated 9 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Spreadsheet demo in Haskell☆16Updated 9 months ago
- Short introduction to topology for people who don't really care about topology☆47Updated 13 years ago
- ☆13Updated 6 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 9 years ago