labuladong / fucking-algorithm
Crack LeetCode, not only how, but also why.
labuladong / fucking-algorithm
pymc-devs / pymc
Bayesian Modeling and Probabilistic Programming in Python
ERGO-Code / HiGHS
Linear optimization software
halfrost / LeetCode-Go
✅ Solutions to LeetCode by Go, 100% test coverage, runtime beats 100% | LeetCode 题解
bharathgs / Awesome-pytorch-list
A comprehensive list of pytorch related content on github,such as different models,implementations,helper libraries,tutorials etc.
EvgSkv / logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Simple-Robotics / proxsuite
The Advanced Proximal Optimization Toolbox
TharunKumarReddyPolu / DSA-Handbook-for-Coding-Interviews
Free DSA handbook for coding interviews: data structures, algorithms, and LeetCode patterns with Python, Java, and C++ implementations, complexity tables, edge cases, and FAQs.
acados / acados
Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control
loco-3d / crocoddyl
Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is based on various efficient Differential Dynamic Programming (DDP)-like algorithms
blackjax-devs / blackjax
BlackJAX is a Bayesian Inference library designed for ease of use, speed and modularity.
potassco / clingo
🦉 A grounder and solver for logic programs.
sudheerj / datastructures-algorithms
List of Programs related to data structures and algorithms
qpsolvers / qpsolvers
Quadratic programming solvers in Python with a unified API
Brainrotlang / brainrot
Brainrot programming language interpreter
optimatika / ojAlgo
Pure Java LP, QP and MIP solvers plus fast linear algebra. Zero dependencies, MIT licensed. Mathematical optimization and linear algebra for the JVM.
pyro-ppl / pyro
Deep universal probabilistic programming with Python and PyTorch
MagicStack / asyncpg
A fast PostgreSQL Database Client Library for Python/asyncio.
QuipNetwork / xquad
A hardware-agnostic SDK for optimization problems: define a problem once, then lower it to any quantum or classical solver
tensorflow / probability
Probabilistic reasoning and statistical analysis in TensorFlow
milessabin / shapeless
Generic programming for Scala
pyro-ppl / numpyro
Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.
ExtensityAI / symbolicai
A neurosymbolic perspective on LLMs
google / uncertainty-baselines
High-quality implementations of standard and SOTA methods on a variety of tasks.
SWI-Prolog / swipl-devel
SWI-Prolog Main development repository
scalalandio / chimney
Scala library for boilerplate-free, type-safe data transformations
maximecb / noisecraft
Browser-based visual programming language and platform for sound synthesis.
composewell / streamly
High performance, streaming and concurrent functional programming in Haskell
jenetics / jenetics
Jenetics - Genetic Algorithm, Genetic Programming, Grammatical Evolution, Evolutionary Algorithm, and Multi-objective Optimization
softwaremill / magnolia
Easy, fast, transparent generic derivation of typeclass instances
NucleoidAI / Nucleoid
Synthesized Logic Language for World Models 🌱🐋🌍
ichiban / prolog
The only reasonable scripting engine for Go.
google / pyglove
Manipulating Python Programs
google / edward2
A simple probabilistic programming language.
aimclub / FEDOT
Automated modeling and machine learning framework FEDOT
QuantClimate / GPJax
Gaussian processes in JAX and Equinox.
cvxgrp / scs
Splitting Conic Solver
prove-rs / z3.rs
Rust bindings for the Z3 solver.
cvanaret / Uno
With Uno, finally take full control of your SQP/barrier solver for nonlinearly constrained optimization
djeada / Algorithms-And-Data-Structures
A collection of 100+ projects in C++ and Python that implement various data structures and algorithms. The projects are organized by language and topic, and include detailed explanations and examples to help you understand how they work.
Flow-IPC / ipc
[Start here!] Flow-IPC - Modern C++ toolkit for high-speed inter-process communication (IPC)
li2396803 / cumcm2026
2026 高教社杯全国大学生数学建模竞赛 A/B/C 三题合集：完整建模、求解、多方法检验与一键复现（含三份 PDF 说明文档、全部源码/结果与复现脚本）
Daemon125 / hello
Hello World in C: a minimal, well-documented example program for learning C, with a Makefile, man page, install guide, test suite, and cross-platform CI.
songyang0603 / ds-spec-loop
Portable Agent Skill for repository-native Spec programming, informed by public DeepSeek Harness engineering patterns.
the0cp / beatflow-skill
AI music composition skill with a Python DSL, musical diagnostics, and deterministic multi-track MIDI rendering.
boostorg / beast
HTTP and WebSocket built on Boost.Asio in C++11
TuringLang / Turing.jl
Bayesian inference with probabilistic programming.
triska / the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
souffle-lang / souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
malgaroshy-maker / factoryforge
A free, open 3D factory simulator for learning PLC programming. Write ladder or SCL in TIA Portal, OpenPLC, Node-RED or Ignition and watch it drive a Godot 4.7 physics factory. Verified against a real S7-1500. MIT.