andreykl

Certified-SAT-solver

This is a certified (verified) boolean formula solver (SAT solver).

learning-tparsec

just experiments with gallais paper

argmax

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?

mcb

Mathematical Components (the Book)

st-tutorial

learning

mapcar

possible implementation of lisp function mapcar (array_map in php) in coq

mutices

example for discussed items

tdd

type driven development with idris book samples