fritzo / pomagma
An inference engine for extensional untyped λ-calculus
☆17Updated 2 years ago
Alternatives and similar repositories for pomagma:
Users that are interested in pomagma are comparing it to the libraries listed below
- Aerie: a regex-like engine nested word grammars☆16Updated 3 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- ibmgraphblas☆27Updated 6 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆21Updated 12 years ago
- The Stratego program transformation language☆31Updated 7 months ago
- A MiniKanren in Python☆35Updated 8 years ago
- ASCII back-end for matplotlib☆21Updated 9 years ago
- A C implementation of the Tsetlin Machine☆15Updated 6 years ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆34Updated 2 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
- A JavaScript runtime for the SNOBOL4 programming language☆18Updated 3 years ago
- utilities for filesystem exploration and automated builds☆21Updated last month
- OGDL for C☆17Updated 7 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Markdown -> IPython conversion tool☆15Updated 10 years ago
- Subsumed into xnd☆25Updated 5 years ago
- Python term rewriting☆29Updated 12 years ago
- A list of compilers with some metadata.☆12Updated 9 months ago
- Julia Implementation of Unums☆42Updated 8 years ago
- A vertex-centric CUDA/C++ API for large graph analytics on GPUs using the Gather-Apply-Scatter abstraction☆23Updated 10 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- tinkerpop blueprints graphdb on top on lmdb☆20Updated 11 years ago
- Python bindings for libNVVM☆37Updated 10 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆33Updated 11 months ago
- Jupyter Kernel for Xonsh☆22Updated 8 years ago
- Information geometry and its extension information topology☆10Updated 7 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 4 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Prolog Implementation in Python☆11Updated 7 years ago