KarenDev's starred repositories
problem-solving-book
Problem Solving: A Practical Workbook
SAT_EQUATION
UNIVERSAL NUMBER THEORY EQUATION OF SAT
Advanced-Algorithmic-Composition
Advanced Algorithmic Composition Book by Oscar Riveros
Assembler64
Some Standard Algorithm on Assembler 64
Clojure---JSR-331---Puzzles
Clojure & JSR-331 - Puzzles
Quantum-Programming-with-Quipper
Quantum Programming Series with Quipper by Oscar Riveros
Complexity-Tools
Complexity: Reductions, Scripts, Tools.
HESS_PAPER
Approximation Ratio of a Deterministic Polynomial Black Box Over a MaxSAT Oracle
OLD_RESEARCH
Very Old Research For Historical Purposes
On_UNT_Union_Find_Algorithm
A O(n) UNT ALGORITHM FOR THE UNION-FIND PROBLEM
PEQNP_EXAMPLES
Advanced PEQNP Examples
sat_equation_and_abstract_binary_search
Some Update from
Calculator
A simple calculator created in 5 minutes with ANTLR4, an example of a small interpreted language with centralized object. (for fun)
CNFExamples
PEQN CNF Submodule Examples
DEIDOS-BENCHMARKS-DUEL
DEIDOS (NP-Complete Problem Solver) vs THE WORLD
DEIDOS-ULTIMATE-BENCHMARKS
DEIDOS ULTIMATE (NP-Complete Problem Solver) Benchmarks
google-step-tsp
Google STEP Internship dev course - TSP Challenges
Partition_Ramanujan
Integer Partitions
TTP_Validator
Simple Template or Validator for "Travelling Thief Problem"