Lists (2)
Stars
Automaticly generate kinetic typography
Community maintained hardware plugin for vLLM via Vulkan
Community maintained hardware plugin for vLLM on Apple Silicon
Official implementation for the paper: Deep Learning under Continuous Distribution Shift: The Non-Stationary NTK and Spectral Tracking SDE for Quantitative Finance
Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…
A lightweight terminal coding assistant with Claude Code-like workflow, tool loop, and TUI architecture, built for learning and experimentation. Multi-language support: TypeScript , Python and Rust…
🚀 An open-source, hands-on curriculum bridging the gap from basic RL concepts to LLM alignment, RLVR, and advanced Agentic systems.
Extremely fast CLI tool for previewing CSV and Parquet files
Welcome to GR00T Whole-Body Control (WBC)! This is a unified platform for developing and deploying advanced humanoid controllers. This includes: Decoupled WBC models used in NVIDIA Isaac-Gr00t, Gr0…
Yo - A programming language that's LLM-friendly to write and human-friendly to read
An experiment of high level code optimization
Vera: a programming language designed for LLMs to write
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
Visualize, query, and stream to train on multimodal robotics data.
HY-Embodied: Embodied Foundation Models for Real-World Agents
Core logic of Slay the Spire implemented in Lean4 for formal verification proofs
An agentic skills framework & software development methodology that works.
Persistent project memory for AI coding agents. Structured scaffold + drift detection CLI.
Add a virtual speaker and mic to your windows 10/11 device! Works with VR, OBS, Sunshine, and/or any desktop sharing software.
Library implementing type inference/checking functionality based on the Lean theorem prover
A functional language for machine learning. Inspired by Clojure, compiled to GPUs.
Krasis is a Hybrid LLM runtime which focuses on efficient running of larger models on consumer grade VRAM limited hardware
Do not modify the code. The code should always be generated solely from the specs. After each update to the specs, the code will be regenerated from scratch.