TabularLang / CoreTabularLinks
☆21Updated 4 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
- F# library for Gaussian process models☆45Updated 10 years ago
- A stream processing library for F#☆39Updated 9 years ago
- A logic programming library for F#☆46Updated 10 years ago
- ☆15Updated 9 years ago
- ☆38Updated 9 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆69Updated 5 years ago
- FFI-based byte buffers for Idris☆10Updated 5 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
- A type theory based theorem proving library☆25Updated 13 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- F# implementation for BeakerNotebook☆28Updated 7 years ago
- Adapton Project Homepage☆16Updated 9 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 3 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- Source code for my web site and blog - yet another remake!☆26Updated last month
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Web-based reference manager, written in Haskell.☆29Updated 9 years ago
- Multi-stage Programming in F#☆12Updated 9 years ago
- Probabilistic Programming☆42Updated last year
- Early experimental F# type provider for python☆43Updated 7 years ago
- Dr. Bayes☆84Updated 8 years ago
- Experimental ML/AI code☆21Updated 3 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 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…☆177Updated last year