Beast code in Giters

KarenDev's starred repositories

tooloud

Overtone Clojure Eclipse Live Coding Dubstep

Language:Clojure20 2 1

Omega

Omega is an ultra pure lisp dialect, inspired by the work of Gregory Chaitin.

Language:Java14 30

mx

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/

Language:Clojure12 30

blue

A Powerful SAT Solver for Java

Language:JavaMIT6 30

problem-solving-book

Problem Solving: A Practical Workbook

Language:Jupyter NotebookNOASSERTION6 40

SAT_EQUATION

UNIVERSAL NUMBER THEORY EQUATION OF SAT

Language:Python6 30

Advanced-Algorithmic-Composition

Advanced Algorithmic Composition Book by Oscar Riveros

Language:Python500

DEIDOS

Subset Sum Problem Solver

Language:C++NOASSERTION500

Assembler64

Some Standard Algorithm on Assembler 64

Language:C++400

Clojure---JSR-331---Puzzles

Clojure & JSR-331 - Puzzles

Language:Clojure400

Quantum-Programming-with-Quipper

Quantum Programming Series with Quipper by Oscar Riveros

Language:Haskell400

UNT_Book

Elements Of Universal Number Theory Book

Language:Python400

Complexity-Tools

Complexity: Reductions, Scripts, Tools.

Language:C3 10

HESS_HP

HESS black-box for Hamiltonian Path Problem

Language:CNOASSERTION3 20

hess_mt

A polynomial time "incomplete?" SAT Solver.

Language:CNOASSERTION3 20

HESS_PAPER

Approximation Ratio of a Deterministic Polynomial Black Box Over a MaxSAT Oracle

Language:Jupyter NotebookNOASSERTION300

MetaCUDA

CUDA + Template Meta-Programming

Language:Cuda300

OLD_RESEARCH

Very Old Research For Historical Purposes

Language:PythonNOASSERTION300

On_UNT_Union_Find_Algorithm

A O(n) UNT ALGORITHM FOR THE UNION-FIND PROBLEM

Language:Jupyter Notebook300

PEQNP_EXAMPLES

Advanced PEQNP Examples

Language:Jupyter NotebookNOASSERTION300

sat_equation_and_abstract_binary_search

Some Update from

Language:C++300

Calculator

A simple calculator created in 5 minutes with ANTLR4, an example of a small interpreted language with centralized object. (for fun)

Language:Java200

CNFExamples

PEQN CNF Submodule Examples

Language:Python2 20

DEIDOS-BENCHMARKS-DUEL

DEIDOS (NP-Complete Problem Solver) vs THE WORLD

Language:Python200

DEIDOS-ULTIMATE-BENCHMARKS

DEIDOS ULTIMATE (NP-Complete Problem Solver) Benchmarks

Language:Python200

google-step-tsp

Google STEP Internship dev course - TSP Challenges

Language:HTML200

Partition_Ramanujan

Integer Partitions

Language:Python200

peqnp_jvm

PEQNP Java Interop with Jython Example

Language:Java2 20

snippets

some (HPC) code snippets (for reference)

Language:C200

TTP_Validator

Simple Template or Validator for "Travelling Thief Problem"

Language:Python200