Stanford Secure Computer Systems Lab

Login: scslab

Company: null

Location: Stanford, CA

email: null

Blog: http://www.scs.stanford.edu

Members

1. Ali Mashtizadeh
2. Amit Levy
3. David Terei
4. Deian Stefan
5. Stefan Heule

Repositories

aeson

A fast Haskell JSON library

appdeploy

null

bad

Stanford Big-Ass-Data Project

base64-bytestring

Fast base64 encoding and decoding for Haskell.

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

caddy

Fast, cross-platform HTTP/2 web server with automatic HTTPS

cjail

Arch linux cjail mirror

cowl

COWL implementation for Firefox

cowl.ws

Static page for cowl.ws

cs240h-notes

Stanford CS240h Class Notes -- Functional Systems in Haskell

darpa-site-visit

DARPA site visit wiki

dclabel

Disjunction Category Label Format (Mirror)

dpdk

Mirror of Data Plane Development Kit, git://dpdk.org/dpdk (http://dpdk.org)

fmt

Small, safe and fast formatting library

ga

Google Authenticator in the Shell

gitstar

null

gitstar-gitwiki

Gitstar markup-based, git-oriented wiki app

gitstar-policy

Gitstar policy module

gitstar-ssh

Gitstar ssh service

gitstar-viewer

Gitstar code browser

grapit

GitHub style api for git repositories

hails

The security-centric web platform framework

hails-auth

Hails authentication system

hails-bin

Hails dynamic app loader

hails-cjail

Haskell CJail bindings

hails-deploy

Hails deployment binary

ifc-proofs

Mechanized proofs for a general approach to dynamic IFC

iterIO

null

iterio-server

Generic building blocks for creating servers using IterIO

LambdaS5

Semantics for ES5

lambdexer

Indexes your Haskell package-db

lbh

Learn by Hacking. A web app for writing interactive tutorials on how to write code.

lio

Labeled IO Library

lio-cjail

Hails cjail inteface

lio-demo

Building secure system with LIO (demo)

lio-exercises

null

lio-semantics

Formal semantics for LIO

lio-tutorial

Haskell and LIO tutorial

masstree-beta

Beta release of Masstree.

mitigator

General channel mitigation library

mpvc.js

A port of the Hails MPVC to Node

mutated

The most accurate load-generator in the galaxy

node_chat

simple chat demo for node

pandoc

Universal markup converter

seastar

High performance server-side application framework

simple

A minimal Haskell web-framework based on the WAI web server interface.

ssh

Haskell SSH Library

structued-mongoDB

Mirror of Structured MongoDB package

tcpcrypt

Fast TCP encryption

text

An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.