Trending in open source

See what the CodeGayHub community is most excited about today.

Sign up for free to get started

  1. Homotopy type theory

    Coq 461 90 Built by @JasonGross @mikeshulman @andrejbauer @spitters @peterlefanulumsdaine
  2. The CompCert formally-verified C compiler

    Coq 388 55 Built by @bschommer @xavierleroy @m-schmidt @fpottier @jhjourdan
  3. A framework for formally verifying distributed systems implementations in Coq

    Coq 326 32 Built by @wilcoxjay @dwoos @palmskog @Anxuiz @ztatlock
  4. A formalization of category theory in Coq for personal study and practical work

    Coq 236 18 Built by @jwiegley @ekmett @jonsterling
  5. This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

    Coq 234 44 Built by @DanGrayson @benediktahrens @mortberg @cathlelay @tpannila
  6. Development of the univalent foundations of mathematics in Coq

    Coq 165 16 Built by @vladimirias @DanGrayson
  7. A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

    Coq 148 6 Built by @Mbodin @brabalan @da319 @IgnoredAmbience @dfilaretti
  8. A blog engine written and proven in Coq.

    Coq 133 6 Built by @clarus @alokmenghrajani
  9. Formal Reasoning About Programs

    Coq 119 19 Built by @achlipala @ZiyaoWei @wangpengmit @andres-erbsen @ichung
  10. FSCQ is a certified file system written and proven in Coq

    Coq 110 10 Built by @zeldovich @kaashoek @haogang @tchajed @akonradi
  11. Coq 101 5 Built by @jwiegley
  12. Mindless, verified (erasably) coding using dependent types

    Coq 97 4 Built by @jonleivent
  13. Mathematical Components

    Coq 87 28 Built by @gares @CohenCyril @amahboubi @maximedenes @ejgallego
  14. A library for formalizing Haskell types and functions in Coq

    Coq 82 7 Built by @jwiegley
  15. PeaCoq is a pretty Coq, isn't it?

    Coq 75 9 Built by @Ptival @ztatlock @NightRa @Zimmi48 @emichael
  16. Coq 75 2 Built by @amintimany
  17. A library of abstract interfaces for mathematical structures in Coq.

    Coq 67 32 Built by @robbertkrebbers @Eelis @spitters @tomprince @wires
  18. Coq 67 7 Built by @robbertkrebbers
  19. Verified Software Toolchain

    Coq 64 27 Built by @andrew-appel @QinxiangCao @gstew5 @scuellar @jmadiot
  20. A proof of false.

    Coq 58 2 Built by @clarus
  21. Randomized Property-Based Testing Plugin for Coq

    Coq 58 4 Built by @lemonidas @zoep @catalin-hritcu @maximedenes @arthuraa
  22. A web server written in Coq.

    Coq 57 1 Built by @clarus
  23. A compiler plug-in to control object lifetimes in Scala

    Coq 57 3 Built by @TiarkRompf @GSAir @losvald @XilunWu @MasseGuillaume
  24. Coq formalizations of functional languages.

    Coq 54 5 Built by @benl23x5
  25. Coq Repository at Nijmegen

    Coq 50 21 Built by @robbertkrebbers @Eelis @spitters @EvgenyMakarov @wires
Other Languages
ProTip! Looking for most starred Coq repositories? Try this search