Matthias Deiml

quantum-bpx. Supplementary code for the paper "Quantum Realization of the Finite Element Method"

LD48. "Tiefenrausch" a game made in 72h for Ludum Dare 48

SublimeJavaImports. Sublime Text plugin for Java imports

attomath. A system for formalizing and proving mathematical theorems inspired by Metamath

blubbel-server. Python

blubbel-client-android. TypeScript

LD47. A game made in 72h for Ludum Dare 47

LD46. JavaScript

LD36. Java

quantum-grf. Supplementary code for the paper "Quantum Sampling and Moment Estimation for Transformed Gaussian Random Fields"

quantum-krylov. Jupyter Notebook