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
- ☆10Updated 6 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated last month
- Minimal, efficient proof language☆14Updated 5 years ago
- Luck -- A Language for Property-Based Generators☆34Updated 7 years ago
- A Hello World program in Coq.☆17Updated 2 years ago
- TODO☆10Updated 9 years ago
- A simple db for ingesting and indexing static datasets on disk☆11Updated 2 months ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 11 years ago
- Attribute Grammars on Graphs☆10Updated 8 years ago
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- Type Theory in Type Theory using Cubical Agda☆12Updated 5 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- The Combination of Dynamic and Static Typing from a Categorical Perspective☆10Updated 7 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆12Updated 4 years ago
- Core components for the Scribble Java tools☆56Updated 3 months ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆30Updated 2 months ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Collection of Idris snippets☆21Updated 10 months ago
- Observational Type Theory as an Agda library☆52Updated 7 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago