nickng / asyncpi
An implementation of asynchronous π-calculus in Go
☆8Updated 3 years ago
Related projects: ⓘ
- Luck -- A Language for Property-Based Generators☆31Updated 6 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- Coq Enhancement Proposals☆43Updated last week
- A Hello World program in Coq.☆17Updated 2 years ago
- ☆10Updated 5 years ago
- The Combination of Dynamic and Static Typing from a Categorical Perspective☆10Updated 7 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 6 years ago
- Core components for the Scribble Java tools☆55Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆20Updated 3 months ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- ☆20Updated this week
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- Distributed Data Structures in Coq☆49Updated 10 years ago
- ☆28Updated 9 years ago
- SML The Living Language☆11Updated 10 years ago
- Dafny for Metatheory of Programming Languages☆21Updated last week
- secret project☆17Updated 6 years ago
- The Ur/Web People Organizer☆29Updated 4 months ago
- A partial implementation of Protocol Buffers in Idris☆29Updated 7 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated last year
- Reference type checker for the Lean theorem prover☆57Updated 7 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 11 years ago
- Binary logical relations library for the Coq proof assistant☆20Updated last week
- TODO☆10Updated 8 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- A dependently typed programming language, and verification tool☆26Updated 8 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆28Updated 3 years ago