baz1

Pinned Repositories

DesmosToSVG
An SVG export button for www.desmos.com using GreaseMonkey
Language:JavaScript11 3 45
GS-NIZK
Efficient implementation of the Non-Interactive Zero-Knowledge proofs invented by Groth and Sahai
Language:C++62
GS-NIZK-Proofs
Coq proofs for the GS-NIZK project
Language:Coq00
NetNeurons
Some artificial neural networks
Language:C++0 1 00
PyDist
Small API using different online APIs to measure distances between addresses
Language:Python00
SimpleFuse
Simplified Filesystem in Userspace
Language:C++0 1 00
spring18
Solution for the MIT FRAP2018 problems
Language:Coq10
TanxBot
Tanx Bot (not updated)
Language:C++0 1 00
TiffHDR
Yet another HDR software (works with TIFF files) (unfinished)
Language:C++00
transmission
Transmission by parts
Language:C++10

baz1's Repositories

baz1/DesmosToSVG
An SVG export button for www.desmos.com using GreaseMonkey
Language:JavaScript11 3 45
baz1/GS-NIZK
Efficient implementation of the Non-Interactive Zero-Knowledge proofs invented by Groth and Sahai
Language:C++62
baz1/spring18
Solution for the MIT FRAP2018 problems
Language:Coq10
baz1/transmission
Transmission by parts
Language:C++10
baz1/GS-NIZK-Proofs
Coq proofs for the GS-NIZK project
Language:Coq00
baz1/NetNeurons
Some artificial neural networks
Language:C++0 1 00
baz1/PyDist
Small API using different online APIs to measure distances between addresses
Language:Python00
baz1/SimpleFuse
Simplified Filesystem in Userspace
Language:C++0 1 00
baz1/TanxBot
Tanx Bot (not updated)
Language:C++0 1 00
baz1/TiffHDR
Yet another HDR software (works with TIFF files) (unfinished)
Language:C++00