Projects · Arya Somu

Models & language

A small transformer experiment replicating delayed generalization on modular arithmetic.

An OCaml e-graph engine for equality saturation, relational matching, and DAG-aware extraction.

An OCaml type inference engine with row polymorphism and an interactive browser playground.

A typed OCaml language for composing and pricing financial contracts.

A deterministic OCaml simulator for limit order books, routing, and market microstructure.

A shadow-mode research project testing whether prediction market moves lead related equities.

An adversarial agent framework for reviewing systematic trading decisions.

A Rust library for syncing state across chains while making divergence explicit.

A Solidity learning project combining an ERC-20 token, vesting, and a constant-product AMM.