emmazzz

Pinned Repositories

boogie
Boogie
Language:C#0 0 00
cs151_project
CS151 Project
Language:Prolog10
diem
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
Language:Rust00
Emulation-Platform
Language:C++10
move
Home of the Move programming language
Language:Rust1 0 00
move-hackathon-tutorial
Move tutorial for the hackathon happening on Dec 7-8
Language:Shell82
sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Language:Rust1 0 00
move
Language:Rust2.2k 39 287671
sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Language:Rust5.8k 160 3.3k11k

emmazzz's Repositories

emmazzz/move-hackathon-tutorial
Move tutorial for the hackathon happening on Dec 7-8
Language:Shell82
emmazzz/cs151_project
CS151 Project
Language:Prolog10
emmazzz/Emulation-Platform
Language:C++10
emmazzz/move
Home of the Move programming language
Language:Rust1 0 00
emmazzz/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Language:Rust1 0 00
emmazzz/boogie
Boogie
Language:C#0 0 00
emmazzz/diem
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
Language:Rust00
emmazzz/dip
Libra Improvement Proposals
Language:JavaScript0 0 00
emmazzz/emmazzz.github.io
Build a Jekyll blog in minutes, without touching the command line.
Language:CSS00
emmazzz/JS-projects
Language:JavaScript
emmazzz/Midi-Player
A music player for MIDI files
emmazzz/move-repo
Language:Rust0 0
emmazzz/retinet
Language:C++3 0
emmazzz/smt2utils
Libraries and tools for the SMT-LIB-2 standard.
Language:Jupyter Notebook0 0
emmazzz/Tutorial
1 0