Showing 694 open source projects for "solver"

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

    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 secuirty. Auth0 now, thank yourself later.
    Try free now
  • Bright Data - All in One Platform for Proxies and Web Scraping Icon
    Bright Data - All in One Platform for Proxies and Web Scraping

    Say goodbye to blocks, restrictions, and CAPTCHAs

    Bright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
    Get Started
  • 1
    Coluna.jl

    Coluna.jl

    Branch-and-Price-and-Cut in Julia

    Coluna is a branch-and-price-and-cut framework written in Julia. You write an original MIP that models your problem using the JuMP modeling language and our specific extension BlockDecomposition offers a syntax to specify the problem decomposition. Then, Coluna reformulates the original MIP and optimizes the reformulation using the algorithms you choose. Coluna aims to be very modular and tweakable so that you can define the behavior of your customized branch-and-price-and-cut algorithm.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    WALA

    WALA

    Libraries for Analysis, with frontends for Java, Android, and JS

    The T. J. Watson Libraries for Analysis (WALA) provide static analysis capabilities for Java bytecode and related languages and for JavaScript. The system is licensed under the Eclipse Public License, which has been approved by the OSI (Open Source Initiative) as a fully certified open-source license. The initial WALA infrastructure was independently developed as part of the DOMO research project at the IBM T.J. Watson Research Center. In 2006, IBM donated the software to the community. The...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    LinearSolve.jl

    LinearSolve.jl

    High-Performance Unified Interface for Linear Solvers in Julia

    LinearSolve.jl is a unified interface for the linear solving packages of Julia. It interfaces with other packages of the Julia ecosystem to make it easy to test alternative solver packages and pass small types to control algorithm swapping. It also interfaces with the ModelingToolkit.jl world of symbolic modeling to allow for automatically generating high-performance code. Performance is key: the current methods are made to be highly performant on scalar and statically sized small problems...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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 programming...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Email and SMS Marketing Software Icon
    Email and SMS Marketing Software

    Boost Sales. Grow Audiences. Reduce Workloads.

    Our intuitive email marketing software to help you save time and build lasting relationships with your subscribers.
    Learn More
  • 5
    GeneticSharp

    GeneticSharp

    GeneticSharp is a fast, extensible, multi-platform and multithreading

    GeneticSharp is a fast, extensible, multi-platform and multithreading C# Genetic Algorithm library that simplifies the development of applications using Genetic Algorithms (GAs). Can be used in any kind of .NET 6, .NET Standard and .NET Framework apps, like ASP .NET MVC, ASP .NET Core, Blazor, Web Forms, UWP, Windows Forms, GTK#, Xamarin, MAUI and Unity3D games. GeneticSharp and extensions (TSP, AutoConfig, Bitmap equality, Equality equation, Equation solver, Function builder, etc). A Blazor...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    noCaptcha Chrome Extension

    noCaptcha Chrome Extension

    noCaptcha Captcha Solver for Chrome

    noCaptcha Chrome Extension Automated hCAPTCHA, reCapctha, OCR captcha CAPTCHA solver Service API solution Ai based Captcha Solution Powered by noCaptchaAi.com
    Downloads: 3 This Week
    Last Update:
    See Project
  • 8
    Given a partially filled 9×9 2D array, the goal is to assign digits (from 1 to 9) to the empty cells so that every row, column, and sub grid of size 3×3 contains exactly one instance of the digits from 1 to 9.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    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
  • Cloudflare secures and ensures the reliability of your external-facing resources such as websites, APIs, and applications. Icon
    Cloudflare secures and ensures the reliability of your external-facing resources such as websites, APIs, and applications.

    Cloudflare is the foundation for your infrastructure, applications, and teams.

    It protects your internal resources such as behind-the-firewall applications, teams, and devices.
    Get Started
  • 10
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Equation Math Solver

    Equation Math Solver

    Equation Math Solver

    Equation Solver is a piece of software designed to help you execute second (a*x^2+b*x+c=0) and first (b*x+c=0) degree equations, along with simple linear systems (a1*x+b1*y+c1=0 and a2*x+b2*y+c2=0). It doesn't come packed with complicated options or configuration parameters, making it accessible to math students who don't have heavy PC experience. My blog: https://vegettadbz.blogspot.com/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Equation Solver

    Equation Solver

    Program that can solve any equation for real root/s

    Program written in Delphi which uses two components available in the source code. The program is now fully functional; however, it was originally written to test the two components.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    Open Tax Solver

    Open Tax Solver

    Calculates income tax form entries, helps do your taxes.

    OTS is a safe, secure, easy-to-use program for calculating Tax Return Form entries, and determining your tax-owed or refund-due, for Federal or State personal income taxes. Includes updated versions for US 1040, Schedules A, B, C, D, and for several states. OTS provides both graphical and textual interfaces for quickly filing out your tax forms.
    Leader badge
    Downloads: 97 This Week
    Last Update:
    See Project
  • 15
    Local-search based solver of Constraint Satisfaction and Optimization Problems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    EEC Solver is an app for the HP Prime calculator. It can be used to solve AC or DC circuits with linear and non-linear elements.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 17

    TAS: Task assignment solver

    Task assignment solver

    Optimal task assignment problem solver for n tasks and m resources. Includes a Lua and a Python version of "Munkres' task assignment algorithm modified for rectangular matrices" by Robert Pilgrim in 1995 [https://www.researchgate.net/publication/290437481_Tutorial_on_Implementation_of_Munkres%27_Assignment_Algorithm], a Lua object-oriented programming version of the same program in the corresponding folder, and examples from Brian Clapper [https://pypi.org/project/munkres/#files].
    Downloads: 4 This Week
    Last Update:
    See Project
  • 18
    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 automatically...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Binary Analysis Platform

    Binary Analysis Platform

    Binary Analysis Platform

    ... conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. The toolkit repository includes various examples of program analysis tools that could be implemented with BAP and can be used as the starting point (in addition to the tutorial) for implementing custom analyses. BAP can be used as a framework with a single bap utility that is extended with plugins or it can be used as a library embedded in a user application, which could be written in OCaml.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    Liquid rocket engine parameter solver

    This is the liquid rocket engine parameter solver Alpha release 1.

    This is the liquid rocket engine parameter solver Alpha release 1 which is the first version for this project. This first version will help to find thrust values by giving some values to the system
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    astap program

    astap program

    Stacking program, astrometric (plate) solver, fits file viewer

    ASTAP, Astrometric STAcking Program, astrometric solver and FITS image viewer. This program can view, measure, "astrometric (plate) solve" and stack deep sky images. Main features: - Stacking of astronomical images including dark frame and flat field correction - Native fast astrometric (plate) solver. - Alignment using an internal star match routine, internal Plate Solver, manual or ephemeris. - FITS viewer with swipe functionality, deep sky and star annotation...
    Leader badge
    Downloads: 2,207 This Week
    Last Update:
    See Project
  • 22

    HiSA

    High speed aerodynamic CFD solver

    Code repository hosted at https://gitlab.com/hisa/hisa
    Leader badge
    Downloads: 209 This Week
    Last Update:
    See Project
  • 23
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    GNU Prolog

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
    Leader badge
    Downloads: 127 This Week
    Last Update:
    See Project
  • 25
    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: 81 This Week
    Last Update:
    See Project