Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by klausnat
A curated list of projects in awesome lists by klausnat .
https://github.com/klausnat/sat-solver-dpll-cnf
DPLL satisfiability decision procedure for boolean formulas in conjunctive normal form, with a dependent type that guarantees its correctness
Last synced: 25 Dec 2024
https://github.com/klausnat/adam_chlipala_certified_programming_with_dependent_types_exercises
COQ. Certified Programming with Dependent Types by Adam Chlipala. Exercises from the book. Solutions.
certified coq coq-formalization dependent functional-programming types
Last synced: 25 Dec 2024
https://github.com/klausnat/ocaml_web_app
ocaml web application with postgresql database
Last synced: 25 Dec 2024
https://github.com/klausnat/idris
Type-Driven Development with Idris Book by Edwin Brady, Exercises
Last synced: 25 Dec 2024
https://github.com/klausnat/richardbird
Book Thinking functionally with haskell by Richard Bird tasks
Last synced: 25 Dec 2024
https://github.com/klausnat/tic-tac-toe
tic-tac-toe game in idris ( allso called crosses - zeroes )
Last synced: 25 Dec 2024
https://github.com/klausnat/fingertree
fingertree: Generic finger-tree structure, with example instances. Idris
Last synced: 25 Dec 2024