Search Results for "solver"
Sort By:
Showing 51 open source projects for "solver"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
Simple, Secure Domain RegistrationRegister or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
-
1
POT
Python Optimal Transport
This open source Python library provides several solvers for optimization problems related to Optimal Transport for signal, image processing and machine learning. -
2
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments. -
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
Rubik's Cube Solver
3x3x3 Rubik's Cube solver
A sophisticated, cross-platform Rubik's Cube simulator and solver built with Python, PyQt5, and OpenGL. This application combines elegant 3D visualization with powerful solving capabilities, offering both casual users and cube enthusiasts a feature-rich environment for exploring and solving Rubik's cubes. -
Our Free Plans just got better! | Auth0You 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.
-
5
Fosite - advection problem solver
numerical simulation code for solving transport equations in 1D/2D/3D
Fosite is a generic framework for the numerical solution of hyperbolic conservation laws in generalized orthogonal coordinates. Its main purpose is the simulation of compressible flows in accretion disks. The underlying numerical solution method belongs to the family of unsplit conservative finite volume TVD schemes. The method is 2nd order accurate in space and uses high order Runge-Kutta and multistep schemes for time evolution. In addition to the pure advection code several source terms... -
6
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 -
7
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 loosely viewed as a variational autoencoder with its prior and approximate posterior being SDEs. ... -
8
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by the Portuguese Renato Alexandre dos Santos Freitas. Also author of... -
9
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... -
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
Code_TYMPAN
Open source software calculating industrial noise in the environment
...It allows dealing with 3D realistic geometries and has a convenient Human Machine Interface to help engineers to build 3D models and to achieve analysis needed in environmental noise studies. Code_TYMPAN™ allows developing your own calculation method from basic components and geometrical solvers. It includes a solver based on ISO 9613 extended to industrial applications. In 4.2.x version, a Python API allows advanced users to build and solve models programmatically. By this mean, developers have the capability of building new tools with acoustic features with high productivity. -
11
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 -... -
12
Yet Another Python Sudoku puzzle game
A Sudoku puzzle game
A Sudoku puzzle game written in python, also using wxPython and pyGame. -
13
GoodByeCatpcha
Solver ReCaptcha v2 Free
An async Python library to automate solving ReCAPTCHA v2 by images/audio using Mozilla's DeepSpeech, PocketSphinx, Microsoft Azure’s, Google Speech and Amazon's Transcribe Speech-to-Text API. Also image recognition to detect the object suggested in the captcha. Built with Pyppeteer for Chrome automation framework and similarities to Puppeteer, PyDub for easily converting MP3 files into WAV, aiohttp for async minimalistic web-server, and Python’s built-in AsyncIO for convenience. -
14
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
15
Volunteer workshift scheduler
Volunteer workshift scheduler for a helpline service
Code written in Python finds the best possible schedule for volunteers while incorporating constrains and special requirements using CP-SAT Solver (Constraint Programming - boolean SATisfiability problem Solver). Java version is in development. The problem Arranging volunteers for a helpline service for the period of one month. There are three types of work that could be done on the same day: Phone shift: Every day. Chat shift: Mondays and Wednesdays. ... -
16
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. -
17
anaGo
Bidirectional LSTM-CRF and ELMo for Named-Entity Recognition
anaGo is a Python library for sequence labeling(NER, PoS Tagging,...), implemented in Keras. anaGo can solve sequence labeling tasks such as named entity recognition (NER), part-of-speech tagging (POS tagging), semantic role labeling (SRL) and so on. Unlike traditional sequence labeling solver, anaGo doesn't need to define any language-dependent features. Thus, we can easily use anaGo for any language. In anaGo, the simplest type of model is the Sequence model. Sequence model includes essential methods like fit, score, analyze and save/load. For more complex features, you should use the anaGo modules such as models, preprocessing and so on. -
18
PyMathProg
An easy and flexible mathematical programming environment for Python.
PyMathProg is a Python reincarnation of AMPL and GNU MathProg modeling language, implemented in pure Python, connecting to GLPK via swiglpk. Create, optimize, report, change and re-optimize your model with Python, easily integrate database, plotting, etc. -
19
GMES
GMES is a free Python package for FDTD electromagnetic simulations.
...Its features include simulation in 1D, 2D, and 3D Cartesian coordinates, distributed memory parallelism on any system supporting the MPI standard, portable to any Unix-like system, variuos dispersive ε(ω) models, CPML absorbing boundaries and/or Bloch-periodic boundary conditions, and arbitrary material and source distributions. GMES officially stands for GIST Maxwell’s Equations Solver. -
20
Mathpad
A Python based command line math utility.
Mathpad is a command line utility. It will later have a GUI, but not at this time. -
21
KEMP
A FDTD solver for electromagnetic wave simulations on a GPU cluster
KEMP is a fast FDTD solver on a GPU-based cluster. The FDTD (Finite-Difference Time-Domain) method is a popular numerical method for electromagnetic field simulations. KEMP enables hardware accelerations suitable for multi-GPU, multi-core CPU and GPU cluster. KEMP also provide easy configuration by using Python scripting language. -
22
allink
Software for data analysis, image processing, simulations, solver.
...Addraw) openGL engine. ElPoly) analyze mechanical properties of polymer and membrane like structures. Addyn) perform molecular dynamics and Monte Carlo simulations and has a solver for 4th oder PDE. Avvis) perform all the operation of Matematica on different sets of data visualized on a Qt graphical interface. DrImage) image manipulation on the Matematica filters. The program is intended to use as less as possible external libs (optional: openGL, gsl, fftw, cgal, png, tiff, boost, MPI, Qt...). -
23
-
24
PyDQP
Distributed QP Solver in Python
PyDQP implementes 11 different dual decomposition schemes, both first and second order, in order to solve quadratic programs in a distributed fashion. -
25