maxtuno

Oscar Riveros's repositories

Hyperconvergent-Prompt-Engineering

Engineering that combines the speed in task execution with the integration of hyperconvergent technologies, involving a convergence of computing, storage, and networking resources in a unified and agile environment, with a high degree of human interaction and artificial intelligence.

Language:PythonMIT100

SLIME

SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.

Language:C++NOASSERTION600

HESS_AUTO_ML

Basic examples of the use of the HESS algorithm for everything related to Auto ML, the intention is to create a robust and easy to use Open Source Framework that can compete with the greats of the industry.

Language:Jupyter NotebookApache-2.0000

Diffusion_Models

A simple implementation of Diffusion Models for study

Language:Jupyter Notebook000

CNFX

A base -1 + i CNF encoder for complex field operations.

Language:Python100

HESS_HPC

An HPC implementación of HESS algorithm for Continuous TSP.

Language:C++MIT000

HESS-vs-ML

HESS Algorithm v/s ML Algorithms

Language:C++MIT000

HESS-KNAPSACK

A HESS Knapsack O(n^2.x) + O(Oracle) Pseudo (exact in many cases) Optimal Solver

Language:C++MIT300

maxtuno

sharing files on https://twitter.com/maxtuno

Language:Python500

HESS-SHA256

A sha256 sequential inverter with HESS algorithm.

Language:C++MIT300

HESS-SAT-COMPLETE

The original HESS (Hyper Exponential Space Sorting) is a polynomial black-box optimization algorithm, that work very well with any NP-Complete, or NP-Hard problem, at 2021 thanks to suggestions of Daniel Mattes, work like a complete algorithm.

Language:C++MIT300

HESS-GSP

HESS Algorithm for General Satiafiability Problem (On Multivalued Logics)

Language:PythonMIT200

CircuitSAT

A Circuit SAT language that emit CNF code.

Language:PythonMIT300

SATX

SAT-X is a language for constrained optimization and decision problems over positive integers, that work with any SAT Competition standard SAT solver. Is based on Python, and is ase to learn and easy to use with all technologies associated to this language.

Language:PythonMIT500