Pinned Loading

1. cart cart Public

   Rust on Rails, With Cart: An experimental programming language with a compiler written in Rust.

   Rust 3

2. mnemo mnemo Public

   A command line tool for compiling and running EVM opcodes.

   Go

3. verifythis-verus verifythis-verus Public

   Rust implementations of VerifyThis challenges.

   Rust 1 1

4. deep-evm deep-evm Public

   Learn about the EVM, Assembly and Bytecode.

   Solidity 10

5. l2savings l2savings Public

   How much in fees have you saved by using L2s?

   TypeScript 6 2

6. vicfood vicfood Public

   What's currently being served at the Burwash Dining Hall?

   TypeScript 4 1