PnVDiscord / PnVRocqLibLinks
π A Rocq library written by members of PnV Discord Server
β15Updated last week
Alternatives and similar repositories for PnVRocqLib
Users that are interested in PnVRocqLib are comparing it to the libraries listed below
Sorting:
- β10Updated last year
- β14Updated last year
- π (WIP) Rewriting Software Foundations in Lean 4β17Updated last week
- bidirectional type checking algorithms for higher-ranked polymorphismβ19Updated 3 years ago
- Prototype for https://github.com/Innf107/vegaβ19Updated last year
- A verified compiler for a lazy functional languageβ37Updated last week
- PolyRPC, A multi-tier functional programming languageβ20Updated 3 years ago
- Tutorial for refinement based verificationβ14Updated last year
- Lambda normalization and conversion checking benchmarks for various implementationsβ59Updated 4 years ago
- System F-omega normalization by hereditary substitution in Agdaβ60Updated 6 years ago
- Command-like expressions for real infinite-precision calculationsβ54Updated 2 months ago
- high-performance cubical evaluationβ75Updated 6 months ago
- Language Server for Agdaβ116Updated 2 weeks ago
- A toy example of a verified compiler.β29Updated 6 months ago
- Parser Combinator Library for Lean 4β58Updated last week
- FΟΞΌ type checker and compilerβ54Updated 2 years ago
- βΎοΈ A library for universe levels and universe polymorphismβ35Updated 2 months ago
- Duo - A research language exploring duality in programming language designβ58Updated 2 years ago
- A work-in-progress core language for Agda, in Agdaβ58Updated 3 weeks ago
- A Seamless, Interactive Tactic Learner and Prover for Coqβ78Updated 2 weeks ago
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ37Updated 2 months ago
- Building A Correct-By-Construction Proof Checkers For Type Theoriesβ26Updated 3 weeks ago
- A Coq library for parametric coinductionβ50Updated 9 months ago
- Demo for dependent types + runtime code generationβ72Updated 8 months ago
- bollu learns implementation of dependent typingβ32Updated 2 years ago
- being an operating system for typechecking processesβ130Updated 3 weeks ago
- CS410 "Advanced Functional Programming"β27Updated 5 months ago
- A tutorial on how Agda infers thingsβ63Updated 3 months ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.β83Updated 4 years ago
- Distributors - Unifying Parsers, Printers & Grammarsβ56Updated this week