nickng / asyncpiLinks
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
Sorting:
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago
- Quantitative Type Theory implementation☆54Updated 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 6 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 4 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Type Theory in Type Theory using Cubical Agda☆13Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 5 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- Binary logical relations library for the Coq proof assistant☆21Updated 8 months ago
- Haskell implementation of the Edinburgh Logical Framework☆30Updated last month
- Observational Type Theory as an Agda library☆53Updated 8 years ago
- ☆22Updated 9 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- TODO☆10Updated 9 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Session types in Idris2!☆27Updated 4 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- Idris LLVM codegen factored out☆81Updated 7 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Idris, but it's C☆24Updated 7 years ago
- second-order abstract syntax☆31Updated 3 years ago
- Use GHC's Memory Allocator from C☆11Updated 5 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- playing with resumable computations☆13Updated 5 years ago