Pinned Repositories
mirage
gpc
Leightweight generalized parser combinators
haskell-lsp-client
Client library for haskell-lsp
haskell-school-of-expression
Update SOE to work with modern Haskell
hypercube
Minecraft clone in haskell focussed on performance.
interact_ackermann
Interaction nets vs GHC performance comparison
jak
Simple frp text editor for testing and learning purposes.
lafont90
The interaction net language proposed by Yves Lafont implemented in Rascal.
splitfuns
uuagc-constant-folding
Example of a constant folding transformation implemented with uuagc.
noughtmare's Repositories
noughtmare/hypercube
Minecraft clone in haskell focussed on performance.
noughtmare/gpc
Leightweight generalized parser combinators
noughtmare/haskell-school-of-expression
Update SOE to work with modern Haskell
noughtmare/uuagc-constant-folding
Example of a constant folding transformation implemented with uuagc.
noughtmare/chatter
A library of Natural Language Processing algorithms for Haskell.
noughtmare/transitive-constraint-plugin
A GHC plugin for resolving transitivity of a binary type class
noughtmare/1brc-hs
noughtmare/accelerate
Embedded language for high-performance array computations
noughtmare/CommonLibF4
noughtmare/coprogramming
Implementation of McBride's productive coprogramming + liquid haskell termination checking
noughtmare/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
noughtmare/foundation
This is the home of the NixOS Foundation
noughtmare/free-chr
noughtmare/fungll
Purely functional GLL parser combinators for Haskell
noughtmare/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
noughtmare/haskell-xcompose
.XCompose dotfile for Haskell / Agda related symbols
noughtmare/paper-2021-language-derivatives
Paper and talk
noughtmare/parsing-ddgs
Parsing Data-Dependent Grammars using Derivatives
noughtmare/project-euler-lambda
Solving project euler problems in pure lambda calculus
noughtmare/raaz
Cryptographic library for Haskell
noughtmare/shellmet
🐚 Out of the shell solution for scripting in Haskell
noughtmare/simple-html
Simple HTML processing and sanitisation
noughtmare/summoner
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
noughtmare/text
Haskell library for space- and time-efficient operations over Unicode text.
noughtmare/tophat-haskell
TopHat implementation in Haskell
noughtmare/type-safe-syntax
Experiments with type safe syntax and closure conversion.
noughtmare/uuagc
noughtmare/uuagc-th-test
noughtmare/www.haskell.org
www.haskell.org site source
noughtmare/zfoh.ch
Our homepage