VestLib: A library of formally verified parser and serializer combinators
Vest: A DSL for specifying and generating fast, formally verified parsers and serializers
Lazy-loading mainnet/testnet fork for Soroban tests. Inspired by Foundry's Anvil.
Command-line interface for LUMOS
Core schema parsing and code generation for LUMOS