Open-source research software
Public, MIT-licensed repositories that let anyone reproduce our work: logic and number-theory tooling, benchmark and trace libraries, quantum learning code and entropy testing, published by Byt-Wyze Technology on GitHub.
The code behind our research, published openly so anyone can rerun it: logic and number-theory tooling, quantum learning code, benchmark libraries and entropy testing. MIT-licensed on GitHub.
Inspect the code. Reproduce the result. Take it further.
Built to be read, run and questioned.
See the method
Repeat the test
Build from it
Improve the claim
Choose a question. Open the workbench.
Four projects. One connected idea.
Public research software for exploring difficult ideas, testing claims and making computational work easier to verify.
A living research collection
The repository is part of the argument. Methods, assumptions and limits remain visible so another person can follow the work.
The implementation and research logic sit together.
Use the same inputs and inspect the same outputs.
MIT licensing keeps useful work reusable.
- A classical teaching tool for exploring the number theory at the heart of Shor's algorithm.
- An interactive educational application for learning Grover's quantum search algorithm.
- An interactive simulator for quantum phase estimation, phase kickback and the inverse QFT.
- An interactive field guide to the mathematics behind quantum computing.
- A two-dimensional programming language where topology is grammar.
- A curated collection of more than 100 SAT problem instances with solver metrics.
- Specification and clients for a deterministic CES-weighted SAT instance generator.
- Structured trace-format utilities for SAT solver research and reproducible benchmarking.
- Byt-Wyze open-source repositories
- Public open-source research software from Byt-Wyze for SAT, number theory, quantum learning and experimental language design.