Deian Stefan's repositories
git-orm
ORM to manage Git objects over HTTP
nodegit-http
Read-only GitHub-like HTTP API atop nodegit using express
lio-demo-plas2014
PLAS 2014 demo on LIO
lio-demo-haskell2014
Haskell Symposium 2014 demo on LIO
node-libssh
A Low-level Node.js binding for libssh
breach_core
A Browser for the Power-User. Free, Usable, Scriptable & Distributed.
gitstar-policy
Gitstar policy module
lio-lecture
Building simplified LIO lecture
LambdaS5
Semantics for ES5
passwordmgr-companion
Firefox password manager companion: autofill forms by right-clicking
nappy-examples
Examples for Nappy
mozilla-central
A git clone of mozilla-central, with full history.
nappy-addon
Nappy meta-extension and manager
rss
A library for generating RSS 2.0 feeds.
dclabel-cc
C++ implementation of the DCLabel model
FixedPoint
A library of large (fixed size) ints, words, and fixed point numbers.
ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
GhciOnline
Online version of GHCi that supports safely executing untrusted code.
text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
test-framework
Framework for running and organising QuickCheck test properties and HUnit test cases
gitstar-gitwiki
Gitstar markup-based, git-oriented wiki app
gitstar-viewer
Gitstar code browser