119 Open source projects that are alternatives of or similar to rekenaar

A modular sat/smt solver with proof output.

A framework for hydrodynamics explorations and prototyping

Bulirsch-Stoer integration of systems of ordinary differential equations in JavaScript

A Hypixel Skyblock Utilities mod

VISual MAth - an equation solver and visualizer

Simple python library for calculating the modes of electromagnetic waveguides using finite difference frequency domain method.

cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube

A python script that solves ruzzle boards

Polyglot solutions for www.projecteuler.net mathematical challenges

A simple but powerful C++ DAE (Differential Algebraic Equation) solver

AR Sudoku grabber and solver using JavaCV, JavaFX and Scala

A Bundle Adjustment solver for MatchMove related tasks.

Backtracking behaviour to solve discrete problems by brute force

Generate chess puzzles / tactics from a pgn file

fdtd3d is an open source 1D, 2D, 3D FDTD electromagnetics solver with MPI, OpenMP and CUDA support for x86, arm, arm64 architectures

floating-point errors checker

Hodoku is a solver/generator/trainer/analyzer for standard sudoku.

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

Program for generating and solving numberlink / flow free puzzles

COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.

PySpark Algorithms Book: https://www.amazon.com/dp/B07X4B2218/ref=sr_1_2

HPC solver for nonlinear optimization problems

Prototipo inicial de un juego tactico. Este proyecto solo alberga unos pocos assets con licencia free y el core de un sistema de combate tactico por turnos.

Systematic conservation prioritization in R

A Python API for the MiniSat and MiniCard constraint solvers.

GLPK for browser & node

a memory-bound graph-theoretic proof-of-work system

a C# wrapper for CapMonster Cloud API

Inspired by the newspaper puzzle my wife's grandma tests me with each time I visit.

Support four arithmetic operations, Excel formulas, and support custom parameters. 支持四则运算、Excel公式语法，并支持自定义参数。

Reference sheet for the Coq language.

🍃 🌳 🍂 Efficient implementation of the implicit treap data structure

Package management library.

GAPT: General Architecture for Proof Theory

WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)

C++ L-BFGS implementation using plain STL

A Python (v3.6.5) package that provides a set of basic functions commonly used in integrated photonics.

Constraint Optimization with Lava

SUNDIALS is a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. This is a mirror of current releases, and development will move here eventually. Pull requests are welcome for bug fixes and minor changes.

OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.

Logic programming in Swift

A cloth and soft body simulation library, using position based dynamics.

Quadratic Programming solvers in Python with a unified API

Lattice-based integer linear programming solver

A fast, accurate direct solver and determinant computation for dense linear systems

A TACtic library for Agda

JavaSMT - Unified Java API for SMT solvers.

Yes, Virginia, you can do floating-point arithmetic in Bash!

Frequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices

General meta-Heuristic Optimization Solving Toolkit

Fast linear assignment problem (LAP) solvers for Python based on c-extensions

A Python linear programming interface library

A python Linear Programming API

📝 Java Base Learning

A fixed point arithmetic library for Arduino

Solves the traveling salesman problem using simulated annealing.

O(N log N)-space IPC solver in OCaml

Linear programming solvers in Python with a unified API

A library and extension that provides objects for scientific computing in PHP.

Package for performing fixed-point, arbitrary-precision arithmetic in Python.