Lists (6)
Stars
Documentation for BAO verified streaming as used in the iroh ipfs implementation
Build Better Websites. Create modern, resilient user experiences with web fundamentals.
Upload media to Cloudinary service
Code for the manim-generated scenes used in 3blue1brown videos
Terminal battle royale — p2p over iroh, no central server. Play in your browser at play.royale.boxd.sh, or 'ascii-royale play' from a terminal. ASCII + 8-bit sound.
Neural Networks: Zero to Hero
Website for the Robotics Department at the University of Michigan
How to Build Robots and Make Them Move
Pilot course for Robotics 101: Computational Linear Algebra
the holly uncodexify instructions - letting GPT create uncodexified UI
Use your most capable model to audit your codebase and write plans for cheaper models to execute.
A library for efficient similarity search and clustering of dense vectors.
MixBytes Team public security audits
CAD-style 3D cottage and interior design tool.
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
Offline WHOOP companion — pair your strap over Bluetooth, keep all data on your own device. No cloud, no account, no subscription.
Find security vulnerabilities, compliance issues, and infrastructure misconfigurations early in the development cycle of your infrastructure-as-code with KICS by Checkmarx.
A pre-commit hook that checks commit messages for Conventional Commits formatting
A prior-art search for your code ideas. Stop building what already exists.
Open-source observability tool that uses AI agents to self-heal your software
Rust / Wasm framework for creating reliable and efficient web applications
Nexus by Biconomy: ERC-7579 Modular Smart Account for Enhanced Account Abstraction
Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize
A high-throughput blockchain built on commonware primitives.
3D visualization and mesh analysis for science and engineering
Outstatic - A Static Site CMS for Markdown. A dashboard to write, edit, and publish Markdown and MDX stored in your GitHub repository.