Mathnerd314's repositories
prospector
A series of experiments from Mozilla Labs focused on analyzing, experimenting and prototyping improvements on how you search and discover content with Firefox.
bluegriffon
mirror of http://sources.disruptive-innovations.com/bluegriffon/
diagrams-core
Core types and utilities
diagrams-rasterific
Rasterific backend for diagrams
diagrams-stow
overlays for developing Diagrams packages
diagrams-svg
An SVG backend for diagrams
enterSelects
Press enter in the AwesomeBar to select the first result (without pressing down)
etherpad-lite
The most popular collaborative document editor on the web.
fyp
Final year project
github-gem
The official `github` command line helper for simplifying your GitHub experience.
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
HTE
Haskell-Type-Exts
lamdu
lamdu - towards the next generation IDE
linear
Low-dimensional linear algebra primitives for Haskell.
mantisbt
Mantis Bug Tracker (MantisBT)
nixpkgs-monitor
nixpkgs package status, freshness and security status monitor
nox
Tools to make nix nicer to use
packages-dph
Mirror of packages-dph repository. DO NOT SUBMIT PULL REQUESTS HERE
pump.io
Social server with an ActivityStreams API
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
stylish-haskell
Haskell code prettifier
systemd
Systemd for NixOS
TagTime
An offshoot of dreeves' time tracking utility
vector-space
Vector & affine spaces, linear maps, and derivatives
vows
Asynchronous BDD & continuous integration for node.js