Coq Protocol Playground with Se(xp)rialization of Internal Structures.
-
Updated
Nov 13, 2024 - Coq
#
sexp
Here are 24 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
Dec 25, 2024 - TypeScript
S-tier S-Expression serialization & deserialization for JavaScript powered by OCaml 🐫✨
-
Updated
Feb 13, 2024 - OCaml
Symbolic Expressions As Markup
-
Updated
Dec 9, 2024 - Rust
An implementation of S-expression in JavaScript.
-
Updated
Dec 25, 2024 - TypeScript
Extending [Fpath] to use alongside [Sexplib0] and/or [Base]
-
Updated
Dec 16, 2024 - OCaml
An s-expression to Rust transpiler. Mirror of https://gitlab.com/DPDmancul/srs
-
Updated
Mar 27, 2022 - Rust
ANother S-Expression Markup Language
-
Updated
May 19, 2020 - Clojure
📘 Language definition for the little incomplete macro language
-
Updated
Apr 5, 2018
golang marshalling for emacs s-expressions
-
Updated
May 23, 2017 - Go
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."