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
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆34Updated 2 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- ibmgraphblas☆27Updated 6 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- A JavaScript runtime for the SNOBOL4 programming language☆18Updated 3 years ago
- RLU resizable hash-table☆16Updated 9 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- firm object-orientation support library☆14Updated 3 years ago
- OGDL for C☆17Updated 7 years ago
- Operations for Immutable Notebook Documents☆29Updated 7 years ago
- A C implementation of the Tsetlin Machine☆15Updated 6 years ago
- The Stratego program transformation language☆31Updated 6 months ago
- ☆11Updated 6 years ago
- An API to provide an efficient distributed queue on a cluster. Libcircle is currently used in production to quickly traverse and perform …☆98Updated 4 years ago
- tinkerpop blueprints graphdb on top on lmdb☆20Updated 11 years ago
- Python bindings for libNVVM☆37Updated 10 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 fork of clang with Sierra patches☆20Updated 6 years ago
- CCS in C++☆25Updated last year
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 4 years ago
- An end-to-end management tool for very large computing environments, physical and virtual. it collects alarms and detailed statistics fro…☆15Updated last year
- Cell language C++ runtime☆18Updated 4 years ago
- an atomic odometer for the command line☆73Updated 7 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- CMake and other scripts to help build process of FlyEM software☆27Updated 2 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 7 years ago