Stars
15
stars
written in Haskell
Clear filter
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Advent of Code complete solution archive and common library
My solutions for the Advent of Code puzzles!
Advent of code, probably be in several languages for fun
A repository for the Advent of Code 2023