fredokun/piexplorer

Stars
2
Language
Haskell
License
GNU General Publi...
Created almost 9 years ago
Updated almost 6 years ago

fredokun/piexplorer

fredokun

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

cl-jupyter

An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)

Jupyter Notebook

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

pave

Process Algebra Ve'rifier

cubevm

The CubeVM interpeter for Pi-calculus programs

talk-clojureD-2018

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

LuaPi

LuaPi : Concurrent Programming (in Lua) made simple

lumber

All things Clojure about trees

think-concurrent

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

clj-by-example

Self-testing examples in your clojure code

rescribe

Rewrite systems in Clojure

modelo

When formal methods meet Clojure (and vice-versa)

boxed

Structured editing on the web

nominal-workbench

A prototype tool for experimenting nominal rewrite systems

melts

Minimalistic Explorer for Labelled Transition Systems

libpiccolort

multithreaded runtime environment for the pi compiler