Jann Müller's repositories
iohk-monitoring-framework
This framework provides logging, benchmarking and monitoring.
hareactive
Purely functional reactive programming library
plutus-template
Template for a Plutus project
ghci-websockets
A websocket server in GHCi that survives reloads
singleton-dict
Singleton version of (ancient versions of) Data.Map
core
Parsing Haskell Core.
extensible-effects
Extensible Effects: An Alternative to Monad Transformers
procedural
Experiments with procedural generation in Haskell
ghcjs-base
base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
ghcjs-fetch
Haskell (GHCJS) bindings for the JavaScript Fetch API
d3-sankey
Visualize flow between nodes in a directed acyclic network.
time-patterns
Primitives and combinators for recurring dates
readshp
Haskell library for reading ESRI shapefiles.
wordpress-nginx-nix
One-stop shop for defining, testing, and deploying a WordPress CMS site using Nginx with Nix, NixOps, and NixOS
monadiccp
Monadic Constraint Programming framework
purescript-concur
Concur UI Framework for Purescript
miso
:ramen: A tasty Haskell front-end framework
hakaru
A probabilistic programming language
hdom-lucid
Render hdom to html via lucid
hdom-ghcjs
GHCJS bits for hdom (web worker diffing etc.)
hashable
A class for types that can be converted to a hash value
language-agda
Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundle
