🌀 Experience tranquillity while browsing the web without people tracking you!

my code snippets for Rust

Jack VM code to Hack assembly translator.

Statistics-driven benchmarking library for Rust

A smarter cd command. Supports all major shells.

Noir is a domain specific language for zero knowledge proofs

A web-based IDE for https://nand2tetris.org

Haskell API search engine

🦥 Supercharge your Haskell experience in neovim!

An utility for encoding or decoding QR code

Bitcoin Core integration/staging tree

Rust bindings for the Python interpreter

Source code for "Building Cryptographic Proofs from Hash Functions"

Rust In Production

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

A retro game engine for Python

Retro groove color scheme for Vim

A refreshingly simple data-driven game engine built in Rust

Python scraper based on AI

Trustworthy, encrypted, command-line TOTP/HOTP authenticator app with import functionality.

Coffee shop with Textual

Verified Rust for low-level systems code

🕸️ Web apps in pure Python 🐍

Cross-platform, fast, feature-rich, GPU based terminal

Concrete: TFHE Compiler that converts python programs into FHE equivalent

a fully homomorphic sha256 circuit

A FHE implementation of a String library for the Zama bounty program.

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.