renzyq19 / pi-calculusLinks
☆27Updated 11 years ago
Alternatives and similar repositories for pi-calculus
Users that are interested in pi-calculus are comparing it to the libraries listed below
Sorting:
- A general purpose programming language with linear types☆43Updated 8 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 8 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- ☆29Updated 10 years ago
- SC Mini is a "minimal" positive supercompiler☆48Updated 5 years ago
- Haskell Join-calculus DSL☆24Updated 7 years ago
- Experiments in abstracting definitional interpreters☆16Updated 8 years ago
- A dependently typed type checker for a TT with intervals☆23Updated 5 years ago
- Agda-style equational reasoning in Haskell☆54Updated 9 months ago
- Type Theory with Indexed Equality☆26Updated 8 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 6 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated last year
- Toy typechecker for Insanely Dependent Types☆82Updated 2 months ago
- ☆23Updated 8 years ago
- System F in coq.☆19Updated 10 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- A Dependently Typed Programming Language☆27Updated 5 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆37Updated 5 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 12 years ago
- ☆16Updated 8 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Interactive and object-oriented programming in Agda using coinductive types☆24Updated last month
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Updated 5 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 5 years ago
- ☆32Updated 7 years ago