nickng / asyncpi
An implementation of asynchronous π-calculus in Go
☆7Updated 3 years ago
Alternatives and similar repositories for asyncpi:
Users that are interested in asyncpi are comparing it to the libraries listed below
- A showcase of interesting code and proof developments in Cedille☆36Updated 2 years ago
- Type Theory in Type Theory using Cubical Agda☆13Updated 6 years ago
- second-order abstract syntax☆31Updated 3 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 5 months ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- A Dict k v in Idris☆15Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Haskell Join-calculus DSL☆23Updated 6 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 12 years ago
- Minimal, efficient proof language☆14Updated 5 years ago
- Dafny for Metatheory of Programming Languages☆25Updated last week
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Use GHC's Memory Allocator from C☆11Updated 5 years ago
- Type-Theory in Sequent Calculus☆13Updated 9 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Type Theory with Indexed Equality☆25Updated 8 years ago
- A VM written following the Linear Abstract Machine architecture☆22Updated 5 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 3 months ago
- Idris LLVM codegen factored out☆80Updated 7 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Luck -- A Language for Property-Based Generators☆34Updated 2 months ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- secret project☆17Updated 7 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Idris, but it's C☆24Updated 6 years ago