Pinned Repositories
chip8_emu
Custom Chip8 Emulator in C++
DreyFVS
A submission for the Heuristic Track of PACE 2022
jsonwebtoken
JWT lib in rust
LCEW
Longest common extension with wildcards
linfa
A Rust machine learning framework.
MCTS
Project for the "second concours ENS Lyon" - Improvements of the MCTS Algorithm
oxyde-gbc
A GameBoy/GameBoyColor emulator in Rust
pace2023-tinywidth
A twin-width solver for the PACE 2023 competition - Exact Track
pace_2021_mu_solver
Efficient heuristic solver for the Cluster Editing problem
sat-nand-lbounds
Find the optimal quantifier-trading proofs for formula lower bounds for SAT !
GBathie's Repositories
GBathie/pace2023-tinywidth
A twin-width solver for the PACE 2023 competition - Exact Track
GBathie/chip8_emu
Custom Chip8 Emulator in C++
GBathie/DreyFVS
A submission for the Heuristic Track of PACE 2022
GBathie/jsonwebtoken
JWT lib in rust
GBathie/LCEW
Longest common extension with wildcards
GBathie/linfa
A Rust machine learning framework.
GBathie/MCTS
Project for the "second concours ENS Lyon" - Improvements of the MCTS Algorithm
GBathie/oxyde-gbc
A GameBoy/GameBoyColor emulator in Rust
GBathie/pace_2021_mu_solver
Efficient heuristic solver for the Cluster Editing problem
GBathie/property_test_regular
Efficient C++ implementation of a property tester for regular expressions/languages.
GBathie/sat-nand-lbounds
Find the optimal quantifier-trading proofs for formula lower bounds for SAT !
GBathie/PMaxcut