bordaigorl / stargazer
A simulator for visualising the evolution of π-calculus terms
☆40Updated 2 years ago
Alternatives and similar repositories for stargazer:
Users that are interested in stargazer are comparing it to the libraries listed below
- ☆29Updated 9 years ago
- ☆26Updated 10 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 7 months ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 5 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 11 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- source code for the bondi programming language☆40Updated 5 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- An extended typed Lambda Calculus☆20Updated 5 months ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- ☆59Updated 5 years ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 7 months ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆11Updated 5 years ago
- being an experiment with potato power☆23Updated 5 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- Minimal, efficient proof language☆14Updated 5 years ago