Verified Parallelized Version of String Mathcing
BSD-3-CLAUSE License
Statistics for this project are still being loaded, please check back later.
koneko - a concatenative not-quite-lisp for kittens
Fuzzy string search library in Haskell
Presentations on Liquid Haskell, type theory, and more
Haskell numerical ODE solvers
Pure parser for rfc-8794
Simple Haskell Minifier
Proof combinators used in Liquid Haskell for theorem proving
Linter for the Nix expression language
Template repo for theorem proving in Liquid Haskell
Convert Haskell source code to Coq source code.
just another compiler experiment
Poor man's typechecker in Template Haskell