Nariaki Tateiwa's repositories
master_mind_rust
Rust-implemented master mind game solver
cmapdeepbkz
A DeepBKZ parallel solver for shortest vector problem
GhostCookies
Plays Cookie Clicker for you using Cookie Monster
pybind11-sample
sample project for pybind11
csp
Solver for the constrained shortest path problem
master_mind_cpp
A solver of master_mind coded by c++.
codable-model-optimizer
meta-heuristics solver for easy modeling
fractional_cascading
Fractional cascading python api for 2-dimension points. This is the fast search algorithm to find the 2-dimensional points (x, y) in a rectangle.
master_mind
This python project searches the optimal strategy for the Mastermind.
msccl-tools
Synthesizer for optimal collective communication algorithms
optcast
Reduction Server in Rust
pulp
A python Linear Programming API
pulp2localsolver
A PuLP to LocalSolver converter
SVPChallengeBasis
Basis file of SVP Challenge
SVPChallengeMatrix
Basis file of SVP Challenge
sympy
A computer algebra system written in pure Python
wikiextractor
A tool for extracting plain text from Wikipedia dumps