sexp topic

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

ejgallego

JiSE: Java in S-Expression

athos

An encoding, decoding & utility library for S-expressions in Rust

zv

An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.

cicada-lang

My language practices :)

cicada-lang