Pinned Repositories
accessible-html-with-css
Use accessible-html and elm-css together
aoc-2021
aoc-2022
aoc-2023
DeepBlue
Rendering the Mandelbrot Set
elm-safe-recursion
Elegant recursion without blowing the stack
FunctionalGeometry
A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
servant-ts
Generate typescript bindings from Servant JSON APIs
Splendor
An engine / AI for the board game Splendor
VCMangler
Mangling and Demangling of VC++ names in Haskell
micahhahn's Repositories
micahhahn/elm-safe-recursion
Elegant recursion without blowing the stack
micahhahn/servant-ts
Generate typescript bindings from Servant JSON APIs
micahhahn/DeepBlue
Rendering the Mandelbrot Set
micahhahn/Splendor
An engine / AI for the board game Splendor
micahhahn/accessible-html-with-css
Use accessible-html and elm-css together
micahhahn/aoc-2021
micahhahn/aoc-2022
micahhahn/aoc-2023
micahhahn/beam
A type-safe, non-TH Haskell SQL library and ORM
micahhahn/calculus-helpers
micahhahn/elm-css
Typed CSS in Elm.
micahhahn/elm-language-server
Language server implementation for Elm
micahhahn/elm-regex
If you really need regex in Elm, it is possible.
micahhahn/elm-syntax-eval
A simple evaluation engine directly on elm-syntax
micahhahn/ghc-source-gen
Library for generating Haskell source files and code fragments.
micahhahn/Haskell-Decimal
micahhahn/haskell-opaleye
micahhahn/haskell-to-elm
Generate Elm types, encoders, and decoders from Haskell types
micahhahn/mc-tour
micahhahn/monitor
micahhahn/Monte
micahhahn/ofx
Parser for Open Financial Exchange (OFX) data files
micahhahn/Passado
Platform Agnostic Strongly-typed Sql over ADO
micahhahn/pdf-toolbox
A collection of tools for processing PDF files in Haskell
micahhahn/planet-x
micahhahn/postgresql-typed
Haskell PostgreSQL library with compile-time type inference
micahhahn/recursion-schemes
Generalized bananas, lenses and barbed wire
micahhahn/screeps
micahhahn/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
micahhahn/tdd-idris