PaperSpine5 is a local-first Skill for AI coding agents (Claude, Codex, OpenClaw) that turns them into evidence-constrained academic research and writing assistants. It bundles tools for citation checking, reference inventory, LaTeX/Word validation, and writing rationale, with installers for Windows/macOS/Linux and a web UI for configuration and preview.

A Lean 4 formalization of mathematical proofs demonstrating finite-time blowup for the Navier-Stokes and Euler equations, addressing the Millennium Prize Problem.

A native PC port of Super Smash Bros. Melee that uses a compatibility layer and WebGPU to provide high-resolution graphics, custom textures, and low-latency input across multiple platforms.

Open‑source framework for building and deploying algorithmic crypto‑trading bots; includes CLI, Docker, many exchange connectors, and optional LLM‑driven decision layer (Condor).

A visual music player for Linux that simulates physical media like vinyl, CDs, and cassettes to provide an immersive playback experience across multiple music sources.

MatterGen is a generative diffusion model for inorganic materials design that can be fine-tuned to generate crystal structures based on specific property constraints.

A platform for hybrid quantum-classical computing that integrates QPUs, GPUs, and CPUs into a single programmable system.

LoRA Manager for ComfyUI - A powerful extension for organizing, previewing, and integrating LoRA models with metadata and workflow support.

PennyLane is an open-source software platform designed for quantum computing, quantum machine learning, and quantum chemistry, enabling users to build and implement quantum algorithms across various hardware devices.

OpenMM is a high-performance molecular dynamics library for molecular simulation, offering extreme flexibility and GPU optimization for researchers.

PlatEMO is a MATLAB platform for evolutionary multi-objective optimization, offering 300+ algorithms and 600+ benchmark problems with a user-friendly GUI and parallel experiment support. It helps researchers test and compare optimization methods easily.

Reckless is a high-performance, open-source competitive chess engine that ranks among the top engines in major tournaments like CCC and TCEC.

A tooling and infrastructure framework for protein design, providing a unified interface for generative models like RFdiffusion3 and structure prediction models like RosettaFold3.

A design automation tool for representing and compiling large-scale fault-tolerant quantum computations based on surface code and lattice surgery.

AutoDock Vina is an open-source docking engine used for molecular docking and virtual screening to predict how ligands bind to proteins.

An efficient C++ solver for Texas Hold'em and Short Deck poker that calculates optimal game strategies.

A cross-platform terminal chess game written in Rust that supports local play, UCI chess engines like Stockfish, and Lichess integration.

A home battery prediction and automatic charging system for Home Assistant that supports multiple inverter brands to optimize energy storage.

A real-time analysis GUI for Leela Chess Zero (Lc0) that provides graphical visualizations of engine evaluations and move choices.

NetLogo is a programmable modeling environment for creating agent-based simulations to study complex systems and emergent behavior.

A high-performance open-source 3D game engine written in C++ featuring advanced Vulkan rendering, hardware ray tracing, and built-in AI integration via an MCP server.

A Pokemon Showdown battle-bot that uses a search engine to play single battles across multiple generations of the game.

An open-source Python library for 3D geological modeling that uses implicit representations to construct complex folded structures, fault networks, and unconformities.

A JavaScript library for developing Game AI, providing tools for autonomous agent design, steering, navigation, and fuzzy logic.

A collection of Google Colab notebooks that make protein design accessible by integrating tools like AlphaFold, ProteinMPNN, and Rfdiffusion.

An extensible Julia framework for quantum algorithm design and simulation, designed for research, education, and quantum software development.

A molecular design tool that uses reinforcement learning and transfer learning to generate optimized small molecules based on user-defined property profiles.

slides-grab is a CLI tool for creating and editing HTML slides with AI agent assistance. It provides a visual editor, exports to PDF/PNG/PPTX, includes design templates, and can generate images via AI. It's designed to be used by coding agents like Claude or Codex, making it a practical application of AI in presentation workflows.

A native-feeling port of Command & Conquer: Red Alert 2 and Yuri's Revenge for iOS and iPadOS, featuring custom RTS touch controls and a rebuilt skirmish AI.

A Python package for compiling and analyzing quantum algorithms to simulate fermionic systems and quantum chemistry on quantum computers.

A Python package for writing, manipulating, and running quantum circuits on quantum computers and simulators, optimized for NISQ-era hardware.

A tool for predicting pKa values of ionizable groups in proteins and protein-ligand complexes based on their 3D structure.

NeuralGCM is a Python library for building hybrid machine learning and physics-based atmospheric models for weather and climate simulation.

A modern C++ general-purpose quantum computing library for simulating arbitrary quantum processes with high performance and low dependencies.

The Brain Modeling Toolkit (BMTK) is an open-source software suite for building, simulating, and analyzing large-scale brain networks across multiple levels of resolution.

A biomolecular modeling library used for the computational analysis and design of protein structures, enzymes, and biological macromolecules.

Handwrite is a tool that generates a custom font based on a user's handwriting sample, allowing them to type documents that look handwritten.

A Python library for quantum information many-body calculations focusing on tensor networks and exact matrix-based simulations.

A suite of tools for solving computationally hard problems using D-Wave quantum computers via the Leap cloud service.

An open-source PyTorch implementation of AlphaFold 3 for predicting the 3D structures of biomolecular interactions, including proteins, nucleic acids, and ligands.

An augmentative and alternative communication (AAC) web app that enables people with speech impairments to communicate via symbols and text-to-speech.

HMMER is a biological sequence analysis tool that uses profile hidden Markov models to search databases for homologous sequences.

An open-source full-stack API for quantum simulation and quantum hardware control, providing a device-agnostic way to execute quantum circuits.

A Python library for modeling and solving automated planning problems in a planner-independent way, supporting various solvers and PDDL formats.

A Python and TensorFlow implementation of AlphaGo Zero that allows an AI to learn to play the game of Go through self-play and reinforcement learning.

An open-source XiangQi (Chinese Chess) engine that uses Alpha-Beta search and bitboard move generation to provide strong AI gameplay.

A high-performance quantum compiler that optimizes quantum circuits for a wide range of quantum computing architectures.

A GPU-accelerated molecular docking program that enables ultralarge virtual screening by providing massive speed-ups over CPU-based tools.