Displaying 1 to 20 from 35 results

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

  •    C++

Cuckoo Cycle is the first graph-theoretic proof-of-work, and the most memory bound, yet with instant verification. Unlike Hashcash, Cuckoo Cycle is immune from quantum speedup by Grover's search algorithm. With a 42-line complete specification, Cuckoo Cycle is less than half the size of either SHA256, Blake2b, or SHA3 (Keccak) as used in Bitcoin, Equihash and ethash. Simplicity matters.

MasterMind Solver

  •    Java

This Java project is a rough example of how to develop a brute force validation algorithm to make your computer look like "making guesses". It will take the role of a MasterMind player trying to solve the puzzle set by you.



ASCEND is an free open-source software program for solving small to very large mathematical models. ASCEND can solve systems of non-linear equations, linear and nonlinear optimisation problems, and dynamic systems expressed in the form of differential/algebraic equations. It ...


  •    Javascript

General satisfiability solver for logic problems

kiwi-solver - Kiwi is a minimalist and extendable Constraint Programming (CP) solver.

  •    Java

Kiwi is a minimalist and extendable Constraint Programming (CP) solver specifically designed for education.The particularities of Kiwi stand in its generic trailing state restoration mechanism, its propagator-based propagation algorithm, and its modulable use of variables and heuristics.

cholesky-solve - [WIP] This module solves sparse symmetric positive definite linear systems by using the Cholesky decomposition

  •    Javascript

This module solves sparse symmetric positive definite linear systems, by finding the Cholesky decomposition(the LDL^T decomposition, and not the LL^T decomposition), and then doing forward substitution and backward substitution. It is basically a Javascript port of the paper "Algorithm 8xx: a concise sparse Cholesky factorization package". This kind of solver has many applications in digital geometry processing.Decomposes M into the Cholesky decomposition of the form LDL^T. A function is returned that can be used to solve the equation Mx = b, for some given value of b.

blt - Lattice-based integer linear programming solver

  •    C++

BLT is a C/C++ library for solving certain integer linear programming (ILP) problems using techniques that come from the theory of lattices. It is complementary to many existing, traditional ILP solvers in that there are problems it solves very well and very quickly which traditional solvers do not (and vice-versa). For a theoretical discussion, see our conference paper from the 2015 SMT Workshop.

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

  •    OCaml

It determines whether a given statement in Intuitionistic Propositional Calculus (IPC) is provable or not. Please prepare your consumer key, consumer secret, access token, and access token secret.

Logician - Logic programming in Swift

  •    Swift

Logic programming is a declarative style of programming that uses constraints to describe problems. Instead of writing a solution to the problem, you describe the characteristics of the solution and let the computer solve it for you. Different logic programming implementations contain different types of constraints.

idea.js - artificial intelligence problem solver

  •    Javascript

Machine Learning doesn't have to be complicated. idea.js makes AI's (neural networks, meta heuristic, heuristic, ant colony optimizations, and hives) simple. By telling idea.js what you want to do, it figures out how to do it.

rambo - Automatic Ramda solution bot

  •    Javascript

Given inputs and outputs brute forces a Ramda solution. The solver is very simple and just brute forces the solution by iterating over a bunch of functions. Since Ramda is sooooo good at currying, we can combine multiple functions by providing derived functions as inputs to other functions, like R.map for example, as first arguments. I also use the data to guide the solution tries. For example, R.has(...) tries every string from the input and output as a property name.

handeye_calib_camodocal - Easy to use and accurate hand eye calibration which has been working reliably for years (2016-present) with kinect, kinectv2, rgbd cameras, optical trackers, and several robots including the ur5 and kuka iiwa

  •    C++

This is a ROS node integrating the Hand Eye Calibration implemented in CamOdoCal. See this stack exchange question explaining how Hand Eye Calibration works. keynote presentation explaining many details about hand eye calibration for those that are interested. Practical code and instructions to calibrate your robot can be found below.

lyne-solver - Solver for LYNE game.

  •    Javascript

This is a solver for LYNE game. It can also gradually show the connections, which is a helpful way to get a hint without showing the entire solution. The solver is written in JavaScript and HTML+CSS+SVG. It should work on any modern browser, desktop or mobile. It has been tested on Google Chrome 43 and Mozilla Firefox 38.

backtrex - Backtracking behaviour to solve discrete problems by brute force

  •    Elixir

Logic puzzles and similar problems can be solved by exploring the space of possible solutions. By enumerating potential answers to open questions like "what should go in this cell?" or "which direction should I go now?", checking whether a given set of those answers is valid, and revising answers whenever you reach an invalid state you'll eventually find the solution (assuming one exists and the problem is finite). This strategy is known as backtracking and has a surprising range of applications. A few simple callbacks are all Backtrex needs to get to work. Backtrex is an Elixir project, and these directions assume you are using the mix tool. However, it should be possible to use this project in Erlang as well.

CSDP.jl - Julia Wrapper for CSDP (https://projects.coin-or.org/Csdp/)

  •    Julia

Julia wrapper to CSDP semidefinite programming solver. The original algorithm is described by B. Borchers. CSDP, A C Library for Semidefinite Programming. Optimization Methods and Software 11(1):613-623, 1999. DOI 10.1080/10556789908805765. Preprint.

ProjectEuler - Polyglot solutions for www.projecteuler.net mathematical challenges

  •    Python

You can now test the algoritms just using on our Docker image hosted on destructhub/project_euler just calling: docker-compose run async or docker-compose run sync. Assuming of course that you have a docker installation with docker-compose. On the end of execution, will be print a tabular-like structure with information about problem, language, time execution and if the answer is correct. The asynchronous build is written in Elixir, the synchronous version is written in Python. You can look on both systems at stats.exs and stats.py.

We have large collection of open source products. Follow the tags from Tag Cloud >>

Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.