PostHog / posthog
:hedgehog: PostHog is the leading platform for building self-driving products. Our developer tools – AI observability, analytics, session replay, flags, experiments, error tracking, logs, and more – capture all the context agents need to diagnose problems, uncover opportunities, and ship fixes. Steer it all from Slack, web, desktop, or the MCP.
bup / bup
Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Please post problems or patches to the mailing list for discussion (see the end of the README below).
perixtar / Tech-OA-Interview-Questions
Daily updated list of Tech Company OAs and Interview Problems. Save your time from finding them all over the internet.
QuipNetwork / xquad
A hardware-agnostic SDK for optimization problems: define a problem once, then lower it to any quantum or classical solver
EMI-Group / evox
Distributed GPU-Accelerated Framework for Evolutionary Computation. Comprehensive Library of Evolutionary Algorithms & Benchmark Problems.
Pyomo / pyomo
An object-oriented algebraic modeling language in Python for structured optimization problems.
pnnl / neuromancer
Pytorch-based framework for solving parametric constrained optimization problems, physics-informed system identification, and parametric model predictive control.
marcosfede / algorithms
Solved algorithms and data structures problems in many languages
PyCQA / flake8-bugbear
A plugin for Flake8 finding likely bugs and design problems in your program. Contains warnings that don't belong in pyflakes and pycodestyle.
teorth / erdosproblems
A community database for the problems on the erdosproblems.com site
deepinv / deepinv
DeepInverse: a PyTorch library for solving imaging inverse problems using deep learning
simpeg / simpeg
Simulation and Parameter Estimation in Geophysics - A python package for simulation and gradient based parameter estimation in the context of geophysical applications.
dynamicslab / hydrogym
An RL-Gym for Challenge Problems in Data-Driven Modeling and Control of Fluid Dynamics.
PyLops / pylops
PyLops – A Linear-Operator Library for Python
sghwr / AutoMM
A agent-driven& human-friendly MM-workflow，aiming to autonomously solve math modeling problems and alleviate painful version control issues.
Deployment-inc / Deployment.inc-Hiring-Problems
Deployment.inc puts engineers inside enterprises to take AI from demo to production. That job is not "make the model smarter." It is: hit a number under a budget, on someone else's data, with a security team watching, and explain to a business owner why the number is what it is.
azizu06 / ai-coding-interview-practice
Practice the AI-assisted coding interview format with your own coding agent: ten problems with planted bugs, stubs, timed tests, and an interviewer prompt
bespokelabsai / conjecture-bench
15k open math problems, linked to their sources.
Swapnil-jain / integer-mult-kappa
Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks
s3rville / serv-s-quick-video-clip-editor-sqvce-
[OPEN SOURCE] Cut, trim, merge video clips quickly with ease without launching a heavy program. Made for memes, gaming clips and similar basic use cases. Tired of not having a reliable program to do tasks that should take seconds? This is the answer for all of your problems. I made it for myself and everyone else too. Enjoy.