Pinned Repositories
argmax
Certified-SAT-solver
This is a certified (verified) boolean formula solver (SAT solver).
coq-of-ocaml
Formal verification of OCaml programs
coq_in_details_jscoq
crosses-zeros
console game of crosses-zeros (a tic-tac-toe game) in Idris
filter-test
tiny haskell programm which filters input file and writes filtered lines to output file
groups
A tiny studing-purposes library to work with substitution groups
idris-learning
one repo for all learning tasks... why I didn't do it earlier?
learning-tparsec
just experiments with gallais paper
mcb
Mathematical Components (the Book)
andreykl's Repositories
andreykl/Certified-SAT-solver
This is a certified (verified) boolean formula solver (SAT solver).
andreykl/learning-tparsec
just experiments with gallais paper
andreykl/argmax
andreykl/coq-of-ocaml
Formal verification of OCaml programs
andreykl/coq_in_details_jscoq
andreykl/crosses-zeros
console game of crosses-zeros (a tic-tac-toe game) in Idris
andreykl/filter-test
tiny haskell programm which filters input file and writes filtered lines to output file
andreykl/groups
A tiny studing-purposes library to work with substitution groups
andreykl/idris-learning
one repo for all learning tasks... why I didn't do it earlier?
andreykl/mcb
Mathematical Components (the Book)
andreykl/st-tutorial
learning
andreykl/mapcar
possible implementation of lisp function mapcar (array_map in php) in coq
andreykl/mutices
example for discussed items
andreykl/tdd
type driven development with idris book samples