MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

Lean Theorem Prover MCP

The Rust OpenTelemetry implementation

Graph-Native Infrastructure for Context and Accountable AI Systems

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

AdaL vs Claude Code on Karpathy's Autoresearch benchmark

An IDE for AI coding

Codex-native architect orchestration with Luna and Terra implementation lanes and mandatory fresh Sol review.

🪄 Flint is a visualization language that lets AI agents reliably create expressive, good-looking charts from simple, human-editable chart specs.

AI agents running research on single-GPU nanochat training automatically

🎨 Toolkit for generating publication-quality plots for Cell, Nature and Science journals

Export a ChatGPT account (incl. business/Team) to a local searchable offline archive - conversations, files, and a single-file HTML viewer

Demonstrandum: certificates, checkers, and formal proofs accompanying the publications

Public site for Demonstrandum — machine-verified mathematics

Hierarchical agent loops with recursive self-organization.

Self-hosted deployment platform

Self-hosted deployment platform

Free, open-source web app for learning about ontologies and Microsoft Fabric IQ. Explore a catalogue of pre-built ontologies, design your own visually, export as RDF/XML, and share interactive diag…

The open-source CapCut alternative

Skills for Designers and Engineers.

Lean 4 programming language and theorem prover

Fully automatic censorship removal for language models

Archive of churchofreality.org (1999-2018) — Marc Perkel's Church of Reality, downloaded from the Wayback Machine after the domain was taken over by spammers following his death in 2018.

autonomous red teaming platform; multi-agent offensive-security meta-harness

autonomous red teaming platform; multi-agent offensive-security meta-harness

Native desktop automation CLI for AI agents. Control any application through OS accessibility trees with structured JSON output and deterministic element refs.