Search Results for "solver"
Sort By:
Showing 63 open source projects for "solver"
View related business solutions-
Build Securely on AWS 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.
-
Level Up Your Cyber Defense with External Threat ManagementMove beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
-
1
Forget about sleepless nights over textbooks! Solver is an application that solves equations quickly and easily. • Solve equations of any type — from linear to the fourth degree. • Save time and effort — you won't have to learn anything else. • Import and export data — work with equations from files and save solutions in the desired format. Don't miss the chance to make learning math simple and effective!
-
2
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
... 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
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. -
4
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... -
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.
-
5
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... -
6
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. -
7
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... -
8
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 -
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... -
Photo and Video Editing APIs and SDKsUnlock Picsart's full editing suite by embedding our Editor SDK directly into your platform. Offer your users the power of a full design suite without leaving your site.
-
10
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... -
11
RSM
Radiation Spectrum Method : a modal BPM (Beam Propagation Method)
RSM (Radiation Spectrum Method) is a 2D rigorous tool to solve the Maxwell equations for the propagation of light in integrated optics or photonics devices. It makes use of an eigenmode expansion method to solve the electromagnetic problem. This software running on Windows and MacOS comes with a GUI that permits to define with the aid of files or scripts the arbitrary and complex geometry of the waveguide. Of that way any waveguide geometry can be handled. Several plots are available :... -
12
Code_TYMPAN
Open source software calculating industrial noise in the environment
Code_TYMPAN™ is an open source software for 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... -
13
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 -... -
14
Yet Another Python Sudoku puzzle game
A Sudoku puzzle game
A Sudoku puzzle game written in python, also using wxPython and pyGame. -
15
JumbleGame
A word puzzle game with a set of words scrambled.
A word puzzle game with a set of words, each of which is “jumbled” or scrambled. A solver answers the scrambled word with the correct word, and can also request for a hint -
16
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. -
17
Zat 1.0
Fast N-SAT solver for Windows 10
Zat is an Onagan project. It is a very fast sat solver for .cnf, .dimacs, ... Zat is an O(n^log(n)) time complexity algorithm, which is faster than O((1+e)^n) for e strictly positive. The space complexity is O(n). The version 1.0 is exclusively for Windows 10. -
18
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
19
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. Observer shift... -
20
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... -
21
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. -
22
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. -
23
GMES
GMES is a free Python package for FDTD electromagnetic simulations.
... Equations Solver. -
24
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. -
25
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.