Pinned Repositories
sequencer
PoC of a distributed sequencer network for Tezos smart rollups, based on Sui's Narwhal & Bullshark consensus implementation
tezos-on-tezos
Michelson VM and Tezos OS in Rust
madara
DEPRECATED in favor of https://github.com/madara-alliance/madara
raito
Bitcoin ZK client written in Cairo.
cctool
CryptoCompare.com portfolio import command line tool
ps-rundeck-winrm-plugin
Powershell file-copier plugin for Rundeck
stock0
Trust-minimized marketplace for content creators [Lambda Hack Week '24]
testex
💎 Virtual crypto exchange for testing purposes. API is compatible with major crypto exchanges.
tz-starks
🐺 Simple STARK verifier on Tezos blockchain
xeus-fift
🍬 Jupyter kernels for Fift and FunC languages
m-kus's Repositories
m-kus/xeus-fift
🍬 Jupyter kernels for Fift and FunC languages
m-kus/testex
💎 Virtual crypto exchange for testing purposes. API is compatible with major crypto exchanges.
m-kus/tz-starks
🐺 Simple STARK verifier on Tezos blockchain
m-kus/ps-rundeck-winrm-plugin
Powershell file-copier plugin for Rundeck
m-kus/cctool
CryptoCompare.com portfolio import command line tool
m-kus/hoba
😼 Yet another secrets management tool
m-kus/stock0
Trust-minimized marketplace for content creators [Lambda Hack Week '24]
m-kus/BloodyHellBot
🇬🇧 Learn english words from the movie before watching it
m-kus/mpipe
Build a trading system out of functional modules
m-kus/sp1-bn254-benchmark
Benchmarks for substrate-bn primitives inside a SP1 circuit
m-kus/brave-core
Core engine for the Brave browser for mobile and desktop. For issues https://github.com/brave/brave-browser/issues
m-kus/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
m-kus/cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
m-kus/garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
m-kus/hyperlane-monorepo
The home for Hyperlane core contracts, sdk packages, and other infrastructure
m-kus/iu8-legacy
🎓 Cheat tools for students
m-kus/scarb
The Cairo package manager
m-kus/sequencer-poc
PoC of a distributed sequencer based on Sui's Narwhal & Bullshark implementation
m-kus/sp1
A performant, 100% open-source, contributor-friendly zkVM.
m-kus/substrate-bn-sp1
Patched substrate-bn crate that utilizes sys_bigint SP1 precompile
m-kus/tezos-on-tezos
Michelson VM and Tezos OS in Rust
m-kus/tezos-unity-sdk-auth-nft-sample