priorknowledge / loomLinks
A streaming cross-cat inference engine
☆48Updated 10 years ago
Alternatives and similar repositories for loom
Users that are interested in loom are comparing it to the libraries listed below
Sorting:
- A Haskell wrapper for xgboost☆23Updated 8 years ago
- Experimental ML/AI code☆21Updated 4 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆33Updated last year
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 3 years ago
- Dyna2 compiler and REPL☆147Updated 5 years ago
- Framework for Gibbs sampling of probabilistic models☆49Updated 10 years ago
- FFI-based byte buffers for Idris☆10Updated 6 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- restricted boltzmann machine☆45Updated 9 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- DeepAlgebra☆25Updated 7 years ago
- playing with recurrent neural networks☆28Updated 10 years ago
- The BLOG programming language☆100Updated 2 years ago
- ☆54Updated 9 years ago
- Saul : Declarative Learning-Based Programming☆64Updated 5 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- ☆57Updated 8 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 10 years ago
- A fast, easy-to-use q-learning library for Haskell☆45Updated 9 years ago
- GPU-accelerated natural language parser☆36Updated 11 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- Hopfield Networks for unsupervised learning in Haskell☆16Updated 11 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
- Dr. Bayes☆84Updated 9 years ago
- Experiments with haskell neural networks☆11Updated 10 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 10 years ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago