Pinned Loading

1. iris iris Public

   Multi-stage compiler: SSA-form MIR, CFG/dataflow analysis, Structure Recovery, and WASM Generation.

   Rust 3

2. vyperlang/vyper vyperlang/vyper Public

   Pythonic Smart Contract Language for the EVM

   Python 5.2k 924

3. eridu eridu Public

   C-Like programming language with abstract data types, functions as first-class citizens, and multi-paradigm functionality

   C 2 1

4. august august Public

   Bitcoin-style blockchain with custom smart contract language, and 256-bit VM with gas metering

   Go 1

5. hssa-mlir hssa-mlir Public

   An out-of-tree MLIR dialect for HSSA, a reversible-computing IR: import, check linearity, invert, and lower to LLVM.

   C++

6. nabu nabu Public

   An SQL-like database written in Rust using B+Trees

   Rust