Pinned Loading

1. cart cart Public

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

   Rust 3

2. vevm vevm Public

   A formally verified virtual machine in Rocq.

   Rocq Prover 1

3. mnemo mnemo Public

   A command line tool for compiling and running EVM opcodes.

   Go

4. verifythis-verus verifythis-verus Public

   Rust implementations of VerifyThis challenges.

   Rust 1 1

5. deep-evm deep-evm Public

   Learn about the EVM, Assembly and Bytecode.

   Solidity 10

6. l2savings l2savings Public

   How much in fees have you saved by using L2s?

   TypeScript 6 2