Starred repositories
K Semantics of the Ethereum Virtual Machine (EVM)
Happy Coder CLI to connect your local Claude Code to mobile device
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
Lightweight coding agent that runs in your terminal
Monorepo for OP Stack Types, Components, and Services built in Rust.
A powerful GUI app and Toolkit for Claude Code - Create custom agents, manage interactive Claude Code sessions, run secure background agents, and more.
A curated list of awesome commands, files, and workflows for Claude Code
An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
Use Claude Code as the foundation for coding infrastructure, allowing you to decide how to interact with the model while enjoying updates from Anthropic.
An open-source AI agent that brings the power of Gemini directly into your terminal.
A lightweight LMM-based Document Parsing Model
A lightweight AI-friendly language targeting WebAssembly
Security advisory database for Rust crates published through crates.io
The implementation of Stateless Ethereum client based on Reth
liyiteng / lerobot_alohamini
Forked from huggingface/lerobotSoftware support for AlohaMini robot.
Humanoid-Gym: Reinforcement Learning for Humanoid Robot with Zero-Shot Sim2Real Transfer https://arxiv.org/abs/2404.05695
Isaac Gym Environments for Legged Robots
Official implementation for the paper "Full-Order Sampling-Based MPC for Torque-Level Locomotion Control via Diffusion-Style Annealing". DIAL-MPC is a novel sampling-based MPC framework for legged …
A toolkit for developing and comparing reinforcement learning algorithms.
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Making a mini version of the BDX droid. https://discord.gg/UtJZsgfQGe
HOPEJr_open-source_DIY_Humanoid_Robot_with_dexterous_hands