All repos — GH Trending Explorer

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

Harness self-evolution: update targets, theory, evaluation, and reported evidence. Bilingual reading list and project website.

papers-we-love / papers-we-love

Papers from the computer science community to read and discuss.

xevrion / breakscale

Build a system, load it until it breaks, and watch why. A system design simulator for learning distributed systems.

eokahya / claude-audits-quantum-gravity

Claude re-derived a published one-loop quantum gravity calculation step by step: 18 tasks, 183 pages of derivations, 38 reproducible checks. It found a sign error and a missing term; the physical conclusion survived.

okalachev / flix

Making an ESP32-based quadcopter from scratch

tangency-labs / fieldcraft

One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.

networkx / networkx

Network Analysis in Python

cytoscape / cytoscape.js

Graph theory (network) library for visualisation and analysis

varkor / quiver

A modern commutative diagram editor for the web.

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

control-theory / gonzo

Gonzo! The Go based TUI log analysis tool

szTheory / exifcleaner

Cross-platform desktop GUI app to clean image metadata

bupticybee / TexasSolver

🚀 A very efficient Texas Holdem GTO solver :spades::hearts::clubs::diamonds:

kennethreitz / pytheory

Music Theory for Humans.

kimwalisch / primesieve

🚀 Fast prime number generator

JuDFTteam / best-of-atomistic-machine-learning

🏆 A ranked list of awesome atomistic machine learning projects ⚛️🧬💎.

gambitproject / gambit

Gambit: The package for computation in game theory

Krishita17 / PhantomTap

A Flipper Zero that stops guessing and starts reasoning: ML-guided RFID/NFC fuzzing & access-control auditing that turns raw card reads into a prioritized, explainable security assessment. Defensive-use only.

yeasy / blockchain_guide

Introduce technologies on blockchain and distributed ledger, from theory to practice with bitcoin, ethereum and hyperledger.

purpleidea / mgmt

Next generation distributed, event-driven, parallel config management!

tonaljs / tonal

A music theory library for Javascript

ben1234560 / AiLearning-Theory-Applying

快速上手AI理论及应用实战：基础知识、Transformer、NLP、ML、DL、竞赛。含大量注释及数据集，力求每一位能看懂并复现。

lkarlslund / Adalanche

Attack Graph Visualizer and Explorer (Active Directory) ...Who's *really* Domain Admin?

chetannada / Namaste-React

❤ Namaste React Live Course from Zero to Hero 🚀 by Akshay Saini(Founder of NamasteDev). This repository for Assignment & Class Notes taken during Namaste React Live Course #namaste #javascript #react

igraph / igraph

Library for the analysis of networks

Qiskit / rustworkx

A high performance Python graph library implemented in Rust.

bgavran / Category_Theory_Machine_Learning

List of papers studying machine learning through the lens of category theory

plfa / plfa.github.io

An introduction to programming language theory in Agda

igraph / python-igraph

Python interface for igraph

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

AlexGalhardo / computer-science-fundamentals

Learning Computer Science Fundamentals With Theory Quiz Questions and Practical Mini Projects. One Step At Time :turtle:

graphframes / graphframes

GraphFrames is a package for Apache Spark which provides DataFrame-based Graphs

theory / pgtap

PostgreSQL Unit Testing Suite

yallop / effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

ericmjl / Network-Analysis-Made-Simple

An introduction to network analysis and applied graph theory using Python and NetworkX

gap-system / gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

clj-commons / loom

Graph library for Clojure

Axelrod-Python / Axelrod

A research tool for the Iterated Prisoner's Dilemma

michaelpporter / breadcrumbs

Add typed-links to your Obsidian notes

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

mmschlk / shapiq

Shapley Values and Shapley Interactions for Machine Learning

datawhalechina / llm-algo-leetcode

LLM algorithm practice lab with theory, solutions, and test cases.《大模型算法与系统教程》面向大模型入门到进阶的算法实战教程，覆盖原理讲解、答案解析、测试用例与 CUDA/Triton 实战。

PCGEx / PCGExtendedToolkit

The missing pieces for Unreal's PCG. Graph theory, advanced pathfinding, spatial ops, filtering, asset management, and more.

facebook / SPARTA

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

flintlib / flint

FLINT (Fast Library for Number Theory)

nwchemgit / nwchem

NWChem: Open Source High-Performance Computational Chemistry

igraph / rigraph

igraph R package

meodai / skill.color-expert

Agent skill for color science expertise. Many references covering color spaces, accessibility (APCA, WCAG), palette generation, pigment mixing, and historical color theory. Works with Claude Code, Codex, Cursor, Copilot & others.