fritzo / pomagma
An inference engine for extensional untyped λ-calculus
☆17Updated last year
Related projects ⓘ
Alternatives and complementary repositories for pomagma
- Aerie: a regex-like engine nested word grammars☆16Updated 2 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 2 years ago
- Programmatic Control Flow☆13Updated 7 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- The Stratego program transformation language☆30Updated 3 months ago
- Experimental html based terminal emulator using pyte and webkit.☆28Updated 7 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆22Updated 11 years ago
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- Markdown -> IPython conversion tool☆15Updated 9 years ago
- FUSE (the low-level interface) file system boilerplate☆15Updated last year
- utilities for filesystem exploration and automated builds☆21Updated 3 weeks ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆14Updated last week
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 6 years ago
- Subsumed into xnd☆25Updated 5 years ago
- CCS in C++☆25Updated last year
- OGDL for C☆17Updated 6 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Low-latency Overlog runtime☆18Updated 9 years ago
- A module for handling continuations in Python☆33Updated 8 years ago
- thread-safe sparse matrix data structure☆25Updated 10 years ago
- RLU resizable hash-table☆16Updated 9 years ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 3 years ago
- Python bindings for libNVVM☆37Updated 10 years ago
- CMake and other scripts to help build process of FlyEM software☆27Updated 2 years ago
- A small C++17 library inspired by Category Theory.☆15Updated last year
- Prepared statement support for the system command☆29Updated 4 years ago