hardentoo's Projects
Runtime Haskell interpreter
Haskell binding for Chipmunk, 2D physics engine.
A playground for testing Hipmunk.
A hip inductive theorem prover!
ROCm/HIP enabled Tensorflow.
Haskell source code suggestions
Fast heterogeneous maps in Haskell
Linear algebra and numerical computation
A Haskell re-implementation of the Nix expression language
Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)
Haskell binding to OGRE
Haskell API search engine
Haskell OpenCL Wrapper API
BitTorrent client written in Haskell
A haskell ctags implementation that is aware of qualified imports, among other cool stuff
My hotkeys
Homotopy type theory
hpack: An alternative format for Haskell packages
Haskell Programming From First Principles - Follow-up Resources
Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget combinators running in the browser with the Haste compiler
Road to haskell
git protocol and storage in pure haskell
A Haskell client library for the IPFS API
Convert Haskell source code to Coq source code
Haskell Tox protocol implementation
ncurses binding for Haskell