Explore Projects
Discover 49 open source projects
Showing 1-20 of 49 projects
Z3Prover/z3
The Z3 Theorem Prover is a powerful open-source SMT solver used for program verification and analysis.
NopeCHALLC/nopecha-extension
Automated CAPTCHA solver for your browser, supporting a wide range of CAPTCHA types.
dessant/buster
Captcha solver extension for humans, available for Chrome, Edge and Firefox
autoscrape-labs/pydoll
Pydoll is a Python library for automating chromium-based browsers without a WebDriver, offering realistic interactions.
rtqichen/torchdiffeq
Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.
ProjectPhysX/FluidX3D
A high-performance GPU-accelerated fluid dynamics simulation library for scientific computing and visualization.
ceres-solver/ceres-solver
A large-scale non-linear optimization library for computer vision and other scientific applications.
mandiant/flare-floss
Automatically extracts obfuscated strings from malware using FLARE Obfuscation Solver
apache/incubator-kie-optaplanner
A Java-based AI constraint solver for optimizing vehicle routing, employee rostering, and other planning problems.
PythonOT/POT
Python library for optimal transport and related problems, useful for machine learning tasks.
yuanming-hu/taichi_mpm
High-performance MLS-MPM solver for graphics and simulation applications.
coin-or/pulp
A Python library for solving linear programming and mixed integer programming problems.
sarperavci/CloudflareBypassForScraping
A Python script that bypasses Cloudflare's verification to enable web scraping.
rust-lang/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver.
patrick-kidger/diffrax
Numerical differential equation solvers in JAX, with autodifferentiation and GPU support.
rlguy/Blender-FLIP-Fluids
A Blender addon that enables high-quality liquid fluid simulation and rendering within the Blender 3D creation suite.
tum-pbs/PhiFlow
A differentiable PDE solving framework for machine learning tasks that leverage fluid simulations.
eigenteam/eigen-git-mirror
A high-performance C++ linear algebra library focused on solvers, sparse matrices, and numerical computing.
LuChengTHU/dpm-solver
Official code for a fast ODE solver for diffusion probabilistic model sampling in 10 steps
google-research/torchsde
Differentiable SDE solvers with GPU support and sensitivity analysis
Stay in the loop
Get weekly updates on trending AI coding tools and projects.