Popular repositories Loading

1. pulseaudio-hyperv pulseaudio-hyperv Public

   PulseAudio with Hyper-V socket support.

   C 3

2. qualifying-fsub-proofs qualifying-fsub-proofs Public

   Proofs for Qualifying System F-sub

   Coq 2

3. simple-capture-proof simple-capture-proof Public

   Simple Capture Calculus Proof

   Coq 1

4. simple-fsub-mutability-proofs simple-fsub-mutability-proofs Public

   Proofs for Simple Reference Immutability for System F-sub

   Coq 1

5. seashell seashell Public

   Forked from cs136/seashell

   Seashell is an online environment for editing, running, and submitting C programming assignments.

   Racket

6. seashell-clang-js seashell-clang-js Public

   Forked from cs136/seashell-clang-js

   Port of LLVM/Clang to JavaScript (via Emscripten) to enable compilation and running of C programs live in the browser.

   C