Pinned Loading

1. bendlang/bend bendlang/bend Public

   Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

   TypeScript 23.2k 712

2. HigherOrderCO/HVM3 HigherOrderCO/HVM3 Public

   HVM3

   Haskell 306 29

3. rowhammer_rpi3 rowhammer_rpi3 Public archive

   Simple Rowhammer attack PoC for Raspberry Pi 3B+

   C 3 2

4. HigherOrderCO/Bend1 HigherOrderCO/Bend1 Public

   Bend 1: the original massively parallel, high-level programming language (superseded by github.com/bendlang/bend)

   Rust 5 1