An open API service aggregating public data about GitHub Sponsors.

maxtuno

View JSON Representation

武士道 - I'm like a computer that's been overclocked—I run faster, think sharper, and occasionally need a cooling break!

Funding Links: https://github.com/sponsors/maxtuno

GitHub Sponsors Profile

I am Oscar Riveros, a practical researcher in algorithmics, and resolution of complex problems.
I love open problems, difficult ones, the truth is I'm already retired due to health problems, but I'm still researching and creating technology?
The sponsorship would allow me to advance further with my technology, I was paying some hosts, and investing in IDEs, design, and everything went up a lot in value, basically only the domain name went up to 1000 USD per renewal, and since everything What I do is for the love of art, I did not see it prudent to continue investing my savings in this, so the money would basically be destined to pay IDEs (jetbrains) hosting, domain names, some other design, I put the work.

Featured Works

maxtuno/slime-sat-solver

A Free World Class High Performance SAT Solver

Language: JavaScript - Stars: 20
maxtuno/PEQNP

PEQNP Mathematical Solver

Language: C++ - Stars: 13
maxtuno/blue

A Powerful SAT Solver for Java

Language: Java - Stars: 6
maxtuno/SAT_EQUATION

UNIVERSAL NUMBER THEORY EQUATION OF SAT

Language: Python - Stars: 6
maxtuno/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 ea…

Language: Python - Stars: 5
maxtuno/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++ - Stars: 6