The Nexus zkVM: The zero-knowledge virtual machine

Homebrew formulae to build Zathura on Mac OS X

🍫 Fastest and most reliable Amul stock checker.

Tunnelmole - Connect to local servers from anywhere

Lean 4 programming language and theorem prover

A minimal android launcher with weather integration.

A library for creating reactive web apps in Rust and WebAssembly

Build, bundle & ship your Rust WASM application to the web.

10x faster dynamic Protobuf parsing in Go that’s even 3x faster than generated code.

Post-quantum crypto library for the ARM Cortex-M4

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Deep learning at the speed of light.

educational python plonk implementation, based on vitalik's py_plonk

Container Virtualizer for virtualizing access to containerized applications across multiple clients efficiently, written in Pure C.

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

Reverse engineering Rosetta 2 on M1 Mac

The Elixir Cross Referencer

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

TLS/SSL and crypto library

Virtual Enigma and Bombe eBPF simulation for real-time network packet encryption and cryptanalysis on Linux

A Git-compatible VCS that is both simple and powerful

Open standard for machine learning interoperability

Discord server https://discord.gg/HrV52MgSC2 QQ频道 https://pd.qq.com/s/1dwwmkgq4

Example implementation of the SealPIR protocol

A complete computer science study plan to become a software engineer.

my macOS dotfiles

My personal macOS configuration

Protocol Buffers - Google's data interchange format

A curated list to learn about distributed systems

The seL4 microkernel