Pinned Repositories
AI-nstagram
aram-drafter
bioehs-courseguide
ignore-the-gitignore
oak-tales
qunity
topics-notes
uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
potatoboiler's Repositories
potatoboiler/AI-nstagram
potatoboiler/aram-drafter
potatoboiler/bioehs-courseguide
potatoboiler/oak-tales
potatoboiler/qunity
potatoboiler/uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
potatoboiler/aimelia
potatoboiler/autoqasm
AutoQASM is an experimental module offering a new quantum-imperative programming experience in Python for developing quantum programs.
potatoboiler/bitflip
reviving binaryrsearch.io
potatoboiler/BraketAHS.jl
Simulating Rydberg atom dynamics with Tensor Networks
potatoboiler/BraketSimulator.jl
potatoboiler/cadical
CaDiCaL SAT Solver
potatoboiler/cuda-lingeling
Lingeling SAT Solver
potatoboiler/futhark
:boom::computer::boom: A data-parallel functional programming language
potatoboiler/homelab-scripts
potatoboiler/ISatDownOneDay
Satisfiability Solver
potatoboiler/lf-verifier-benchmarks
potatoboiler/life_code
A simple program to simulate attraction/reuplsion forces between many particles
potatoboiler/lingua-franca
Intuitive concurrent programming in any language
potatoboiler/m113-lean
potatoboiler/potatoboiler.github.io
potatoboiler/raft
RAFT contains fundamental widely-used algorithms and primitives for data science, graph and machine learning.
potatoboiler/ringeling
potatoboiler/RustQuant
Rust library for quantitative finance.
potatoboiler/rusty-trading
potatoboiler/selectify
so i don't have to make playlists myself
potatoboiler/Sunscreen
A compiler for the BFV fully homomorphic encryption scheme
potatoboiler/tket2
Version 2 of the TKET quantum compiler
potatoboiler/UCBotSO
Bot for the UCBSO Discord Server
potatoboiler/UCBotSOCDK