Coq Protocol Playground with Se(xp)rialization of Internal Structures.
-
Updated
Nov 13, 2024 - Coq
#
sexp
Here are 25 public repositories matching this topic...
An encoding, decoding & utility library for S-expressions in Rust
-
Updated
May 31, 2017 - Rust
An interpreter of lambda calculus.
-
Updated
Jul 17, 2025 - TypeScript
S-tier S-Expression serialization & deserialization for JavaScript powered by OCaml 🐫✨
-
Updated
Feb 13, 2024 - OCaml
Symbolic Expressions As Markup
-
Updated
Dec 28, 2024 - Rust
An implementation of S-expression in JavaScript.
-
Updated
Dec 25, 2024 - TypeScript
Extending [Fpath] to use alongside [Sexplib0] and/or [Base]
-
Updated
Jun 6, 2025 - OCaml
An s-expression to Rust transpiler. Mirror of https://gitlab.com/DPDmancul/srs
-
Updated
Mar 27, 2022 - Rust
A simple S-expression parser/beautifier written in Python.
-
Updated
Jun 30, 2025 - Python
ANother S-Expression Markup Language
-
Updated
May 19, 2020 - Clojure
Constructor of TypeScript symbolic expressions.
-
Updated
Mar 26, 2025 - TypeScript
📘 Language definition for the little incomplete macro language
-
Updated
Apr 5, 2018
Improve this page
Add a description, image, and links to the sexp topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sexp topic, visit your repo's landing page and select "manage topics."