coq-concurrency / pluto
A web server written in Coq.
☆87Updated 8 years ago
Alternatives and similar repositories for pluto:
Users that are interested in pluto are comparing it to the libraries listed below
- A formalisation of the Calculus of Constructions☆67Updated 7 months ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆113Updated last month
- A library for effects in Coq.☆64Updated 2 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- An experimental type checker for a modal dependent type theory.☆109Updated 4 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆80Updated 8 years ago
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- ☆84Updated 7 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated 4 months ago
- Formalising Type Theory in a modular way for translations between type theories☆91Updated 7 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆69Updated last week
- Coq formalizations of functional languages.☆143Updated 4 years ago
- LL(1) parser generator verified in Coq☆45Updated 5 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- Macro Lambda Calculus☆46Updated 5 years ago
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- Hoare Type Theory☆71Updated last month
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆80Updated 4 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- Abstracting Definitional Interpreters☆67Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- ☆82Updated 10 months ago
- Library of Unix effects for Coq.☆23Updated 5 years ago
- A language based on homotopy type theory with an interval☆85Updated 9 years ago
- second-order abstract syntax☆31Updated 3 years ago
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆74Updated 4 months ago
- The Ynot Project source code.☆21Updated 10 years ago