Explore @scslab Open Source projects

Stanford Secure Computer Systems Lab (@scslab)

scslab

Stars
402
Global Org. Rank 27,222 (Top 9 %)
Registered over 12 years ago
Most used languages

Haskell
63.0 %

C++
11.1 %

JavaScript
7.4 %

Shell
3.7 %

Ruby
3.7 %

CSS
3.7 %

Coq 3.7 %

HTML
3.7 %
Location 🇺🇸 United States
Country Total Rank 17,541
Country Ranking

Coq 155

Haskell
234

C++
4,395

hails

The security-centric web platform framework

cs240h-notes

Stanford CS240h Class Notes -- Functional Systems in Haskell

speedex

cowl

COWL implementation for Firefox

mutated

The most accurate load-generator in the galaxy

ga

Google Authenticator in the Shell

gitstar

gitstar-ssh

Gitstar ssh service

gitstar-gitwiki

Gitstar markup-based, git-oriented wiki app

lio-tutorial

Haskell and LIO tutorial

grapit

GitHub style api for git repositories

dclabel

Disjunction Category Label Format (Mirror)

gitstar-viewer

Gitstar code browser

iterIO

iterio-server

Generic building blocks for creating servers using IterIO

cowl.ws

Static page for cowl.ws

hails-bin

Hails dynamic app loader

gitstar-policy

Gitstar policy module

structued-mongoDB

Mirror of Structured MongoDB package

ssh

Haskell SSH Library

lio-semantics

Formal semantics for LIO

hails-deploy

Hails deployment binary

lio-exercises

lio-cjail

Hails cjail inteface

mitigator

General channel mitigation library

hails-cjail

Haskell CJail bindings

cjail

Arch linux cjail mirror

hails-auth

Hails authentication system