Profile of karmacoma

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

4 projects

Last released Jan 14, 2026

just solve it - a command line tool to run multiple SMT (Satisfiability Modulo Theories) solvers in parallel

Last released Jul 31, 2025

A symbolic testing tool for EVM smart contracts

Last released May 31, 2025

Platform-tagged wheels bundling the Yices 2 SMT solver (CLI + shared library)

Last released Feb 18, 2023

👨‍🔬 An extensible Python implementation of the Ethereum yellow paper from scratch.

Supported by