Independent Researcher
Repositories
MavenRain/sole-comb
MavenRain/telcoin-hardening-proofs
Mechanism-lang models and proof checks for Telcoin validator hardening, with explicit implementation and qualification boundaries.
MavenRain/mechanism-lang
MavenRain/cuda-oxide
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign language bindings, just Rust.
MavenRain/lanyard
MavenRain/tether
MavenRain/veil
MavenRain/lanyard-record
MavenRain/fluent-static-lanyard
MavenRain/assay-self-referential-dao
Public EVM self-referential DAO written in Assay.
MavenRain/miden-vm
STARK-based virtual machine
MavenRain/amaru
A fully open source node client for Cardano, written in Rust
MavenRain/fluentbase
A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
MavenRain/logos-blockchain
Logos blockchain node
MavenRain/summit
Consensus client for Seismic
MavenRain/linera-protocol
Main repository for the Linera protocol
MavenRain/veil-private-inference
Typed confidential inference receipts with veil, ZK/FHE backends, and NVFlare privacy protocols.
MavenRain/telcoin-kanon
Kanon/WasmGC port of telcoin-ocaml, with simulation protocol types and differential tests.
MavenRain/anvil-kanon
Kanon port of Anvil OCaml: three controllers, model checker, assurance and executable runtime
MavenRain/comp-cat-kanon
Computational category theory in native Kanon, ported from comp-cat-ocaml
MavenRain/kanon
MavenRain/venice-kanon
MavenRain/kan-evm
MavenRain/trice
MavenRain/kanon-telcoin
MavenRain/taciturn
MavenRain/trawl
MavenRain/kan-inference
Checked local model synthesis for Kanon, with compiler verification and behavioral evaluation