Search Results for "solver" - Page 6
Sort By:
Showing 475 open source projects for "solver"
View related business solutions-
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.
-
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.
-
1
SoDiOpt
A numerical solver for optimization-constrained differential equations
SoDiOpt is a MATLAB-based code that performs numerical integration of Optimization-Constrained Differential Equations (OCDE). SoDiOpt provides efficient numerical solution of OCDE by using the optimality-based solution method. A sequence of DAE systems are generated and classical index-1 DAE simulator is applied to solve the derived DAE systems. -
2
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. -
3
Nonlinear Schrödinger equation (NSE) is a fundamental equation in nonlinear optics that describes the propagation of a pulse through a dispersive and nonlinear medium. Nonlinear Pulse Propagation Solver (NPP) is a program, written in C/C++, that solves NSE in an arbitrary waveguide. It has a user friendly interface, which allows a user to enter the pulse and waveguide parameters and execute simulations. The program can be invoked within MATLAB and any other scripting language. It can export the results in different formats including ASCII text “.txt” and MATLAB “.mat” format. ...
-
4
Win-Brash
A Windows Native Bourne Shell Interpreter
Win-Brash is a recoding, from scratch, of the Bourne shell as a native Microsoft Windows multi-threaded command line application. It uses Bourne shell syntax but recognizes Windows file names. The TAB key helps convert Unix style pathnames to fully valid windows pathnames. It also adds missing backslashes -- to reduce the need to always type two. For Documentation see: http://www.bordoon.com/brash To give brash.exe a try, use the download link to get winbrash-1.2.16.zip. Unzip... -
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.
-
5
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. -
6
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. -
7
QSS Solver
Modeling and simulation tool for continuous and hybrid systems.
UPDATE: ----------- This repository is no longer maintained, the new version of the QSS Solver is available at: https://github.com/CIFASIS/qss-solver -
8
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. ... -
9
OpenHAM
Open source heat, air and moisture transport model
*WARNING*: Development on SF discontinued, moved to https://github.com/ghorwin/OpenHAM. An open source transport model implementation for heat, air and moisture transport in porous media. Console-based, cross-platform solver with bindings to pre- and postprocessing software. A reference implementation for the EN 15026 standard. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
10
Potassco, the Potsdam Answer Set Solving Collection bundles tools for Answer Set Programming developed at the University of Potsdam, among them, the answer set solver clasp, the grounder gringo, and their combination clingo.
-
11
Emmanuelle
Solver for some games
that is no know now. -
12
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. -
13
DMFT+DMRG
DMFT and cellular-DMFT code
DMFT and cellular-DMFT code for the multiband Hubbard model in different lattices using DMRG as impurity solver -
14
Nifty Sim is a high-performance nonlinear finite element solver, developed at University College London. A key feature is the option of GPU-based execution, which allows the solver to significantly out-perform equivalent commercial packages.
-
15
jalicanto
Traveling Salesman Problem "window time based" aproximate solver
Time based Traveling salesman problem solver. Using iterated local search algorithm, implements xkick perturbation Programmed in Java. A class to use the TSP Suite(Thomas Weise, Raymond Chiong, J ¨org L¨assig, Ke Tang, Shigeyoshi Tsutsui, Wenxiang Chen, Zbigniew Michalewicz, Xin Yao, Benchmarking Optimization Algorithms: An Open Source Framework for the Traveling Salesman Problem. 2014.),is implemented. -
16
High Speed Parallel Imaging (HSPI)
HSPI does parallel capture and sky surveys.
HSPI offers to the astronomer the possibility to capture pictures from the CCD camera in a fast and intuitive way, keeping under control all the instrumentation in posses. HSPI can control the CCD camera, the mount, the focuser, the filter wheel and the dome from a single interface, and not only this: these features can be added on as many observatories and instrumentations you want. HSPI is ASCOM and INDI compatible, so if you want to use particular setups like Linux computers connected... -
17
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. -
18
RAtom
solves nonlinear Kohn-Sham equation for the neutral atom.
...Disctretization leads to generalized eigenvalue problem, which is solved by procedures from LAPACK libraries. The program is implemented in C++, it runs as a single thread. The implemented algorithm is described in the following papers: 1. Z. Romanowski, "Adaptive solver of a Kohn-Sham equation for an atom", Modelling Simul. Mater. Sci. Eng. vol. 17, 045001 (2009) 2. Z. Romanowski, "Application of h-adaptive, high order finite element method to solve radial Schrödinger equation", Molecular Physics, vol. 107, pp. 1339-1348 (2009). Further questions: romz@wp.pl -
19
CQU
Decision solver for Counting Quantifiers over Unary Predicates
---------------- cqusat 1.0 ---------------- cqusat is a conbstraint solver decides the satisfiability of a set of sentences containing Counting Quantifiers over Unary predicates. It also accepts Universally quantifies sentences over unary predicates, which are presented in the form of propositional clauses (classical Boolean logic clauses). This implementation employs minisat as the SAT solver. -
20
Soduku-Solver
Soduku Solver solves 6x6 soduku of easy and medium level.
Soduku solver V 1.0 is Open Source project which solves the 6x6 Soduku problem of easy and medium level. It is a Open Source project which is available in github repository and this project welcome each contributor which helps to make this project better. Keywords : soduku solver , solve the soduku , soduku 6*6 , soduku 6x6 , solve my soduku problem , amazing software , artificial intelligence , best software , top software -
21
Ulambator
boundary element based flow solver for microfluidics
Ulambator solves the depth-averaged Stokes equations using a boundary element method. The combination of both reduces the discretization effort from 3D to 1D. Hence the flow solver is well adapted to free interface flows in shallow geometries. The manual and tutorial codes are still being extended. New functions will be made available. For more user information please check http://lfmi.epfl.ch/ulambator -
22
OpenFVM is a general open source three-dimensional Computational Fluid Dynamics (CFD) solver (for Linux and Windows). It uses the unstructured finite volume method to simulate non-isothermal transient flow. Gmsh is used for pre- and post- processing.
-
23
Virtual Nodes Parallelization for MicroModelica models. This tool performs Virtual Nodes Parallelization on a given MicroModelica model for being simulated in QSS Solver. The objective is to reduce the error introduced by simulating large-scaled models in parallel on QSS Solver simulating tool. This is done through redundant computations on certain state variables of the model. These redundant computations are called Virtual Nodes.
-
24
Nigma
A CDCL SAT solver with partial backtracking
-
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.
