miguelis

Pinned Repositories

absexamples
ABS Examples
Language:Java4 24 24
easyinterface
A web frontend for the ABS toolchain
Language:JavaScript10 14 36
benchmarks
Language:Shell0 3 01
circom
zkSnark circuit compiler
Language:WebAssembly1.2k 19 128231
circom-documentation
10
witness_optimizer
Language:Rust10
ZoKrates_optimizer
Language:Rust10
circom
zkSnark circuit compiler
Language:WebAssembly00
SED
Proyecto de la asignatura Sistemas Empotrados y Distribuidos realizado con dos placas Arduino Uno y una placa Discovery
Language:C01
SIDEMA
Project that simulates a set of distributed and intelligent robots that cooperate to find and desactivate mines
Language:Java01

miguelis's Repositories

miguelis/circom-documentation
10
miguelis/witness_optimizer
Language:Rust10
miguelis/ZoKrates_optimizer
Language:Rust10