Popular repositories Loading

1. solidity-zero-finder-rust solidity-zero-finder-rust Public

   Rust 112 14

2. SMT-Solver SMT-Solver Public

   Solves the satisfiability of first order formulas over reals and booleans. http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories

   Python 2 1

3. Concorde-Fixed-Point-Library Concorde-Fixed-Point-Library Public

   The concorde traveling salesman solver (http://www.math.uwaterloo.ca/tsp/concorde.html) is the state of the art solver for the traveling salesman problem.This repository expands the fixed point ari…

   C 1 1

4. ERC721 ERC721 Public

   JavaScript 1

5. GPU-Traveling-Salesman-Solver GPU-Traveling-Salesman-Solver Public

   Uses the two-opt algorithm as a heuristic for solving TSP instances. You need CUDA and an NVIDIA GPU to run this.

   Cuda 1

6. yql-tech-talk-demo yql-tech-talk-demo Public

   Demo app for Columbia tech talk, January 2016.

   JavaScript