rkruegs123

Pinned Repositories

code-synth-viewer
Language:JavaScript2 3 00
docker-python
Kaggle Python docker image
Language:Python0 1 00
geo-model-builder
Language:JavaScript17 2 37
geometry
Formal encoding of IMO Geometry problems (WIP)
Language:Lean11
jax-rnafold
Language:Python8 2 14
ox-diss
Language:TeX0 2 00
pyzx
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
Language:OpenQASM00
qcircuit-optimization
Language:OpenQASM0 2 00
rose6icse
00
self-assembly-toolkit
Language:Python0 1 00

rkruegs123's Repositories

rkruegs123/geo-model-builder
Language:JavaScript17 2 37
rkruegs123/jax-rnafold
Language:Python8 2 14
rkruegs123/code-synth-viewer
Language:JavaScript2 3 00
rkruegs123/geometry
Formal encoding of IMO Geometry problems (WIP)
Language:Lean11
rkruegs123/docker-python
Kaggle Python docker image
Language:Python0 1 00
rkruegs123/ox-diss
Language:TeX0 2 00
rkruegs123/pyzx
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
Language:OpenQASM00
rkruegs123/qcircuit-optimization
Language:OpenQASM0 2 00
rkruegs123/rose6icse
00
rkruegs123/self-assembly-toolkit
Language:Python0 1 00
rkruegs123/tuning-colloidal-reactions
Language:Python1 0