Pinned Repositories
74xx-liberty
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Annealing-Algorithms
Collection of different annealing algorithms
avalon-tool
awesome-jax
JAX - A curated list of resources https://github.com/google/jax
blockchain_simulation
Simulate blockchain with POW. Args include nodes number and possibility. Bifurcation attack is also simulated
boltzmann-machines
Boltzmann Machines in TensorFlow with examples
sbm-rs
Simulated Bifurcation implementation in Rust
shredder_challenge
rog77's Repositories
rog77/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
rog77/awesome-jax
JAX - A curated list of resources https://github.com/google/jax
rog77/classiq-library
The Classiq Library is the largest collection of quantum algorithms and applications. It is the best way to explore quantum computing software. We welcome community contributions to our Library 🙌
rog77/dace
DaCe - Data Centric Parallel Programming
rog77/DigitalAnnealer
Digital Annealer written in C/C++, supports SA & SQA.
rog77/dybm
Dynamic Boltzmann Machines
rog77/fplib
Fixed point math library for SystemVerilog
rog77/ice-chips-verilog
IceChips is a library of all common discrete logic devices in Verilog
rog77/index-tracking
Python-based software using D-Wave’s quantum annealers to optimize index tracking portfolios. Formulates the problem as a QUBO, minimizing tracking error while accounting for real-world constraints. Explore quantum computing for financial optimization.
rog77/liberty74
A Fully Open-Source Verilog-to-PCB Flow
rog77/linkedIn_auto_jobs_applier_with_AI
LinkedIn_AIHawk is a tool that automates the jobs application process on LinkedIn. Utilizing artificial intelligence, it enables users to apply for multiple job offers in an automated and personalized way.
rog77/mqt-qubomaker
A framework for the automatic generation of QUBO formulations for optimization problems.
rog77/onitama
Play Onitama in your browser, compete with friends or lose to a bot
rog77/OpenJij
OpenJij : Framework for the Ising model and QUBO.
rog77/prologsolvers
Copies of prolog solvers for use from python
rog77/pyDatalog
a datalog implementation in Python
rog77/QuantumExamScheduling
This repository presents a novel approach to optimizing large-scale exam scheduling using Quantum Annealing (QA) and Quadratic Unconstrained Binary Optimization (QUBO). It effectively manages scheduling conflicts and resource allocation through practical real-world cases, advancing QA algorithms in education.
rog77/qubo
Quadratic Unconstrained Binary Optimization Algorithms
rog77/qubo-3sat
The GitHub repository for the submission: ``Efficient Digital Quadratic Unconstrained Binary Optimization Solvers for SAT Problems”
rog77/QUBO-investment-portfolio
rog77/QUBO_Feature_Selection
Feature Selection QUBO (Quadratic Unconstrained Binary Optimization)
rog77/robopoker
Play, learn, solve, and analyze No-Limit Texas Hold Em. Implementation follows from Monte Carlo counter-factual regret minimization over with hierarchical K-means imperfect recall abstractions.
rog77/RomWBW
System Software for Z80/Z180/Z280 Computers
rog77/scikit-opt
Genetic Algorithm, Particle Swarm Optimization, Simulated Annealing, Ant Colony Optimization Algorithm,Immune Algorithm, Artificial Fish Swarm Algorithm, Differential Evolution and TSP(Traveling salesman)
rog77/simulated-bifurcation-algorithm
Python CPU/GPU implementation of the Simulated Bifurcation (SB) algorithm to solve quadratic optimization problems (QUBO, Ising, TSP, optimal asset allocations for a portfolio, etc.).
rog77/Solving-QUBOs-on-Quantum-Computers
rog77/swipl
SWI-Prolog stable releases
rog77/TI-32
A mod for TI-84 calculators to turn them into cheating devices.
rog77/XLB
XLB: Accelerated Lattice Boltzmann (XLB) based on JAX for Physics-based ML
rog77/yosys
Yosys Open SYnthesis Suite