fredokun/cubevm

Stars
4
Rank 3,246,315 (Top 66 %)
Language
C
License
GNU General Publi...
Created about 10 years ago
Updated about 10 years ago

fredokun/cubevm

fredokun

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

The CubeVM interpeter for Pi-calculus programs

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

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

piexplorer

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

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