-
Glean Public
Forked from facebookincubator/GleanSystem for collecting, deriving and working with facts about source code.
Haskell Other UpdatedFeb 6, 2026 -
sawadee Public
bittorrent client
-
-
jquery.terminal Public
Forked from jcubic/jquery.terminaljQuery Terminal Emulator - web based terminal
JavaScript MIT License UpdatedJun 8, 2019 -
ring-leader-election Public
Leader election algorithm in a unidirectional ring in Erlang
Erlang UpdatedMar 8, 2019 -
multitab Public
Python script to open Terminal tabs and run sequences of commands
Python UpdatedDec 5, 2018 -
-
Examples Public
Forked from tlaplus/ExamplesA collection of TLA+ specifications of varying complexities
TLA Other UpdatedAug 16, 2018 -
-
jos Public
MIT 6.828: Operating System Engineering lab / JOS
-
-
ocaml-template Public
Template for ocaml application using jbuilder and core
OCaml GNU General Public License v3.0 UpdatedJul 26, 2018 -
key-value-store Public
Distributed systems labs (MIT 6.824) - A reliable distributed key-value store.
-
yfs Public
MIT Distributed systems labs 6.824 - Spring 2012
-
-
cryptocurrency Public
Assignments for Coursera/Princeton cryptocurrency MOOC
Java UpdatedDec 29, 2017 -
-
-
code-trimmer Public
Delete part of code source according to commented annotations
Python UpdatedMay 17, 2017 -
dream-types Public
Typechecking for message passing components
-
-
-
-
chalk Public
An interpreter for a higher-order pi-calculus with components
OCaml UpdatedMay 14, 2017 -
tiger Public
Forked from thizanne/tigerToy compiler implementation in OCaml
OCaml MIT License UpdatedOct 14, 2015
{{ message }}