Negabinary

UMich CompSci PhD

Pinned Repositories

hazel
Hazel, a live functional programming environment with typed holes
Language:Reason805 16 77552
AdvancedPS.jl
Implementation of advanced Sequential Monte Carlo and particle MCMC algorithms
Language:Julia0 0 00
julia
The Julia Programming Language
Language:Julia0 0 00
Math-Playground
A GUI proof assistant
Language:GDScript4 3 450
Math-Playground-Library
0 2 00
negabinary.github.io
Language:HTML0 2 00
QGame-IV
A game inspired by quantum computing
Language:GDScript0 2 10
qubits
A Minecraft mod that adds qubits (quantum computing) that can be controlled by redstone.
Language:Java5 2 00
rep2rep
Language:Standard ML0 1 00
synquid
Language:Haskell0 0 00

Negabinary's Repositories

Negabinary/qubits
A Minecraft mod that adds qubits (quantum computing) that can be controlled by redstone.
Language:Java5 2 00
Negabinary/Math-Playground
A GUI proof assistant
Language:GDScript4 3 450
Negabinary/AdvancedPS.jl
Implementation of advanced Sequential Monte Carlo and particle MCMC algorithms
Language:Julia0 0 00
Negabinary/julia
The Julia Programming Language
Language:Julia0 0 00
Negabinary/Math-Playground-Library
0 2 00
Negabinary/negabinary.github.io
Language:HTML0 2 00
Negabinary/QGame-IV
A game inspired by quantum computing
Language:GDScript0 2 10
Negabinary/rep2rep
Language:Standard ML0 1 00
Negabinary/synquid
Language:Haskell0 0 00