mabbamog Goto Github PK
Name: Mario A. Barbara
Type: User
Company: Independent Cryptography Consultant
Bio: ex falso quodlibet. Christ is King
Twitter: mabbamOG
Location: 0x84111cC3680c6E49F523931D91a66fE096e0e3F9
Mario A. Barbara's Projects
project-swsec
my software security homework assignments/projects for UTWENTE
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
rescue
sapling-crypto
Zcash "Sapling" cryptography
sha256_padding_circuit
Pseudocode Algebraic Circuit design for SHA256 Padding
snarkpack
SNARKPack protocol for aggregating Groth16 proofs
tmpfisica
traplottery
automated trustless lottery on the blockchain 🔥🔥🔥🔥
univr_zwirner_network_security_lab
my experience following the lab lessons by zwirner @univr cs master's course. :)
utwente-smart-wonen-house-searcher
this program finds the closest housing (rooms) to UTWENTE on smart-wonen
verifiable-threshold-encryption
vis
A vi-like editor based on Plan 9's structural regular expressions
zkevm-circuits
zkpbox
A sandbox for Zero Knowledge proofs and their applications
zktls
Repository for development of the TLS 1.2 and TLS 1.3 stacks in Noir, to produce ZKPs that can be published to the blockchain
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.