Pinned Loading

1. nuprl/Stopify nuprl/Stopify Public

   A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.

   JavaScript 173 12

2. distribufy distribufy Public

   Distributed Stopify

   TypeScript 3

3. rust_ofp rust_ofp Public

   OpenFlow 1.0 protocol and controller in Rust.

   Rust 27 9

4. frenetic-lang/frenetic frenetic-lang/frenetic Public

   The Frenetic Programming Language and Runtime System

   OCaml 224 51

5. mix_proto mix_proto Public

   Prototype implementation of MIX (hybrid type-checking/symbolic execution engine)

   OCaml 1

6. decepticon decepticon Public

   Learning about machine learning in Rust

   Rust 2