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 🐫✨
An s-expression to Rust transpiler. Mirror of https://gitlab.com/DPDmancul/srs
📘 Language definition for the little incomplete macro language
ANother S-Expression Markup Language
Symbolic Expressions As Markup
An implementation of S-expression in JavaScript.
golang marshalling for emacs s-expressions
S-Expression [de]serialization in Zig
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."