Pinned Repositories
DGG
gp2k10-uhc-profiling
UHC profiling project for GP 2010 at Utrecht University
HaskBan
Simple Sokoban clone implemented in Haskell as a Utrecht Summerschool project
hgit2
Haskell bindings for libgit2
JCU
NanoProlog
pool
A high-performance striped resource pooling implementation for Haskell
snaplet-hdbc
uhc-jscript
uuagc
UU Attribute Grammar Compiler
norm2782's Repositories
norm2782/NanoProlog
norm2782/snaplet-hdbc
norm2782/uhc-jscript
norm2782/JCU
norm2782/uuagc
UU Attribute Grammar Compiler
norm2782/pool
A high-performance striped resource pooling implementation for Haskell
norm2782/digestive-functors
A general way to consume input using applicative functors
norm2782/emacs.d
A mac-oriented emacs configuration bundle with batteries included: check out as ~/.emacs.d
norm2782/shake-bin
norm2782/solarized-lhs2tex
norm2782/xmonad
xmonad in Coq
norm2782/aeson
A fast Haskell JSON library
norm2782/bson-haskell
Haskell representation and serialization of BSON documents (version 1.0) as defined at bsonspec.org
norm2782/copy-excel-paste-latex
Copy a table in Excel (or other spreadsheet programs) and paste it as a Markdown table
norm2782/d3
A JavaScript visualization library for HTML and SVG.
norm2782/dhall-lang
Maintainable configuration files
norm2782/dhall-nomad
Create maintainable nomad job and agent files
norm2782/dotvim
My vim config
norm2782/Idris-dev
A Dependently Typed Functional Programming Language
norm2782/joint
JavaScript diagramming library
norm2782/linguist
Language Savant - if your repo's language is being reported incorrectly, send us a pull request!
norm2782/prezto
The configuration framework for Zsh
norm2782/Range2LaTeXTabular
norm2782/rosetta-code-generators
Write code generators for any language, based on the rosetta DSL
norm2782/rosetta-dsl
The project containing the Rosetta grammar and default code generators
norm2782/stan
🕵️ Haskell STatic ANalyser
norm2782/the_silver_searcher
A code-searching tool similar to ack, but faster.
norm2782/units-defs
Public repo for the units-defs package of well-typed unit definitions.
norm2782/vim-clean
Clean plugin for Vim
norm2782/vpmb
An implementation of the VPM-B dive algorithm