Lists (25)
Agent-Based Modeling
Analysis
C++
Compilers
Course Tools
Game Programming
Image Gen
JavaScript
Julia
Linux
Lisp and Scheme
Maths, Logic, Theorem Proving
Microservices
ML Audio
ML Prompting
ML Tools
Tools that might be helpful to create useful machine learning systemsMusic
Net/Web
Optimization
Planning
Python Tools
Security, Cryptography, Steganography
Tools
Type Theory
Unreal
Stars
Teaching tool and debugging aid in context of references, mutable data types, and shallow and deep copy.
DEMON: Diffusion Engine for Musical Orchestrated Noise
An open source, self-hosted implementation of the Tailscale control server
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
1K resolution vision transformers pretrained on 1B human images.
A collection of code snippets for Unreal Engine projects
Fast LLM speculative inference server for consumer hardware.
🤗 ml-intern: an open-source ML engineer that reads papers, trains models, and ships ML models
Parse C++ headers and generate Python/C bindings
General-purpose planning and execution harness for LLMs — structured phases, critique, gating, and review
MathCode: A Frontier Mathematical Coding Agent
Fast, accurate & comprehensive text measurement & layout
Row-Bot - Personal AI Sovereignty. A local-first AI assistant with integrated tools, a personal knowledge graph, voice, vision, shell, browser automation, scheduled tasks, health tracking, and mess…
A fast, helpful, and open-source document parser
A framework-agnostic, git-native standard for defining AI agents
Self-referential self-improving agents that can optimize for any computable task
NextPlaid, ColGREP: Multi-vector search, from database to coding agents.
Fast BM25 search in Python, powered by Numpy and Numba
A proof assistant for higher-dimensional type theory
Lean 4 programming language and theorem prover
Agda is a dependently typed programming language / interactive theorem prover.
A self hosted virtual browser that runs in docker and uses WebRTC.
OBLITERATE THE CHAINS THAT BIND YOU
Translate Unreal Engine Blueprints to C++ in seconds. Not hours.
Shared data types for building collaborative software
A multi core friendly rigid body physics and collision detection library. Written in C++. Suitable for games and VR applications. Used by Horizon Forbidden West and Death Stranding 2.