fritzo / pomagmaLinks
An inference engine for extensional untyped λ-calculus
☆3Updated this week
Alternatives and similar repositories for pomagma
Users that are interested in pomagma are comparing it to the libraries listed below
Sorting:
- Julia Implementation of Unums☆42Updated 8 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆21Updated 12 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 7 years ago
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 8 years ago
- Correctly-rounded mathematical functions☆8Updated 4 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…☆10Updated last year
- A MiniKanren in Python☆35Updated 8 years ago
- ☆34Updated 4 years ago
- Modeling and Programming with Gecode☆51Updated 2 years ago
- Recursive LAPACK Collection☆42Updated 3 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- Information geometry and its extension information topology☆10Updated 7 years ago
- Evolutionary Algorithms Library☆63Updated 5 years ago
- A scalable implementation of the multifrontal method for symmetric and Hermitian systems (with intrafrontal pivoting)☆19Updated 9 years ago
- ☆19Updated 8 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- The CompilerTools package, part of the High Performance Scripting project at Intel Labs☆30Updated 2 years ago
- Subsumed into xnd☆25Updated 5 years ago
- A brainfuck kernel for IPython/Jupyter.☆28Updated 10 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- An implementation of the APL language in Python with the Numpy module☆30Updated 8 years ago
- ☆14Updated 5 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Updated last year
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆15Updated 9 months ago
- Unified interface to symbolic manipulation libraries in Python☆9Updated 4 months ago