Projects

Scilab

(from the scilab homepage...) Scilab is a scientific software package for numerical computations providing a powerful open computing environment for engineering and scientific applications. Scilab is an open source software. Since 1994 it has been distributed freely along with the source code ... [More] via the Internet. It is currently used in educational and industrial environments around the world. Scilab is now maintained by Scilab Enterprises: http://www.scilab-enterprises.com/ Note that Scilab has been using code review since 2010 (explaining the diminution in term of number of commits). [Less]

Math.NET Numerics

A mathematical open source library written in C#/.Net, aiming to provide a self contained clean framework for symbolic algebraic and numerical / scientific computations.

ASCEND

ASCEND is an interactive environment for modeling, debugging, and solving large systems of nonlinear algebraic or differential equations. Its interactive design allows users to inspect and solve very difficult nonlinear systems. It includes plotting abilities and is scriptable.

choco

choco: a java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP).

Elemental (linear algebra)

Distributed-memory dense linear algebra.

MUSoSo

MUSoSo is a Java based Sudoku game which includes a solver & generator. As a sudoku solver it tries to simulate the way human players solve sudokus. Several selectable heuristic methods are provided for this purpose. Brute force solving is also supported for completeness. As a sudoku ... [More] generator it tries to create sudoku problems which don't require "trial and error" methods to be solved. [Less]

sat-micro-hs

A complete (in the logical sense) SAT solver with non-chronological backtracking. This is a Haskell implementation of (most of) the minimal OCaml solver described in the paper SAT-MICRO: petit mais costaud! by Sylvain Conchon, Johannes Kanig, and Stephane Lescuyer

SimpleNumericalLibrary

A simple matrix and vector library. It contain basic matrix and vector operations, linear and non-linear system solvers, gauss integrator, and others

mobile-sudoku-solver

Mobile Sudoku Solver is a Java (J2ME) application for solving, designing and playing Sudoku puzzle game on mobile devices. It can find all the solutions available and hold them all in memory. You can select one of them, edit and solve it again.

Sudokuki - essential sudoku game

Sudokuki is a free graphical SUDOKU game: Sudokuki solves even the most difficult sudoku grids for you - Generate a sudoku - Play sudoku - Print a sudoku... Available in 15 languages. Just download and play! You can also play with arabic or chinese numbers. Sudokuki is Free Software developed in Java. Have fun!