Alternatives and similar repositories for PnVRocqLib

Users that are interested in PnVRocqLib are comparing it to the libraries listed below

• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated last year
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆29Oct 24, 2025Updated 3 months ago
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months ago
• kwanghoon / bidi

  View on GitHub
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆19Mar 23, 2022Updated 3 years ago
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Dec 10, 2025Updated 2 months ago
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆15Jan 16, 2026Updated 3 weeks ago
• KiJeong-Lim / portfolio

  View on GitHub
  My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …
  ☆14Updated this week
• lifthrasiir / wah

  View on GitHub
  WebAssembly interpreter in a Header (WAH)
  ☆31Oct 6, 2025Updated 4 months ago
• ENvironmentSet / lambda2wasm

  View on GitHub
  A Lambda expression compiler targeting web assembly.
  ☆20Aug 7, 2024Updated last year
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆54Nov 15, 2024Updated last year
• Innf107 / vega-prototype

  View on GitHub
  Prototype for https://github.com/Innf107/vega
  ☆19Jul 22, 2024Updated last year
• trycatchnet / lowerweb

  View on GitHub
  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 last month
• mstksg / typelits-witnesses

  View on GitHub
  Existential witnesses, singletons, and classes for operations on GHC TypeLits
  ☆16Jul 25, 2024Updated last year
• napkin-community / solutions

  View on GitHub
  📝 Solutions of "An Infinitely Large Napkin"
  ☆38Updated this week
• Lulzx / hvm

  View on GitHub
  A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
  ☆31Dec 21, 2025Updated last month
• snu-sf / Ordinal

  View on GitHub
  ☆15Aug 3, 2025Updated 6 months ago
• mlabs-haskell / cardano.nix

  View on GitHub
  Nix ❤️ Cardano
  ☆19Updated this week
• stevana / quickcheck-state-machine

  View on GitHub
  Test monadic programs using state machine based models
  ☆19Jul 17, 2025Updated 6 months ago
• ncfavier / glam

  View on GitHub
  Polymorphic guarded λ-calculus
  ☆22Jul 17, 2025Updated 6 months ago
• simnalamburt / snippets

  View on GitHub
  My code snippets
  ☆38Sep 30, 2025Updated 4 months ago
• haskell-kr / haskell-kr

  View on GitHub
  하스켈 모임 웹사이트 소스 코드
  ☆16Dec 8, 2021Updated 4 years ago
• andrejbauer / clerical

  View on GitHub
  Command-like expressions for real infinite-precision calculations
  ☆55Aug 5, 2025Updated 6 months ago
• BartoszMilewski / LinearLens

  View on GitHub
  Linear lens
  ☆21Feb 14, 2024Updated 2 years ago
• phase / dtt

  View on GitHub
  dependent type theory experiment
  ☆26Mar 1, 2024Updated last year
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• rollrat / compiler-compiler

  View on GitHub
  🍁 Compiler Compiler based on CSharp with GUI Program
  ☆21Oct 21, 2022Updated 3 years ago
• Beluga-lang / McTT

  View on GitHub
  Building A Correct-By-Construction Proof Checkers For Type Theories
  ☆29Jan 15, 2026Updated last month
• ENvironmentSet / hyogwa

  View on GitHub
  Natural 🌿 effect system that fits TypeScript
  ☆61Aug 22, 2024Updated last year
• lean-dojo / LeanMillenniumPrizeProblems

  View on GitHub
  Formalization of the Millennium Problems in Lean 4
  ☆41Jan 16, 2026Updated 3 weeks ago
• disjukr / bunja

  View on GitHub
  State Lifetime Manager
  ☆91Jan 26, 2026Updated 2 weeks ago
• bravo1goingdark / blipmq

  View on GitHub
  BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…
  ☆21Feb 3, 2026Updated last week
• hongseok-yang / graduatePL18

  View on GitHub
  ☆67Dec 11, 2018Updated 7 years ago
• apple-opensource / JavaScriptCore

  View on GitHub
  ☆42Aug 5, 2021Updated 4 years ago
• Lysxia / system-F

  View on GitHub
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆37Mar 17, 2025Updated 10 months ago
• deepflowinc-oss / guardian

  View on GitHub
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆41Sep 1, 2025Updated 5 months ago
• ners / dosh

  View on GitHub
  📺 The power of Haskell in your terminal!
  ☆43Oct 26, 2025Updated 3 months ago
• loldruger / upbit-rs

  View on GitHub
  upbit-api on rust
  ☆10May 28, 2025Updated 8 months ago
• sift-stack / sift

  View on GitHub
  Sift client libraries and protocol buffers
  ☆16Updated this week