coq-concurrency / pluto
A web server written in Coq.
☆86Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for pluto
- A formalisation of the Calculus of Constructions☆66Updated 3 months ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- A hip inductive theorem prover!☆88Updated 2 years ago
- Formalising Type Theory in a modular way for translations between type theories☆90Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 8 years ago
- The Evolution of a Typechecker☆54Updated 5 years ago
- Type provider library for Idris☆92Updated 6 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated 3 weeks ago
- ☆82Updated 7 years ago
- Higher-order optimization library☆73Updated last year
- OCaml backend for Agda☆39Updated 6 years ago
- A library for effects in Coq.☆64Updated 2 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆70Updated 5 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- Macro Lambda Calculus☆45Updated 5 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆66Updated 2 months ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆78Updated 4 years ago
- Linear Dependent Types for Differential Privacy TypeChecker☆31Updated 4 years ago
- Implementation of Univalence in Cubical Sets☆145Updated 9 years ago
- Library of Unix effects for Coq.☆23Updated 5 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- The LVish Haskell library☆81Updated 2 years ago
- A prototypical dependently typed languages with sized types and variances☆104Updated last year
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- A language based on homotopy type theory with an interval☆84Updated 9 years ago
- Charity language interpreters and literature☆114Updated 5 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago