Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Nonogram Solver

Compare

  Analyzed 1 day ago

Simple command-line solver of the nonogram logic puzzles. Simulates human techniques of soluting.

0 lines of code

0 current contributors

over 13 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: mit

SuperLU

Compare

  Analyzed 1 day ago

SuperLU contains a set of subroutines to solve a sparse linear system A*X=B. It uses Gaussian elimination with partial pivoting (GEPP). The columns of A may be preordered before factorization; the preordering for sparsity is completely separate from the factorization.

169K lines of code

0 current contributors

about 1 month since last commit

0 users on Open Hub

Moderate Activity
0.0
 
I Use This
Licenses: No declared licenses

SuiteSparse

Compare

  Analyzed about 19 hours ago

A Suite of Sparse matrix packages

1.34M lines of code

0 current contributors

2 days since last commit

0 users on Open Hub

Very High Activity
0.0
 
I Use This
Licenses: No declared licenses

nonogif

Compare

  Analyzed about 2 hours ago

Nonogram solver that outputs an animated GIF of the solution

1.64K lines of code

0 current contributors

about 1 year since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This
Licenses: No declared licenses

ocamlyices

Compare

  Analyzed 1 day ago

Yices SMT solver's binding for the OCaml programming language

6.28K lines of code

1 current contributors

8 months since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This

SMTInterpol

Compare

  Analyzed 1 day ago

SMTInterpol interpolating SMT solver

82.7K lines of code

5 current contributors

3 months since last commit

0 users on Open Hub

Low Activity
0.0
 
I Use This

legendrefdnum

Compare

  Analyzed about 7 hours ago

An exponentially convergent numerical solver for Sturm-Liouville problems.

374 lines of code

0 current contributors

almost 9 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This

JavaSMT

Compare

  Analyzed 1 day ago

Unified Java API for SMT solvers

67.4K lines of code

4 current contributors

4 days since last commit

0 users on Open Hub

High Activity
0.0
 
I Use This

PL241 MCS Compiler

Compare

  Analyzed 1 day ago

Compiler written to use as a reference to others who write real compilers. The emphasis is here on readability of code than anything else. It is written in Python for this very same reason. And even trivial things are commented or documented. The idea is that one who wants to write a compiler ... [More] should be able to use this as a reference to get started and then write their compiler as efficiently as they want. [Less]

5.57K lines of code

0 current contributors

almost 12 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This

Pybik

Compare

  Analyzed about 24 hours ago

Pybik is a 3D interactive graphics puzzle. It renders an image of a magic cube (similar to a rubik cube) and you attempt to solve it.

20.8K lines of code

0 current contributors

over 4 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This