Stars
Manim in your notebooks, truly interactive, without the hassle.
An uroboros program with 100+ programming languages
Repo for the Shape of Belief paper
Flexible and powerful tensor operations for readable and reliable code (for pytorch, jax, TF and others)
A community trust management system based on explicit vouches to participate.
A collection of creative AnyWidgets for Python notebook environments
🪄 Interpreto is an interpretability toolbox for LLMs
SlopCodeBench: Measuring Code Erosion Under Iterative Specification Refinement
A web based media player for synchronized playback of an audio file and its spectrogram.
A powerful bin packing problem solver for any polygons
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
Mathematical animations for the web — Manim in TypeScript
Turn you hand-drawn sketch into a SVG !
CaBRNet - Case-Based Reasoning Networks made simple
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
Modern speech to text in your terminal. Use for scripting, writing, vibe coding and more !
A bi-directional converter between Typst and LaTeX. Available as both a CLI tool and a Web interface.
macOS TUI for real-time speech-to-text transcription using Apple's Speech framework
Curated list of open-source speech-to-text and voice typing tools for Linux, macOS, Windows, Android, and iOS. Offline, local, and cloud.
Winners of the International Obfuscated C Code Contest
A form inside a grist document