Pinned Repositories
ant
a dynamic game description language
condition
etch
hive
krivine
lean-start
some exercises for Lean, oriented toward https://github.com/kovach/etch/
lean4-sparse-matrix-test
noise
362
piksi-console
sudoku
kovach's Repositories
kovach/etch
kovach/ant
a dynamic game description language
kovach/krivine
kovach/lean-start
some exercises for Lean, oriented toward https://github.com/kovach/etch/
kovach/lean4-sparse-matrix-test
kovach/sudoku
kovach/web2
kovach/1611club
kovach/babel
:tropical_fish: Babel is a compiler for writing next generation JavaScript.
kovach/config
kovach/crawl
Dungeon Crawl: Stone Soup official repository
kovach/crescent
kovach/cutfree
kovach/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
kovach/deep
kovach/earley
kovach/etch-morphic
kovach/ffi-issue
kovach/fredrikbk.github.io
kovach/futslime
kovach/itch
kovach/lean.nvim
neovim support for the Lean theorem prover
kovach/libswiftnav
A portable C library implementing GNSS related functions and algorithms.
kovach/partake
kovach/pe
kovach/ptimomtfvcfpsb
kovach/text-server
kovach/ultimate-utils
Brando's utils
kovach/unnamed-tree-project
kovach/web