Coq Protocol Playground with Se(xp)rialization of Internal Structures.
-
Updated
Nov 27, 2025 - Coq
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
An encoding, decoding & utility library for S-expressions in Rust
An implementation of lambda calculus.
S-tier S-Expression serialization & deserialization for JavaScript powered by OCaml 🐫✨
Symbolic Expressions As Markup
An implementation of S-expression in JavaScript.
An s-expression to Rust transpiler. Mirror of https://gitlab.com/DPDmancul/srs
Extending [Fpath] to use alongside [Sexplib0] and/or [Base]
A simple S-expression parser/beautifier written in Python.
ANother S-Expression Markup Language
A solver-driven reproducible Linux build system using S-expressions, SMT, deterministic DAG execution, and content-addressed artifacts.
To associate your repository with the sexp topic, visit your repo's landing page and select "manage topics."