Projects in Awesome Lists tagged with sexp
A curated list of projects in awesome lists tagged with sexp .
https://github.com/rocq-archive/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
coq json machine-learning-api proof-assistant protocol serialization sexp
Last synced: 04 Apr 2025
https://github.com/athos/jise
JiSE: Java in S-Expression
bytecode-compiler clojure dsl java sexp
Last synced: 03 May 2025
https://github.com/dmmulroy/s-tier
S-tier S-Expression serialization & deserialization for JavaScript powered by OCaml 🐫✨
javascript ocaml reasonml s-tier sexp typescript
Last synced: 21 Mar 2025
https://github.com/demonstrandum/seam
Symbolic Expressions As Markup
css html lisp macros markup sexp sgml symbolic-expressions text-processing transpiler xml
Last synced: 07 Apr 2025
https://github.com/mbarbin/fpath-base
Extending [Fpath] to use alongside [Sexplib0] and/or [Base]
absolute-paths base fpath relative-paths sexp
Last synced: 11 Jan 2025
https://github.com/weakish/ceylon-sexp
S-expression subset as a data-interchange format
Last synced: 02 Mar 2025
https://github.com/bcrist/zig-sx
S-Expression [de]serialization in Zig
encoding s-expression s-expressions sexp zig zig-library zig-package ziglang
Last synced: 24 Mar 2025
https://github.com/strykerkkd/plai-in-ocaml
Programming Languages: Application and Interpretation with Ocaml
Last synced: 24 Mar 2025
