malturki

Senior Blockchain Lead @ π² | Pi Squared Inc. | Formal software systems modeling, design, and verification

@Pi-Squared-IncChampaign, IL

Pinned Repositories

go-algorand
Algorand's official implementation in Go.
Language:Go1.4k 71 1.6k473
casper-proofs
Coq definitions and lemmas for verification of Casper
Language:TeX0 1 00
dbp-smc
A Probabilistic Rewriting Model of the Hancke-Kuhn Family of Distance-bounding Protocols
Language:Shell00
go-algorand
Algorand's official implementation in Go.
Language:C0 0 00
k-kak
Syntax highlighting for K in Kakoune
0 2 00
malturki-old.github.io
Musab A. Alturki, PhD
Language:CSS00
malturki.github.io
My personal website!
Language:JavaScript0 1 00
tealer
Static Analyzer for Teal
Language:Python4 1 00

malturki's Repositories

malturki/tealer
Static Analyzer for Teal
Language:Python4 1 00
malturki/casper-proofs
Coq definitions and lemmas for verification of Casper
Language:TeX0 1 00
malturki/dbp-smc
A Probabilistic Rewriting Model of the Hancke-Kuhn Family of Distance-bounding Protocols
Language:Shell00
malturki/go-algorand
Algorand's official implementation in Go.
Language:C0 0 00
malturki/k-kak
Syntax highlighting for K in Kakoune
0 2 00
malturki/malturki-old.github.io
Musab A. Alturki, PhD
Language:CSS00
malturki/malturki.github.io
My personal website!
Language:JavaScript0 1 00