LANGUAGES :: CONTRACTS :: SYSTEMS
I build language tooling and Cardano smart-contract systems, from parsing and type checking to data encoding and ledger execution.
An experimental language for expressing Cardano smart-contract logic.
Built in Haskell, RVRS explores parsing, type systems, evaluation, intermediate representations, and compilation toward Aiken. The project favors explicit semantics and a small, inspectable core.
Haskell · Megaparsec · Я · Aiken
A reference environment for examining the Cardano contract lifecycle layer by layer.
The current vertical slice connects an Aiken validator to CIP-57 blueprint inspection, Plutus data encoding, off-chain transaction construction, and local ledger execution. Tests cover both accepted and rejected contract behavior.
Aiken · TypeScript · Lucid Evolution · Plutus
small vertical slices
explicit system boundaries
behavior tested at the edges
abstractions earned through reuse
I am interested in the machinery beneath developer-facing abstractions: how languages represent intent, how contracts cross on-chain and off-chain boundaries, and how those systems can remain understandable as they grow.
Alongside my work in software, I continue to work professionally in film, television, and theatre. That practice informs how I approach structure, communication, and collaboration.
I am currently pursuing a degree in computer science while building independently in functional programming, language design, and Cardano engineering.
IMDb · Open to thoughtful work in language tooling, smart contracts, and developer infrastructure.