Nā hale waihona puke i kākau ʻia ma Coq

safegcd-bounds

Nā palena ma nā divsteps iterations ma safegcd.
  • 45

unbound

Replib: hoʻolālā maʻamau & Unbound: mālama maʻamau o nā mea hoʻopili.
  • 40
  • BSD 3-clause "New" or "Revised"

advent-of-coq-2021

  • 34

verified-scheduling

  • 28

coq-simple-io

IO no Gallina.
  • 27
  • MIT

aneris

ʻO ka loiloi papahana no ka hoʻomohala ʻana a me ka hōʻoia ʻana i nā ʻōnaehana puʻupuʻu.
  • 25
  • MIT

cps

ʻO ka hoʻokumu ʻana o ka hoʻomau-paʻa kaila calculi ma Coq [WIP] (na takanuva).
  • 20
  • BSD 3-clause "New" or "Revised"

comonad-transformers

Nā mea hoʻololi comonad Haskell 98 - e like me 4.0 ua hoʻohui ʻia kēia i loko o ka pūʻulu comonad.
  • 12
  • BSD 3-clause "New" or "Revised"

regexp-Brzozowski

  • 12
  • MIT

friscv

Hoʻokō ʻo RISCV CPU ma SystemVerilog.
  • 10
  • MIT

doubly-generic

Arity-generic datatype-generic, a i ʻole double-generic, papahana ma Coq..
  • 4
  • MIT

Doubly-Linked-List-VST

ʻO ka papahana hope loa no CS2603 (2021 Spring), ke manaʻo nei e hōʻoia i kahi waihona papa inoa pili pālua me VST. E hui pū me @karzexcc.
  • 2
  • GNU General Public License v3.0 only

recross-coq

Regexp engine ma Coq no ka hoʻoponopono ʻana i nā crosswords regexp.
  • 0
  • GNU General Public License v3.0 only

coq-proof

Hōʻoia Coq no ka algorithm HashgraphTrim.
  • 0