Coq Protocol Playground with Se(xp)rialization of Internal Structures.
-
Updated
Nov 13, 2024 - Coq
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
An encoding, decoding & utility library for S-expressions in Rust
An interpreter 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
ANother S-Expression Markup Language
📘 Language definition for the little incomplete macro language
golang marshalling for emacs s-expressions
Add a description, image, and links to the sexp topic page so that developers can more easily learn about it.
To associate your repository with the sexp topic, visit your repo's landing page and select "manage topics."