murisi

Pinned Repositories

anoma
Implementation of the Anoma protocol in Rust
Language:Rust0 1 00
Arithmetic
A Programmatic Approach to Arithmetic
Language:TeX8 5 00
building-namada-sdk-to-wasm
Make Namada SDK compile on WASM
Language:Rust0 1 00
ghidra
Ghidra is a software reverse engineering (SRE) framework
Language:Java0 2 00
hs_sample
Language:Haskell0 3 00
ibc-rs
IBC Relayer (Hermes) and Modules in Rust
Language:Rust0 1 00
L2
A minimalist type-inferred programming language with procedural macro support
Language:Racket135 9 99
masp
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Anoma.
Language:Rust0 1 01
murisi.github.io
Language:JavaScript0 3 00
namada-fuzzer
Language:Rust00

murisi's Repositories

murisi/L2
A minimalist type-inferred programming language with procedural macro support
Language:Racket135 9 99
murisi/Arithmetic
A Programmatic Approach to Arithmetic
Language:TeX8 5 00
murisi/anoma
Implementation of the Anoma protocol in Rust
Language:Rust0 1 00
murisi/building-namada-sdk-to-wasm
Make Namada SDK compile on WASM
Language:Rust0 1 00
murisi/ghidra
Ghidra is a software reverse engineering (SRE) framework
Language:Java0 2 00
murisi/hs_sample
Language:Haskell0 3 00
murisi/ibc-rs
IBC Relayer (Hermes) and Modules in Rust
Language:Rust0 1 00
murisi/masp
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Anoma.
Language:Rust0 1 01
murisi/murisi.github.io
Language:JavaScript0 3 00
murisi/namada-fuzzer
Language:Rust00
murisi/tendermint-rs
Tendermint in Rust!
Language:Rust0 1 00
murisi/TML
Tau Meta-Language
Language:C++0 2 00
murisi/tower-abci
Tower-based ABCI interface.
Language:Rust0 0
murisi/vamp-ir-proto
Language:Rust2 0
murisi/vamp-ir-proto2
Language:Rust1 0