antonio nikishaev's repositories
icfp2020-papers
ICFP 2020 papers. Crowd-sourced
text-icu-translit
ICU transliteration for Haskell
advent2019
adventofcode2019 in K7
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
Coq-Equations
A function definition package for Coq
coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
hierarchical-free-monads-the-most-developed-approach-in-haskell
Article about the most developed approach to build real software in Haskell
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
QuickChick
Randomized Property-Based Testing Plugin for Coq
riscv-formal
RISC-V Formal Verification Framework