Murisi Tarusenga (murisi)

murisi

Geek Repo

0

following

0

stars

Home Page:github.com/murisi

Github PK Tool:Github PK Tool

Murisi Tarusenga's repositories

L2

A minimalist type-inferred programming language with procedural macro support

Language:RacketLicense:BSD-3-ClauseStargazers:135Issues:9Issues:9

Arithmetic

A Programmatic Approach to Arithmetic

Language:TeXLicense:BSD-3-ClauseStargazers:8Issues:5Issues:0

anoma

Implementation of the Anoma protocol in Rust

Language:RustLicense:GPL-3.0Stargazers:0Issues:1Issues:0

building-namada-sdk-to-wasm

Make Namada SDK compile on WASM

Language:RustStargazers:0Issues:1Issues:0

ghidra

Ghidra is a software reverse engineering (SRE) framework

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

ibc-rs

IBC Relayer (Hermes) and Modules in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

masp

The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Anoma.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:3Issues:0
Language:RustStargazers:0Issues:0Issues:0

tendermint-rs

Tendermint in Rust!

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

TML

Tau Meta-Language

Language:C++Stargazers:0Issues:2Issues:0

tower-abci

Tower-based ABCI interface.

Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:1Issues:0