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
- Correctly-rounded mathematical functions☆8Updated 3 months ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- A JavaScript runtime for the SNOBOL4 programming language☆18Updated 3 years ago
- The Stratego program transformation language☆31Updated last month
- Aerie: a regex-like engine nested word grammars☆16Updated 3 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- An algorithm for generating random doubles.☆12Updated 8 years ago
- Unified interface to symbolic manipulation libraries in Python☆9Updated 3 months ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆35Updated 3 years ago
- Julia bindings for xtensor☆19Updated 2 years ago
- Information geometry and its extension information topology☆10Updated 7 years ago
- ☆13Updated 2 years ago
- GluCat: Clifford algebra templates☆20Updated 2 months ago
- ☆16Updated 8 years ago
- A scalable implementation of the multifrontal method for symmetric and Hermitian systems (with intrafrontal pivoting)☆19Updated 8 years ago
- Subsumed into xnd☆25Updated 5 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 7 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 9 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Like `which`, for dynamic libraries☆39Updated 5 months ago
- A textual front end to Mathematica.☆12Updated 5 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- Logic Programming for Python3☆8Updated 8 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 2 years ago
- OGDL for C☆17Updated 7 years ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 9 years ago