jakezweifler

Pinned Repositories

BasicCalc
A basic html calculator
Language:JavaScript0 1 00
BlackJack
Language:Java0 2 00
CardGames
Language:Java0 1 00
Circles
Language:JavaScript00
corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Language:Coq0 1 00
Draw
Language:JavaScript00
group-site
ChiQP-Lab at UChicago CS
Language:TeX00
jakezweifler.github.io
Language:HTML0 1 00
lambda-qs
Formalization of λ-Q#, a core calculus for Q# programming language
Language:Coq0 1 00
ml_image_projects
Language:Jupyter Notebook00

jakezweifler's Repositories

jakezweifler/BasicCalc
A basic html calculator
Language:JavaScript0 1 00
jakezweifler/BlackJack
Language:Java0 2 00
jakezweifler/CardGames
Language:Java0 1 00
jakezweifler/Circles
Language:JavaScript00
jakezweifler/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Language:Coq0 1 00
jakezweifler/Draw
Language:JavaScript00
jakezweifler/group-site
ChiQP-Lab at UChicago CS
Language:TeX00
jakezweifler/jakezweifler.github.io
Language:HTML0 1 00
jakezweifler/lambda-qs
Formalization of λ-Q#, a core calculus for Q# programming language
Language:Coq0 1 00
jakezweifler/ml_image_projects
Language:Jupyter Notebook00
jakezweifler/QuantumLib
Coq library for reasoning about quantum programs
Language:Coq0 1 00
jakezweifler/QWIRE
A quantum circuit language and formal verification tool
jakezweifler/ReadingNumbers
An AI program that reads numbers from a 2D array.
Language:Java
jakezweifler/StarPoly
Language:JavaScript
jakezweifler/trialwebsite
jakezweifler/Tutoring
A second tutoring project, this time with gradle.
Language:Java1 0
jakezweifler/TutoringMatcher
The final first version of a matcher that matches students to tutors at hall high school
Language:Java1 0
jakezweifler/zeta-computations