Complete Claude Code configuration collection - agents, skills, hooks, commands, rules, MCPs. Battle-tested configs from an Anthropic hackathon winner.

Animation engine for explanatory math videos

A hyperparameter optimization framework

Code for Machine Learning for Algorithmic Trading, 2nd edition.

Qlib is an AI-oriented Quant investment platform that aims to use AI tech to empower Quant Research, from exploring ideas to implementing productions. Qlib supports diverse ML modeling paradigms, i…

This repository hosts the code for the SAMBA model, proposed in our IEEE ICASSP paper "Mamba Meets Financial Markets: A Graph-Mamba Approach for Stock Price Prediction".

Blind&Invisible Watermark ，图片盲水印，提取水印无须原图！

Genetic Algorithm, Particle Swarm Optimization, Simulated Annealing, Ant Colony Optimization Algorithm,Immune Algorithm, Artificial Fish Swarm Algorithm, Differential Evolution and TSP(Traveling sa…

Contexts Optical Compression

Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.

LanguageTool API in Rust

Quantum information theory in Lean 4

CV/resume generator for academics and engineers, YAML to PDF

A post-modern modal text editor.

Yet another cross-platform graphical process/system monitor.

A more intuitive version of du in rust

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Extremely fast Query Engine for DataFrames, written in Rust

rustling-classroom-2025a-rustling-rustling-25A-template created by GitHub Classroom

No fortress, purely open ground. OpenManus is Coming.

An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.

Towards a general definition of elliptic curve over schemes

Put an end to code hallucinations! GitMCP is a free, open-source, remote MCP server for any GitHub project

An Model Context Protocol (MCP) server that provides LLMs/AI Agents with the capabilities of a language server protocol (LSP) server. This gives the AI the ability to get language aware context fro…

An open-source AI agent that brings the power of Gemini directly into your terminal.

Solving Inequality Proofs with Large Language Models.

A Lean companion to Analysis I

An open project initiated by the DeepModeling community focused on constructing intelligent agents for scientific research. It is committed to assembling a reusable and extensible set of Agent-Read…