Skip to content
Stanford Secure Computer Systems Lab

Stanford Secure Computer Systems Lab

Haskell 0 0

appdeploy

Updated

Haskell 6 6

lio

Labeled IO Library

Updated

ifc.js

A OS/PL approach IFC for JS

Updated

Haskell 2 1

gitstar-policy

Gitstar policy module

Updated

Haskell 14 3

hails

Updated

cs240h-notes

Stanford CS240h Class Notes -- Functional Systems in Haskell

Updated

Haskell 0 1

simple

forked from alevy/simple

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

Updated

ifc-proofs

Mechanized proofs for a general approach to dynamic IFC

Updated

masstree-beta

forked from kohler/masstree-beta

Beta release of Masstree.

Updated

lio-semantics

Formal semantics for LIO

Updated

OCaml 0 6

LambdaS5

forked from brownplt/LambdaS5

Semantics for ES5

Updated

lio-tutorial

Haskell and LIO tutorial

Updated

JavaScript 0 0

mpvc.js

A port of the Hails MPVC to Node

Updated

darpa-site-visit

DARPA site visit wiki

Updated

Haskell 0 11

bytestring

forked from haskell/bytestring

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

Updated

Haskell 0 30

text

forked from bos/text

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

Updated

Haskell 1 0

lio-exercises

Updated

JavaScript 5 3

gitstar

Updated

Haskell 5 3

gitstar-ssh

Gitstar ssh service

Updated

JavaScript 4 2

lbh

forked from deian/lbh

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

Updated

Something went wrong with that request. Please try again.