TabularLang / CoreTabularLinks
☆22Updated 5 years ago
Alternatives and similar repositories for CoreTabular
Users that are interested in CoreTabular are comparing it to the libraries listed below
Sorting:
- An experiment at expressing functors in F# the .NET type system.☆17Updated 11 years ago
- Dr. Bayes☆84Updated 9 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Automata and transducer library for .NET☆81Updated 5 years ago
- A stream processing library for F#☆39Updated 9 years ago
- Dyna2 compiler and REPL☆147Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- F# library for Gaussian process models☆45Updated 10 years ago
- A logic programming library for F#☆46Updated 10 years ago
- ☆40Updated 9 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆41Updated 5 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆69Updated 6 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17Updated 7 years ago
- Probabilistic miniKanren☆65Updated 9 years ago
- Source code for my web site and blog - yet another remake!☆26Updated 3 months ago
- Web-based reference manager, written in Haskell.☆30Updated 9 years ago
- The Gamma lets anyone create transparent and open data visualizations that are linked to the original data source and encourages the rea…☆178Updated 2 years ago
- FFI-based byte buffers for Idris☆10Updated 6 years ago
- ☆60Updated 6 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆20Updated 2 years ago
- Hype: Compositional Machine Learning and Hyperparameter Optimization☆144Updated 5 years ago
- Edison: A Library of Efficient Data Structures☆56Updated 4 months ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- ☆61Updated 6 years ago
- ☆15Updated 10 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Updated 9 years ago