A lightweight Datalog engine in Rust

A Trust-minimized Bitcoin Bridge

OCaml visual programming editor based on Blockly.

Run arbitrary commands when files change

Solutions to some of ITA recruiting puzzles.

!!Con West 2019 talk

Mirror of https://somegit.dev/ALHP/ALHP.GO

Constraints API

Based OP stack

Running a RISE full node

🐇 Fuzzing Rust code with American Fuzzy Lop

A web-based visualization tool used to visualize data structures and algorithms. Included is a set of visualizations for the soft heap along with soft heap implementations in multiple languages. Th…

Fullscreen Javascript canvas implementation of a chalkboard with a realistic chalk effect.

Surface-Stable Fractal Dithering

Shrinkray is a modern multi-format test-case reducer

Scroll's fork of the official Go implementation of the Ethereum protocol

Pixel IMS: Rootless replacement for Tensor Pixel VoLTE patch

Haxe-based language for defining 2D shmups bullet-hell patterns.

Wrecking sandwich traders for fun and profit

Mozak RISC-V Virtual Machine

🤖 Just a command runner

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

🪩 verify plonky3 proofs in plonky2

The Startup CTO's Handbook, a book covering leadership, management and technical topics for leaders of software engineering teams

Performance and security acceleration for zkVMs.