Skip to content

@scslab Stanford Secure Computer Systems Lab

Change the repository type filter

All

    Repositories list

    54 repositories

    • linux

      Public
      Linux kernel source tree
      C
      •
      Other
      •61k•0•0•0•Updated Feb 20, 2026Feb 20, 2026

    • smart-contract-scalability

      Public
      C++
      •
      Apache License 2.0
      •2•0•0•0•Updated Jul 5, 2025Jul 5, 2025

    • groundhog-model-checking

      Public
      C++
      •
      Apache License 2.0
      •0•1•0•0•Updated May 16, 2024May 16, 2024

    • speedex

      Public
      C++
      •
      GNU General Public License v3.0
      •5•26•0•0•Updated Jan 19, 2024Jan 19, 2024

    • tcpcrypt

      Public
      Fast TCP encryption
      C
      •
      Other
      •106•214•10•5•Updated Aug 31, 2022Aug 31, 2022

    • cowl.ws

      Public
      Static page for cowl.ws
      HTML
      •5•2•0•0•Updated Apr 18, 2022Apr 18, 2022

    • ga

      Public
      Google Authenticator in the Shell
      Shell
      •
      Other
      •4•7•0•0•Updated Oct 6, 2021Oct 6, 2021

    • iterIO

      Public
      Haskell
      •
      Other
      •3•3•3•0•Updated Jan 17, 2017Jan 17, 2017

    • seastar

      Public
      High performance server-side application framework
      C++
      •
      Apache License 2.0
      •1.7k•0•0•0•Updated Oct 28, 2016Oct 28, 2016

    • hails-cjail

      Public
      Haskell CJail bindings
      Haskell
      •
      Other
      •0•1•0•0•Updated Oct 28, 2016Oct 28, 2016

    • mutated

      Public
      The most accurate load-generator in the galaxy
      C++
      •
      Other
      •4•8•3•0•Updated Oct 18, 2016Oct 18, 2016

    • hails

      Public
      The security-centric web platform framework
      Haskell
      •
      MIT License
      •8•53•5•0•Updated Sep 17, 2016Sep 17, 2016

    • fmt

      Public
      Small, safe and fast formatting library
      C++
      •
      BSD 2-Clause "Simplified" License
      •2.8k•0•0•0•Updated Jul 18, 2016Jul 18, 2016

    • bad

      Public
      Stanford Big-Ass-Data Project
      C++
      •4•0•0•0•Updated Jul 16, 2016Jul 16, 2016

    • lio

      Public
      Labeled IO Library
      Haskell
      •22•3•0•0•Updated Jul 4, 2016Jul 4, 2016

    • caddy

      Public
      Fast, cross-platform HTTP/2 web server with automatic HTTPS
      Go
      •
      Apache License 2.0
      •4.6k•0•0•0•Updated May 4, 2016May 4, 2016

    • hails-auth

      Public
      Hails authentication system
      Haskell
      •
      Other
      •1•1•0•0•Updated Apr 25, 2016Apr 25, 2016

    • structued-mongoDB

      Public
      Mirror of Structured MongoDB package
      Haskell
      •
      Other
      •2•2•0•0•Updated Apr 25, 2016Apr 25, 2016

    • dpdk

      Public
      Mirror of Data Plane Development Kit, git://dpdk.org/dpdk (http://dpdk.org)
      C++
      •
      GNU General Public License v2.0
      •212•0•0•0•Updated Sep 1, 2015Sep 1, 2015

    • cowl

      Public
      COWL implementation for Firefox
      C++
      •
      Other
      •4•12•3•0•Updated Jun 11, 2015Jun 11, 2015

    • cjail

      Public
      Arch linux cjail mirror
      Haskell
      •0•1•1•0•Updated Apr 1, 2015Apr 1, 2015

    • lbh

      Public
      Learn by Hacking. A web app for writing interactive tutorials on how to write code.
      JavaScript
      •2•4•0•0•Updated Mar 8, 2015Mar 8, 2015

    • lio-semantics

      Public
      Formal semantics for LIO
      Coq
      •2•2•0•0•Updated Dec 31, 2014Dec 31, 2014

    • gitstar

      Public
      Haskell
      •
      Other
      •5•6•1•0•Updated Nov 1, 2014Nov 1, 2014

    • lio-demo

      Public
      Building secure system with LIO (demo)
      TeX
      •0•0•0•0•Updated Jul 4, 2014Jul 4, 2014

    • cs240h-notes

      Public
      Stanford CS240h Class Notes -- Functional Systems in Haskell
      8•27•0•4•Updated Jun 3, 2014Jun 3, 2014

    • appdeploy

      Public
      Haskell
      •
      Other
      •0•0•0•0•Updated May 30, 2014May 30, 2014

    • lambdexer

      Public
      Indexes your Haskell package-db
      Haskell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated May 14, 2014May 14, 2014

    • lio-tutorial

      Public
      Haskell and LIO tutorial
      CSS
      •1•3•0•0•Updated Apr 23, 2014Apr 23, 2014

    • simple

      Public
      A minimal Haskell web-framework based on the WAI web server interface.
      Haskell
      •10•0•0•0•Updated Apr 20, 2014Apr 20, 2014