Giters
Stanford Secure Computer Systems Lab (scslab)

Stanford Secure Computer Systems Lab

scslab

Geek Repo

Location:Stanford, CA

Home Page:http://www.scs.stanford.edu

Github PK Tool:Github PK Tool

Stanford Secure Computer Systems Lab's repositories

tcpcrypt

Fast TCP encryption

Language:CLicense:NOASSERTIONStargazers:205Issues:27Issues:9

hails

The security-centric web platform framework

Language:HaskellLicense:MITStargazers:52Issues:12Issues:16

cs240h-notes

Stanford CS240h Class Notes -- Functional Systems in Haskell

Stargazers:28Issues:8Issues:0

speedex

Language:C++License:GPL-3.0Stargazers:21Issues:4Issues:1

cowl

COWL implementation for Firefox

Language:C++License:NOASSERTIONStargazers:12Issues:12Issues:3

mutated

The most accurate load-generator in the galaxy

Language:C++License:NOASSERTIONStargazers:8Issues:11Issues:3

ga

Google Authenticator in the Shell

Language:ShellLicense:NOASSERTIONStargazers:6Issues:10Issues:0

gitstar

Language:HaskellLicense:NOASSERTIONStargazers:6Issues:6Issues:6

lbh

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

Language:JavaScriptStargazers:4Issues:8Issues:0

iterIO

Language:HaskellLicense:NOASSERTIONStargazers:3Issues:3Issues:5

lio

Labeled IO Library

Language:HaskellStargazers:3Issues:6Issues:0

lio-tutorial

Haskell and LIO tutorial

Language:CSSStargazers:3Issues:6Issues:0

cowl.ws

Static page for cowl.ws

Language:HTMLStargazers:2Issues:11Issues:0

gitstar-policy

Gitstar policy module

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:1Issues:0

lio-semantics

Formal semantics for LIO

Language:CoqStargazers:2Issues:3Issues:0

structued-mongoDB

Mirror of Structured MongoDB package

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:2Issues:0

cjail

Arch linux cjail mirror

Language:HaskellStargazers:1Issues:2Issues:1

hails-auth

Hails authentication system

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:1Issues:0

hails-cjail

Haskell CJail bindings

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:6Issues:0

smart-contract-scalability

Language:C++License:Apache-2.0Stargazers:0Issues:3Issues:0

appdeploy

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:8Issues:0

bad

Stanford Big-Ass-Data Project

Language:C++Stargazers:0Issues:8Issues:0

caddy

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

Language:GoLicense:Apache-2.0Stargazers:0Issues:6Issues:0

dpdk

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

Language:C++License:GPL-2.0Stargazers:0Issues:5Issues:0

fmt

Small, safe and fast formatting library

Language:C++License:BSD-2-ClauseStargazers:0Issues:5Issues:0

ifc-proofs

Mechanized proofs for a general approach to dynamic IFC

Stargazers:0Issues:10Issues:0

lambdexer

Indexes your Haskell package-db

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:6Issues:0

lio-demo

Building secure system with LIO (demo)

Language:TeXStargazers:0Issues:8Issues:0

seastar

High performance server-side application framework

Language:C++License:Apache-2.0Stargazers:0Issues:5Issues:0

simple

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

Language:HaskellStargazers:0Issues:6Issues:0