coq-concurrency / plutoLinks
A web server written in Coq.
☆88Updated 9 years ago
Alternatives and similar repositories for pluto
Users that are interested in pluto are comparing it to the libraries listed below
Sorting:
- A hip inductive theorem prover!☆89Updated 3 years ago
- A formalisation of the Calculus of Constructions☆71Updated last year
- ☆84Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- Higher-order optimization library☆76Updated 2 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- A library for effects in Coq.☆66Updated 3 years ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- Implementation of Univalence in Cubical Sets☆146Updated 10 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- Reference type checker for the Lean theorem prover☆62Updated 8 years ago
- Macro Lambda Calculus☆49Updated 6 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- Coq with native compilation, as well as machine integers and arrays !☆62Updated 7 years ago
- Type provider library for Idris☆94Updated 7 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆71Updated last month
- An experimental type checker for a modal dependent type theory.☆112Updated 5 years ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆45Updated 2 weeks ago
- Real number computation software☆126Updated 2 years ago
- The Spire Programming Language☆59Updated 10 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- ☆29Updated 9 years ago
- A prototype programming language for programming with runners☆91Updated 3 years ago
- The Ynot Project source code.☆22Updated 11 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated 2 weeks ago
- Programming library for Agda☆130Updated 11 months ago