204 Open source projects that are alternatives of or similar to backtrex

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.

JavaSMT - Unified Java API for SMT solvers.

DSA course solutions in C++ Jump to below directly for more problems

Crack SSH Password using Dictionary and Brute Force Method

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

DevBrute is a Password Brute Forcer, It can Brute Force almost all Social Media Accounts or Any Web Application.

Quadratic Programming solvers in Python with a unified API

A simple multi-threaded distributed SSH brute-forcing tool written in Python

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

Find the phone number of any telegram users

🎯 This Python-based Sudoku Solver utilizes the PyGame Library and Backtracking Algorithm to visualize and solve Sudoku puzzles efficiently. With its intuitive interface, users can input and interact with the Sudoku board, allowing for a seamless solving experience.

Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems

A Python API for the MiniSat and MiniCard constraint solvers.

🔑 Scan the entire internet for SSH and Telnet services. Then hack them.

Lattice-based integer linear programming solver

Logic programming in Swift

🛅 Passwords using personal information

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

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

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

A Hypixel Skyblock Utilities mod

A python Linear Programming API

No description or website provided.

The Operator Splitting QP Solver

A modular sat/smt solver with proof output.

phpMyAdmin Authentication Bruteforce Tool

Vehicle Routing Open-source Optimization Machine

A Python linear programming interface library

Turn PuTTY into an SSH login bruteforcing tool.

Backtesting several trading strategy and rank them according their profit return.

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

GLPK for browser & node

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

C++ L-BFGS implementation using plain STL

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

AR Sudoku grabber and solver using JavaCV, JavaFX and Scala

A framework for hydrodynamics explorations and prototyping

Powerful mutable web directory fuzzer to bruteforce existing and/or hidden files or directories.

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

Brute-force, error and request rate limiting

Polyglot solutions for www.projecteuler.net mathematical challenges

Template Haskell Implementation of Egison Pattern Matching

HPC solver for nonlinear optimization problems

Penetration tests on SSH servers using brute force or dictionary attacks. Written in Python.

VISual MAth - an equation solver and visualizer

Simple tool written in python3 to perform limited brute-force attacks on gmail accounts.

Systematic conservation prioritization in R

Package management library.

A Bundle Adjustment solver for MatchMove related tasks.

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

Flutter-Python rubiks cube solver.

Hacks credit card PAN numbers by using partial Hashes, and a list of random PAN [pins]

a lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)

Proof -Of-Concept Brute Force Login on a web-site with a good dictionary of words

generates weak passwords based on current date

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

Haskell library for non-deterministic pattern matching

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

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

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