There are 3 repositories under sexp topic.
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
My language practices :)
Symbolic Expressions As Markup
ANother S-Expression Markup Language
S-expression parser.
📘 Language definition for the little incomplete macro language
Programming Languages: Application and Interpretation with Ocaml