Natasha Klaus's repositories
SAT-solver-DPLL-CNF
DPLL satisfiability decision procedure for boolean formulas in conjunctive normal form, with a dependent type that guarantees its correctness
Adam_Chlipala_Certified_Programming_with_Dependent_Types_Exercises
COQ. Certified Programming with Dependent Types by Adam Chlipala. Exercises from the book. Solutions.
fingertree
fingertree: Generic finger-tree structure, with example instances. Idris
Language:Idris000
idris
Type-Driven Development with Idris Book by Edwin Brady, Exercises
Language:Idris000
klausnat
Config files for my GitHub profile.
000
richardBird
Book Thinking functionally with haskell by Richard Bird tasks
Language:Idris000
tic-tac-toe
tic-tac-toe game in idris ( allso called crosses - zeroes )
Language:Idris000