Introductory lecture notes on programmable cryptography

Decentralised, minimalist microblogging service for hackers.

Multi-party computation libraries written in Rust 🦀

An experiment in scalable routing as an encrypted IPv6 overlay network

intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta

Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.

Making learning sh*t less annoying

A curated list of zero-knowledge folding schemes

Noir Circuits for AES-GCM

a reference on testing and constraining circom

Learn the helix editor keymap on the web!

Awesome list of resources for the Helix editor

Small Clojure interpreter, linter and formatter.

CIEL Is an Extended Lisp. Scripting with batteries included.

My own custom 12ft.io replacement

Notes and code for zod and zodios workshop

a CLI tool to generate unicode fonts

Cryptography Educational Foundations

Rust Macros to automate the addition of Paths/Schemas to Utoipa crate, simulating Reflection during the compilation phase

A powerful validation library for Rust

Effortless monitoring and analytics for API frameworks.

A DSL for generating optimal EVM bytecode

🚃 Previously bundled session stores for `tower-sessions`.

A Creative Coding Framework for Rust.

html with targeted manipulation zones

[UPSTREAMED TO SHUTTLE ITSELF] diesel-async resource for Shuttle services

Build & ship backends without writing any infrastructure files.

A simple and easy-to-use library for interacting with the Ollama API.