Sylvie Dirkswager naalit

Pinned Loading

1. A WIP little dependently-typed systems language

   Rust 41

2. the Dependent Unboxed higher-oRder Intermediate Notation

   Rust 14

3. Run WebAssembly code on the GPU with Vulkan!

   Rust 48 1

4. A compiler from a tiny Rust-like language to bytecode-optimized Java, intended for use in Battlecode

   Rust 7