MIT License
Haskell implementation of Liquid templating by Shopify
Linter for the Nix expression language
Verified Parallelized Version of String Mathcing
Pure functional programming language
Presentations on Liquid Haskell, type theory, and more
Template repo for theorem proving in Liquid Haskell
My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.
Write type-safe shell scripts in Haskell
Proof combinators used in Liquid Haskell for theorem proving
Zippers based on lenses and traversals
🐚 Out of the shell solution for scripting in Haskell