Alternatives and similar repositories for fib

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

• fredrikNordvallForsberg / CS410-22
  being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session
  ☆17Updated 2 years ago
• choukh / CategoryTheory
  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
  ☆20Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆265Updated this week
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated 2 years ago
• z-murray / honours-project-constructive-analysis-in-agda
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆21Updated last year
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated this week
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆29Updated 3 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated 3 weeks ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆38Updated 6 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆73Updated 7 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated last year
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated 2 years ago
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆90Updated last week
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆28Updated 2 weeks ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆262Updated this week
• nadia-polikarpova / synquid
  ☆132Updated 3 years ago
• uwplse / StructTact
  Coq utility and tactic library.
  ☆24Updated last year
• UniMath / Schools
  ☆86Updated 3 months ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆61Updated 3 weeks ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆107Updated 4 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆60Updated last month
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆39Updated last month
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆67Updated last year
• mikeizbicki / cmc-csci040
  Computing for the Web
  ☆37Updated last month
• tchajed / coq-tla
  ☆27Updated last year
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆160Updated 10 months ago
• rocq-community / semantics
  A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…
  ☆52Updated last week
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆125Updated 3 years ago