Stars
Curated list of AutoResearch use cases with optimization traces and open source implementations
100M tokens. Infinite compute. Lowest val loss wins.
a midi controller using the mpe protocol to create more expressive music
Repository for training models for music source separation.
devilAPI / abletonPatcher
Forked from rufoa/abletonAn Open-Souce Implementation of the R2R Ableton Modification. Packed with a open-source KeyGen (by rufoa) and a Patcher (made by me). All Versions above Live 9 are supported.
A proof assistant for higher-dimensional type theory
A bridge between Streamable HTTP and stdio MCP transports
Transform arXiv papers into a single LaTeX source that can be used as a prompt for asking LLMs questions about the paper.
ETL process for BGG cloud data warehouse
A benchmark for spaced repetition schedulers/algorithms
Match Beat Saber Beatmaps to Spotify Playlists
An Obsidian plugin that syncs flashcards from a folder in your vault to Anki. Pure Markdown syntax. No fuss.
Our solution for the arc challenge 2024
A project to map out the relations between different equational theories of Magmas.
An open tweet database and API anyone can build on.
Now maintained at https://github.com/ScrollPrize/villa/tree/main/vesuvius (this repository archived)
USB / Bluetooth Midi MPE Pad Controller App for Android, iPad and iPhone. Made with Flutter.
🎼 Isomorphic musical layout engine for LinnStrument and Launchpad X, with DAW/Synthesia visualizer
A plotting tool that outputs Line Rider maps, so you can watch a man on a sled scoot down your loss curves. 🎿