Stanford Secure Computer Systems Lab (@scslab)
Guthub

scslab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    402
  • Global Org. Rank 27,259 (Top 9 %)
  • Registered almost 13 years ago
  • Most used languages
    Haskell
         63.0 %
    C++
         11.1 %
    JavaScript
         7.4 %
    Shell
         3.7 %
    CSS
         3.7 %
    Coq     3.7 %
    Ruby
         3.7 %
    HTML
         3.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 17,541
  • Country Ranking
    Coq     176
    Haskell
         236
    C++
         4,444

Top repositories

1

hails

The security-centric web platform framework
Haskell
52
star
2

cs240h-notes

Stanford CS240h Class Notes -- Functional Systems in Haskell
28
star
3

speedex

C++
22
star
4

cowl

COWL implementation for Firefox
C++
12
star
5

mutated

The most accurate load-generator in the galaxy
C++
8
star
6

ga

Google Authenticator in the Shell
Shell
6
star
7

gitstar

Haskell
6
star
8

gitstar-ssh

Gitstar ssh service
Haskell
5
star
9

gitstar-gitwiki

Gitstar markup-based, git-oriented wiki app
JavaScript
4
star
10

lio-tutorial

Haskell and LIO tutorial
CSS
3
star
11

grapit

GitHub style api for git repositories
Ruby
3
star
12

dclabel

Disjunction Category Label Format (Mirror)
Haskell
3
star
13

gitstar-viewer

Gitstar code browser
JavaScript
3
star
14

iterIO

Haskell
3
star
15

iterio-server

Generic building blocks for creating servers using IterIO
Haskell
3
star
16

cowl.ws

Static page for cowl.ws
HTML
2
star
17

hails-bin

Hails dynamic app loader
Haskell
2
star
18

gitstar-policy

Gitstar policy module
Haskell
2
star
19

structued-mongoDB

Mirror of Structured MongoDB package
Haskell
2
star
20

ssh

Haskell SSH Library
Haskell
2
star
21

lio-semantics

Formal semantics for LIO
Coq
2
star
22

hails-deploy

Hails deployment binary
Haskell
2
star
23

lio-exercises

Haskell
2
star
24

lio-cjail

Hails cjail inteface
Haskell
2
star
25

mitigator

General channel mitigation library
Haskell
2
star
26

hails-cjail

Haskell CJail bindings
Haskell
1
star
27

cjail

Arch linux cjail mirror
Haskell
1
star
28

hails-auth

Hails authentication system
Haskell
1
star