fredokun/yaw

This repository has been archived on 04/Feb/2020
Stars
5
Rank 2,810,887 (Top 57 %)
Language
Java
License
MIT License
Created over 8 years ago
Updated over 4 years ago

fredokun/yaw

fredokun

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

Live coding a (simple) 3D World

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

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

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