Frederic Peschanski

cl-jupyter. An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)

TikZ-Editor. TikZ Editor is a free code editor for the LaTeX graphic package TikZ.

lisp-list-comprehensions. Two macros for list comprehensions in lisp

arbogen. a fast uniform random tree generator

defvariant. Variants for Common Lisp

lisp-lazy-seq. Lazy sequences in Common Lisp

yaw. Live coding a (simple) 3D World

cubevm. The CubeVM interpeter for Pi-calculus programs

pave. Process Algebra Ve'rifier

talk-clojureD-2018. My talk at ClojureD 2018: DIY fast random generation of structured data

rescribe. Rewrite systems in Clojure

LuaPi. LuaPi : Concurrent Programming (in Lua) made simple

clj-by-example. Self-testing examples in your clojure code

piexplorer. A state-space exploration and analysis tool for the pi-calculus.

think-concurrent. A book project about concurrent programming in clojure/core.async

lumber. All things Clojure about trees

modelo. When formal methods meet Clojure (and vice-versa)

libpiccolort. multithreaded runtime environment for the pi compiler

boxed. Structured editing on the web

nominal-workbench. A prototype tool for experimenting nominal rewrite systems

melts. Minimalistic Explorer for Labelled Transition Systems