-
black_hole Public
"Black Hole" a (API) Template for a Optimal HPC SAT Solver
-
quark_sat- Public
A complete SAT solver implemented on few lines of C++ code. (A C++ version of https://github.com/maxtuno/quark_sat)
-
quark_sat Public
A complete SAT solver implemented on few lines of C code.
-
HESS-paper Public
The companion materials to HESS algorithm paper.
-
Distributed-Algorithms Public
Distributed Algorithms Examples
-
google-step-tsp Public
Forked from hayatoito/google-step-tsp-2017Google STEP Internship dev course - TSP Challenges
-
-
-
-
-
On_UNT_Union_Find_Algorithm Public
A O(n) UNT ALGORITHM FOR THE UNION-FIND PROBLEM
-
DEIDOS-ULTIMATE-BENCHMARKS Public
DEIDOS ULTIMATE (NP-Complete Problem Solver) Benchmarks
-
DEIDOS-BENCHMARKS-DUEL Public
DEIDOS (NP-Complete Problem Solver) vs THE WORLD
-
TTP_Validator Public
Simple Template or Validator for "Travelling Thief Problem"
-
-
Omega Public
Omega is an ultra pure lisp dialect, inspired by the work of Gregory Chaitin.
-
Calculator Public
A simple calculator created in 5 minutes with ANTLR4, an example of a small interpreted language with centralized object. (for fun)
-
-
Quantum Programming Series with Quipper by Oscar Riveros
-
Advanced Algorithmic Composition Book by Oscar Riveros
-
mx Public
Mx is a highly expressive constraint-based music composition system that transforming a high-level representation of musical structure into a MIDI file. Read more http://mx-clojure.blogspot.com/
-
-
{{ message }}