Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/pensono/ethan-cheerios

A reimplementation of UW PLSE's Cheerios formally verified serialization/deserialization library
https://github.com/pensono/ethan-cheerios

Last synced: 11 days ago
JSON representation

A reimplementation of UW PLSE's Cheerios formally verified serialization/deserialization library

Awesome Lists containing this project