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:
- Luck -- A Language for Property-Based Generators☆34Updated 3 months ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months 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
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated this week
- A VM written following the Linear Abstract Machine architecture☆22Updated 5 years ago
- Type Theory in Type Theory using Cubical Agda☆13Updated 6 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Thesis☆38Updated 7 years ago
- ☆29Updated 9 years ago
- Haskell implementation of the Edinburgh Logical Framework☆30Updated last month
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Updated 8 years ago
- An interactive beta reduction calculator for lambda calculus☆11Updated 7 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆31Updated last month
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- Session types in Idris2!☆27Updated 4 years ago
- A Dict k v in Idris☆15Updated 4 years ago
- A Hello World program in Coq.☆17Updated 3 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Haskell Interface for getting overall system statistics☆16Updated 6 years ago
- Idris LLVM codegen factored out☆80Updated 7 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago
- A language parsing quasiquoter for Haskell based heavily on ANTLR4.☆52Updated 4 years ago
- Experimentation project☆16Updated 11 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 4 months ago
- SML The Living Language☆11Updated 11 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- playing with resumable computations☆13Updated 5 years ago