Biblioteke napisane u Coq u

safegcd-bounds

Ograničenja divsteps iteracija u safegcd.
  • 45

unbound

Replib: generičko programiranje & Unbound: generičko postupanje s vezivima.
  • 40
  • BSD 3-clause "New" or "Revised"

advent-of-coq-2021

  • 34

verified-scheduling

  • 28

coq-simple-io

IO za Gallina.
  • 27
  • MIT

aneris

Programska logika za razvoj i provjeru distribuiranih sustava.
  • 25
  • MIT

cps

Formalizacija kalkula stila prolaza nastavka u Coq [WIP] (autor takanuva).
  • 20
  • BSD 3-clause "New" or "Revised"

comonad-transformers

Haskell 98 comonad transformatori - od 4.0 oni su spojeni u comonad paket..
  • 12
  • BSD 3-clause "New" or "Revised"

regexp-Brzozowski

  • 12
  • MIT

friscv

RISCV CPU implementacija u SystemVerilog.
  • 10
  • MIT

doubly-generic

Arity-generičko tip-generičko ili dvostruko generičko programiranje u Coq..
  • 4
  • MIT

Doubly-Linked-List-VST

Konačni projekt za CS2603 (proljeće 2021.), s ciljem provjere dvostruko povezane biblioteke popisa pomoću VST-a. Surađujem s @karzexcc.
  • 2
  • GNU General Public License v3.0 only

recross-coq

Regexp mehanizam u Coqu za rješavanje regexp križaljki.
  • 0
  • GNU General Public License v3.0 only

coq-proof

Coq dokaz za algoritam HashgraphTrim.
  • 0