Pinned Loading

1. pika pika Public

   A WIP little dependently-typed systems language

   Rust 37

2. durin durin Public

   the Dependent Unboxed higher-oRder Intermediate Notation

   Rust 13

3. wasm-vk wasm-vk Public

   Run WebAssembly code on the GPU with Vulkan!

   Rust 38 1

4. bytec bytec Public

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

   Rust 5