fritzo / pomagma
An inference engine for extensional untyped λ-calculus
☆17Updated last year
Related projects: ⓘ
- Programmatic Control Flow☆13Updated 7 years ago
- Aerie: a regex-like engine nested word grammars☆16Updated 2 years ago
- utilities for filesystem exploration and automated builds☆21Updated 2 months ago
- OGDL for C☆17Updated 6 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 12 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 3 years ago
- Java implementation of the FSet functional collections library.☆10Updated 8 years ago
- The Stratego program transformation language☆30Updated last month
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆33Updated 2 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- ibmgraphblas☆27Updated 5 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆15Updated 3 months ago
- tinkerpop blueprints graphdb on top on lmdb☆20Updated 10 years ago
- Build languages on Python.☆12Updated 3 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆22Updated 11 years ago
- ASCII back-end for matplotlib☆20Updated 8 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆19Updated 6 years ago
- Some algorithms and data structures☆17Updated 4 years ago
- A module for handling continuations in Python☆33Updated 7 years ago
- Experimental html based terminal emulator using pyte and webkit.☆28Updated 7 years ago
- FUSE (the low-level interface) file system boilerplate☆15Updated last year
- Advanced multiple dispatch for Python functions☆10Updated this week
- a fork of clang with Sierra patches☆20Updated 6 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last month
- A collection of open source math notes.☆29Updated last month
- Speed testing for a data munging task☆44Updated 11 years ago
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- ☆16Updated this week