π A Rocq library written by members of PnV Discord Server
β19Mar 3, 2026Updated this week
Alternatives and similar repositories for PnVRocqLib
Users that are interested in PnVRocqLib are comparing it to the libraries listed below
Sorting:
- β10Nov 20, 2023Updated 2 years ago
- β14Feb 26, 2024Updated 2 years ago
- π (WIP) Rewriting Software Foundations in Lean 4β28Oct 24, 2025Updated 4 months ago
- β36Nov 7, 2025Updated 4 months ago
- bidirectional type checking algorithms for higher-ranked polymorphismβ19Mar 23, 2022Updated 3 years ago
- π (WIP) Formal proofs of "An Infinitely Large Napkin"β20Feb 18, 2026Updated 2 weeks ago
- My portfolio contains a lexer generator, a parser generator, my own Ξ»Prolog interpreter, and several meta-theorems for the propositional β¦β14Feb 18, 2026Updated 2 weeks ago
- Tutorial for refinement based verificationβ15Jan 16, 2026Updated last month
- WebAssembly interpreter in a Header (WAH)β31Oct 6, 2025Updated 5 months ago
- A Lambda expression compiler targeting web assembly.β20Aug 7, 2024Updated last year
- CIRC: Concurrent Immediate Reference Countingβ55Nov 15, 2024Updated last year
- Prototype for https://github.com/Innf107/vegaβ19Jul 22, 2024Updated last year
- Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can customβ¦β15Dec 30, 2025Updated 2 months ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLitsβ16Jul 25, 2024Updated last year
- π Solutions of "An Infinitely Large Napkin"β38Updated this week
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.β32Feb 22, 2026Updated 2 weeks ago
- Nix β€οΈ Cardanoβ19Mar 1, 2026Updated last week
- β15Aug 3, 2025Updated 7 months ago
- Polymorphic guarded Ξ»-calculusβ22Jul 17, 2025Updated 7 months ago
- Test monadic programs using state machine based modelsβ19Feb 17, 2026Updated 2 weeks ago
- My code snippetsβ38Sep 30, 2025Updated 5 months ago
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- Command-like expressions for real infinite-precision calculationsβ55Aug 5, 2025Updated 7 months ago
- dependent type theory experimentβ26Mar 1, 2024Updated 2 years ago
- Linear lensβ21Feb 14, 2024Updated 2 years ago
- β17May 29, 2023Updated 2 years ago
- π Compiler Compiler based on CSharp with GUI Programβ21Oct 21, 2022Updated 3 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theoriesβ31Updated this week
- Natural πΏ effect system that fits TypeScriptβ62Aug 22, 2024Updated last year
- Formalization of the Millennium Problems in Lean 4β44Jan 16, 2026Updated last month
- State Lifetime Managerβ91Jan 26, 2026Updated last month
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that justβ¦β21Feb 3, 2026Updated last month
- β67Dec 11, 2018Updated 7 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theoremβ37Mar 17, 2025Updated 11 months ago
- β43Aug 5, 2021Updated 4 years ago
- guardian - the border guardian for your Haskell monorepo package dependenciesβ41Sep 1, 2025Updated 6 months ago
- πΊ The power of Haskell in your terminal!β43Oct 26, 2025Updated 4 months ago
- Sift client libraries and protocol buffersβ17Updated this week
- upbit-api on rustβ11May 28, 2025Updated 9 months ago