Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with sexp
A curated list of projects in awesome lists tagged with sexp .
https://github.com/ejgallego/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
coq json machine-learning-api proof-assistant protocol serialization sexp
Last synced: 10 Oct 2024
https://github.com/dmmulroy/s-tier
S-tier S-Expression serialization & deserialization for JavaScript powered by OCaml 🐫✨
javascript ocaml reasonml s-tier sexp typescript
Last synced: 28 Oct 2024
