Haskell numerical ODE solvers
BSD-3-CLAUSE License
Small project for different ODE solvers for haskell, in particular symplectic solvers.
This is very experimental and will change. The Störmer-Verlet generates a correct orbit for Jupiter but no guarantees are given for any of the other methods.
Haskell implementation of the KDL Document Language
🤳 ignore the differences between `a` and `Identity a`
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
UI experiments for coda
Convert Haskell source code to Coq source code.
Neotest adapter for Haskell (cabal or stack) with support for Sydtest, Hspec and Tasty
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...
Verified Parallelized Version of String Mathcing
tools for writing better type errors
A monad for interfacing with external SAT solvers
My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.
Special mathematical functions