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
      •63k•0•0•0•Updated Mar 8, 2026Mar 8, 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
      •104•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•52•5•0•Updated Sep 17, 2016Sep 17, 2016

    • fmt

      Public
      Small, safe and fast formatting library
      C++
      •
      BSD 2-Clause "Simplified" License
      •2.9k•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.8k•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
      •214•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•28•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.