priorknowledge / loomLinks
A streaming cross-cat inference engine
☆49Updated 10 years ago
Alternatives and similar repositories for loom
Users that are interested in loom are comparing it to the libraries listed below
Sorting:
- Framework for Gibbs sampling of probabilistic models☆49Updated 10 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆12Updated 3 years ago
- A Haskell wrapper for xgboost☆23Updated 8 years ago
- Experimental ML/AI code☆21Updated 4 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆33Updated last year
- FFI-based byte buffers for Idris☆10Updated 6 years ago
- Dyna2 compiler and REPL☆147Updated 5 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- An embedded DSL for creating, composing, and using probability measures.☆41Updated 6 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 10 years ago
- A fast, easy-to-use q-learning library for Haskell☆45Updated 9 years ago
- typesafe implementation of tensor algebra in Haskell☆13Updated 4 years ago
- Example automatic differentiation code in Scala☆31Updated 5 years ago
- Succinct vectors☆20Updated 6 years ago
- Experiments with haskell neural networks☆11Updated 10 years ago
- Painless general-purpose sampling.☆24Updated 10 months ago
- Try Idris☆35Updated 10 years ago
- A semantically unified SQL and NoSQL query and update system☆18Updated 6 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Updated 9 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- Symbolic logic expressions☆14Updated 5 years ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- playing with recurrent neural networks☆28Updated 9 years ago