Pinned Loading

1. ssm-lang/sslang ssm-lang/sslang Public

   A language built atop the Sparse Synchronous Model

   Haskell 19

2. ssm-lang/ssm-runtime ssm-lang/ssm-runtime Public

   Runtime for the Sparse Synchronous Model

   C 4

3. Paxospp Paxospp Public

   Checkout https://xijiaoli.github.io/Paxospp/ for our documentations!

   C++ 1

4. Band-Up Band-Up Public

   A web application designed to offer a platform for independent band lovers to team up and form a band, as well as for bands to recruit new members.

   JavaScript