Mathnerd314/lamdu
lamdu - towards the next generation IDE
Developer Profile
Mathnerd314
Discovered public repositories for Mathnerd314 in the GitHub catalog.
Mathnerd314/enterSelects
Press enter in the AwesomeBar to select the first result (without pressing down)
Mathnerd314/vows
Asynchronous BDD & continuous integration for node.js
Mathnerd314/pump.io
Social server with an ActivityStreams API
Mathnerd314/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Mathnerd314/packages-dph
Mirror of packages-dph repository. DO NOT SUBMIT PULL REQUESTS HERE
Mathnerd314/ghc-tarballs
Mirror of ghc-tarballs repository. DO NOT SUBMIT PULL REQUESTS HERE
Mathnerd314/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
Mathnerd314/ghclive
Google Summer of Code 2012 project, GHCi for the web
Mathnerd314/github-gem
The official `github` command line helper for simplifying your GitHub experience.
Mathnerd314/etherpad-lite
The most popular collaborative document editor on the web.
Mathnerd314/TagTime
An offshoot of dreeves' time tracking utility
Mathnerd314/Reddit-Enhancement-Suite
Reddit Enhancement Suite
Mathnerd314/MathJax
Beautiful math in all browsers
Mathnerd314/mantisbt
Mantis Bug Tracker (MantisBT)
Mathnerd314/HTE
Haskell-Type-Exts
Mathnerd314/EpiVM
Epic - a Supercombinator Compiler
Mathnerd314/repagination
Rewrite of the old re-pagination/antipagination extension for Firefox
Mathnerd314/Idris-dev
A Dependently Typed Functional Programming Language
Mathnerd314/Whiley
Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.
Mathnerd314/prospector
A series of experiments from Mozilla Labs focused on analyzing, experimenting and prototyping improvements on how you search and discover content with Firefox.
Mathnerd314/Reddit-Game-Jam-March-2011----Team-OGA
Public repository.
Mathnerd314/atomo
atomo programming language
Mathnerd314/planet-wars-haskell
Unofficial Haskell starter package for the Planet Wars AI contest
Mathnerd314/Planet-Wars-Canvas-Visualizer
Public repository.
Mathnerd314/cq-challenge-markup
Code Quarterly Code Challenge -- Markup
Mathnerd314/frozen-bubble
Making frozen bubble cross platform
Mathnerd314/SDL_perl
Rehashing the old perl SDL binding on cpan.org