Stars
A simple webpage powered by node.js for the distribution of ad hoc versions of iOS apps for "over-the-air" install by beta testers
High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus
mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local
Recursive Cairo verifier
Agent skills for Manim to create 3Blue1Brown style animations.
APALACHE: symbolic model checker for TLA+ and Quint
A modern, high performance implementation of the VNC/RFB protocol written in Swift.
A powerfull GUI and Toolkit for Codex CLI + Claude Code. FileTree + prompt notepad + git worktree and more
A library to generate bindings from Cairo ABI.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…
Rust WebTransport library for native and WASM
Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚
My Ralph Wiggum setup, an autonomous bash script that runs Claude Code, Codex, OpenCode, Cursor agent, Qwen & Droid in a loop until your PRD is complete.
Transparent compilation offloading for AI coding agents - intercepts cargo/gcc builds via Claude Code hooks and routes to remote workers
An app to monitor the (Codex) situation
Universal skills loader for AI coding agents - npm i -g openskills
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Automatic Exploit Generation with LLMs
Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
My expo playground. Will be adding screens and components as i play
Ultra-fast CLI for searching Twitter/X data archives. Sub-millisecond queries via Tantivy + SQLite.
Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits
React Native's Animated library reimplemented
High-level APIs for orchestrating header motion driven by scroll — built on top of React Native Reanimated.