Search Results for "solver"
Sort By:
130 projects for "solver" with 1 filter applied:
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
Poetiq
Reproduction of Poetiq's record-breaking submission to the ARC-AGI-1
poetiq-arc-agi-solver is the open-source codebase from Poetiq that replicates their record-breaking submission to the challenging benchmark suite ARC-AGI (both ARC-AGI-1 and ARC-AGI-2). The project demonstrates a system that orchestrates large language models (LLMs) — like those from major providers — with carefully engineered prompting, reasoning workflows, and dynamic strategies, to tackle the abstract, logic-heavy problems in ARC-AGI. -
2
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. --- Best way to download the correct version for your platform -- go to the OTS WEBSITE: =====> ... -
3
Evals
Evals is a framework for evaluating LLMs and LLM systems
...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 completion functions, manage prompts, wrap retries or error handling, and register new evaluation types. It also maintains a growing registry of standard benchmarks or “evals” that users can reuse (for example, tasks measuring reasoning, factual accuracy, or chain-of-thought capabilities). ... -
4
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... -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
SkytilsMod
Skytils is a Hypixel Skyblock mod
...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 puzzle support and notifications for specific spawns or conditions, which can reduce friction in time-sensitive gameplay. The mod also includes interface enhancements, including customizable visual elements that make important combat or environment signals easier to read. Because the project is popular enough to attract malicious copies, its ecosystem stresses safe sourcing and verification, reflecting how widely used it is in the community. -
6
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. -
7
DPM-Solver
Fast ODE Solver for Diffusion Probabilistic Model Sampling
...The project introduces a specialized numerical solver designed to approximate the diffusion process using a small number of high-order integration steps. By reformulating the sampling problem as the solution of a diffusion-related ordinary differential equation, the solver can produce high-quality samples much more efficiently. This approach significantly reduces the computational cost required to generate images while maintaining strong generation quality. -
8
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
9
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).
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
Sudoku for Eclipse
A free and open source sudoku game for addicts to newbies
...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 -
11
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. -
12
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. -
13
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... -
14
Yet Another Python Sudoku puzzle game
A Sudoku puzzle game
A Sudoku puzzle game written in python, also using wxPython and pyGame. -
15
ViennaSHE is a modern semiconductor device simulator for 1D, 2D and 3D device simulation. It relies on deterministic solutions of the Boltzmann Transport Equation using Spherical Harmonics Expansions.
-
16
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
17
JNIZ music notation audio to midi
music composition and notation software, audio to midi converter
The Jniz project is stopped. The new Web version is now JnizWeb hosted on Gitlab (under construction): https://gitlab.com/jniz70/jnizweb/ Demo: https://jniz70.gitlab.io/jnizweb/ Jniz is a piece of software designed for musicians as a support tool to the musical composition. It allows you to build and to harmonize several voices according to the rules of classical harmony. Sound/audio-to-Midi converter: real-time conversion of any monophonic sound (voice, instrument etc.) into... -
18
F3DM
Finite Element Method on 3D Meshes
...The minimization is parallelized with OpenMP. Three main features in unstable 1.8.x version (available via GIT): quadratic elements, periodic boundary conditions, and the solver for scalar and electromagnetic wave equations. f3dmgeom is a collection of a few simple tools for creating surface meshes for tetgen. It can handle simple geometries only. -
19
Sudoku-Tk
Sudoku games and puzzle solver
Play and solve sudoku puzzles. Start from an empty grid, generate a puzzle or load one. The game is timed. The generated puzzles have a unique solution. Mistakes (twice the same number on the line / column / row) are highlighted in red. -
20
TSP Solver and Generator
Generate and solve Travelling Salesman Problem tasks
TSPSG is intended to generate and solve Travelling Salesman Problem (TSP) tasks. It uses Branch and Bound method for solving. An input is a number of cities and a matrix of city-to-city travel prices. The matrix can be populated with random values in a given range (useful for generating tasks). The result is an optimal route, its price, step-by-step matrices of solving and solving graph. The task can be saved in internal binary format and opened later. The result can be printed or saved as... -
21
SLAM++
high-performance nonlinear least squares solver for graph problems
SLAM++ is a minimalist implementation of incremental nonlinear least squares, containing lighting fast implementation of linear algebra on sparse block matrices. It is aimed for use in 3D reconstruction or robotics. -
22
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are provided. ... -
23
BioFVM
3-D diffusion solver for biological problems
BioFVM is an open source diffusive transport solver for biological problems. It can solve for the diffusion of tens or hundreds of substrates on large 3-D domains. For simplicity, the code has minimal external dependencies. BioFVM was first published in: A. Ghaffarizadeh, S.H. Friedman, and P. Macklin. BioFVM: an efficient, parallelized diffusive transport solver for 3-D biological simulations. -
24
Coffee-Physics
A simple, lightweight physics engine written in CoffeeScript
...Because it is lightweight, it integrates easily with 2D renderers like Canvas or WebGL, and it is popular in generative art sketches and interactive experiments. The codebase emphasizes readability and hackability so learners can modify the solver, add new behaviors, or swap integrators without wading through engine internals. It’s ideal when you want expressive motion and playful dynamics rather than full rigid-body simulation. -
25
ICE (Interval Calculator for Engineer)
Interval Calculator for Engineer
ICE is a simple mathematical calculator with very useful shortcuts for Engineer: works natively with tolerance, can run Monte Carlo analysis, uses engineer notation, includes most of the day by day functions used by engineers.
