Pinned Repositories
cowl
COWL implementation for Firefox
cs240h-notes
Stanford CS240h Class Notes -- Functional Systems in Haskell
ga
Google Authenticator in the Shell
gitstar
gitstar-gitwiki
Gitstar markup-based, git-oriented wiki app
gitstar-ssh
Gitstar ssh service
hails
The security-centric web platform framework
mutated
The most accurate load-generator in the galaxy
speedex
tcpcrypt
Fast TCP encryption
Stanford Secure Computer Systems Lab's Repositories
scslab/tcpcrypt
Fast TCP encryption
scslab/hails
The security-centric web platform framework
scslab/cs240h-notes
Stanford CS240h Class Notes -- Functional Systems in Haskell
scslab/speedex
scslab/cowl
COWL implementation for Firefox
scslab/mutated
The most accurate load-generator in the galaxy
scslab/ga
Google Authenticator in the Shell
scslab/gitstar
scslab/lbh
Learn by Hacking. A web app for writing interactive tutorials on how to write code.
scslab/iterIO
scslab/lio
Labeled IO Library
scslab/lio-tutorial
Haskell and LIO tutorial
scslab/cowl.ws
Static page for cowl.ws
scslab/gitstar-policy
Gitstar policy module
scslab/lio-semantics
Formal semantics for LIO
scslab/structued-mongoDB
Mirror of Structured MongoDB package
scslab/cjail
Arch linux cjail mirror
scslab/hails-auth
Hails authentication system
scslab/hails-cjail
Haskell CJail bindings
scslab/smart-contract-scalability
scslab/appdeploy
scslab/bad
Stanford Big-Ass-Data Project
scslab/caddy
Fast, cross-platform HTTP/2 web server with automatic HTTPS
scslab/dpdk
Mirror of Data Plane Development Kit, git://dpdk.org/dpdk (http://dpdk.org)
scslab/fmt
Small, safe and fast formatting library
scslab/groundhog-model-checking
scslab/lambdexer
Indexes your Haskell package-db
scslab/lio-demo
Building secure system with LIO (demo)
scslab/seastar
High performance server-side application framework
scslab/simple
A minimal Haskell web-framework based on the WAI web server interface.