Showing 233 open source projects for "open solver"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • 1
    SkytilsMod

    SkytilsMod

    Skytils is a Hypixel Skyblock mod

    SkytilsMod is a utility-focused Minecraft mod built to enhance the Hypixel SkyBlock experience by adding quality-of-life improvements, overlays, and gameplay helpers tailored to common SkyBlock activities. It concentrates on practical in-game information and automation conveniences, helping players make faster decisions during dungeons, events, and routine grinding without constantly switching to external tools. A major emphasis is on “solver” style helpers and situational alerts, such as...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    Diffrax

    Diffrax

    Numerical differential equation solvers in JAX

    Diffrax is a numerical differential equation solving library built for the JAX ecosystem, with a strong focus on composability, differentiability, and high-performance scientific computing. The project provides tools for solving ordinary differential equations, stochastic differential equations, controlled differential equations, and related systems in a way that fits naturally into modern machine learning and differentiable programming workflows. Because it is written to work closely with...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    ParallelStencil.jl

    ParallelStencil.jl

    Package for writing high-level code for parallel stencil computations

    ParallelStencil empowers domain scientists to write architecture-agnostic high-level code for parallel high-performance stencil computations on GPUs and CPUs. Performance similar to CUDA C / HIP can be achieved, which is typically a large improvement over the performance reached when using only CUDA.jl or AMDGPU.jl GPU Array programming. For example, a 2-D shallow ice solver presented at JuliaCon 2020 [1] achieved a nearly 20 times better performance than a corresponding GPU Array...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Sokoban Solver Statistics

    Sokoban Solver Statistics

    Statistics for the best Sokoban solver programs

    This project presents statistics for the best Sokoban solver programs. Additionally, it features a Sokoban program for playing the game.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 5

    bridge studio

    bridge double dummy solver. Preferance problems solver

    This program is fast and powerful solver of bridge double dummy problems. Working with pbn and deepFinesse files, store problems to html. There is big library of dd problems presented.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 6
    festival3os

    festival3os

    mods to the Festival sokoban solver to run on OSX + Win + linux

    Mods to the Festival sokoban solver that allow building on OSX, Linux, & Windows
    Downloads: 18 This Week
    Last Update:
    See Project
  • 7
    XFLR5

    XFLR5

    XFLR5 is an analysis tool for airfoils, wings and planes

    xflr5 is a potential flow solver with built-in pre- and post- processing functionalities.
    Leader badge
    Downloads: 1,384 This Week
    Last Update:
    See Project
  • 8
    CAPTCHA Solver for Chrome - CAPTCHAs.IO

    CAPTCHA Solver for Chrome - CAPTCHAs.IO

    The fastest and most stable captcha solving service API provider!

    CAPTCHAs.IO The most stable and fast captcha solver service online. CAPTCHAs.IO is the fastest and most stable captcha solving service API provider in the Internet. Now with the Chrome browser they wish to expand their service by this extension. How it works? The extension will automatically detect captchas with in the page but you will have to select the correct CAPTCHA IMAGE and the correct CAPTCHA FIELD then REFRESH the browser for the service to solve the captcha...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    hbox

    hbox

    Sokoban solver written in Ada

    This is a commandline-terminal sokoban solver written in Ada. It is "generic" in the sense that it contains no domain specific strategies. It also provides a demonstration of the incredible power of the Hungarian Algorithm. The proper command to extract the archive and maintain the directory structure is "7z x filename".
    Downloads: 6 This Week
    Last Update:
    See Project
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 10
    AntTSP

    AntTSP

    Traveling Salesman Problem (TSP) Solver

    Fast Ant Colony Optimization TSP Solver
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Evals

    Evals

    Evals is a framework for evaluating LLMs and LLM systems

    The openai/evals repository is a framework and registry for evaluating large language models and systems built with LLMs. It’s designed to let you define “evals” (evaluation tasks) in a structured way and run them against different models or agents, with the ability to score, compare, and analyze results. The framework supports templated YAML eval definitions, solver-based evaluations, custom metrics, and composition of multi-step evaluations. It includes utilities and APIs to plug in...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    JSoko

    JSoko

    The Sokoban game implemented in Java.

    JSoko is a Java program for playing the Sokoban game. It features path finding, auto push, auto solving, undo/redo, deadlock detection, and more.
    Leader badge
    Downloads: 28 This Week
    Last Update:
    See Project
  • 13
    YACS (Yet Another Constraint Solver) is a Java library and an object-oriented framework for constraint solvers. It supports propagating and solving of constraint satisfaction problems with finite and infinite domains (discrete values and real intervals).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Minsky

    Minsky

    System dynamics program with additional features for economics

    Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at...
    Leader badge
    Downloads: 38 This Week
    Last Update:
    See Project
  • 15
    HEXA Structures

    HEXA Structures

    HEXA Structures is an application for structural engineering

    HEXA Structures is an open-source desktop application for structural modeling and analysis. Built with PySide6, PyVista and Python, it lets engineers create nodes, beams, supports, materials, sections, loads and load combinations through a graphical interface. PyNite is the default solver, with optional OpenSeesPy support for advanced workflows. The project includes Eurocode-oriented data such as EC2 concrete materials, EC3 steel grades, European steel profiles and French National Annex constants. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Sudoku for Eclipse

    Sudoku for Eclipse

    A free and open source sudoku game for addicts to newbies

    A Sudoku game. S4E generates endless new grids and may help you to solve them. Play with figures, letters or images, on smaller or bigger grids, play on easy or tricky level... S4E run on Windows and Linux. For Eclipse maniacs it’s available as a plugin for Eclipse. It’s pure Java and of course it’s free. Keywords: free sudoku solver game windows Linux download
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Str8ts Helper

    Str8ts Helper

    Platform independent browser based Str8ts solver

    Str8ts Helper is a browser-based application which helps you by solving Str8ts puzzles. Run on every operating system and also mobile device with a modern web browser which is able to open off-line HTML sites.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Sudoku Helper

    Sudoku Helper

    Platform independent browser based Sudoku solver

    Sudoku Helper is a browser-based application which helps you by solving sudoku puzzles. Run on every operating system and also mobile device with a modern web browser which is able to open off-line HTML sites.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Puzzle Dungeon

    Puzzle Dungeon

    A cell-based puzzle game featuring classic and completely new puzzles

    Puzzle Dungeon is a free-software game that incorporates classic puzzle games like Sokoban, StoneAge, Atomix, The Minotaur and Theseus, Memory, Fifteen, RotatePic, as well as new puzzles. The game uses pygame and pgzero. It should work well on GNU/Linux, Windows and other Operating Systems. Most levels are generated automatically, offering a new experience every time. Pre-created maps are also supported, including classic collections. Players can reload the same level if stuck -...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 20
    RufasSok

    RufasSok

    Sokoban with many families of puzzles provided.

    This is a minimalist version of the Sokoban puzzle game that runs on Windows, OSX, and Linux. The best thing about this game that is different: you can use the built-in solvers a little bit.. Sometimes I want to know the best next move or two, but no more. Other times I want to solve part way and watch the solver step thru the remainder of the solution at whatever speed I choose.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21

    Vanga

    Structure-routed visual compiler: recognize and automate GUIs in YAML

    Vanga reads a screen — live or captured — and resolves it to an action. You describe the interface in plain YAML: tokens are pictures matched under a discipline, lexemes their spatial arrangements, with OCR for the content that changes. On a match it drives the GUI (click, type, route text); the logic turns a recognized screen into what to do — a watched value with prose rules, or a neighbourhood rule table over a tiled grid. The shipped examples are pure grammar, no Java: a calculator...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    ransfoil

    ransfoil

    console to calculate airflow around an airfoil based on RANS approach

    RANSFOIL is a console program to calculate airflow field around an isolated airfoil in low-speed, subsonic, transonic or supersonic regime by numerically solving the Reynolds averaged Navier-Stokes (RANS) equations using mature computational fluid dynamics (CFD) method. As postprocess results, the aerodynamic parameters of the airfoil, e.g., lift coefficient and drag coefficient, can be integrated from the airflow distribution near wall boundary. In addition, the coupling between airflow and...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 23
    DPM-Solver

    DPM-Solver

    Fast ODE Solver for Diffusion Probabilistic Model Sampling

    DPM-Solver is a machine learning research implementation focused on accelerating the sampling process in diffusion probabilistic models used for generative AI tasks. Diffusion models are powerful generative systems capable of producing high-quality images and other data, but traditional sampling methods often require hundreds or thousands of computational steps. The project introduces a specialized numerical solver designed to approximate the diffusion process using a small number of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    PyTorch Implementation of SDE Solvers

    PyTorch Implementation of SDE Solvers

    Differentiable SDE solvers with GPU support and efficient sensitivity

    This library provides stochastic differential equation (SDE) solvers with GPU support and efficient backpropagation. examples/demo.ipynb gives a short guide on how to solve SDEs, including subtle points such as fixing the randomness in the solver and the choice of noise types. examples/latent_sde.py learns a latent stochastic differential equation, as in Section 5 of [1]. The example fits an SDE to data, whilst regularizing it to be like an Ornstein-Uhlenbeck prior process. The model can be...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    SciMLBenchmarks.jl

    SciMLBenchmarks.jl

    Benchmarks for scientific machine learning (SciML) software

    SciMLBenchmarks.jl holds webpages, pdfs, and notebooks showing the benchmarks for the SciML Scientific Machine Learning Software ecosystem.
    Downloads: 4 This Week
    Last Update:
    See Project
Auth0 Logo