fredokun/melts fredokun/melts

  • Stars
    star
    1
  • Language
    Rust
  • License
    MIT License
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fredokun/melts
github

fredokun

Reviews

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

Repository Details

Minimalistic Explorer for Labelled Transition Systems

More Repositories

1

cl-jupyter

An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)
Jupyter Notebook
197
star
2

TikZ-Editor

TikZ Editor is a free code editor for the LaTeX graphic package TikZ.
Python
173
star
3

lisp-list-comprehensions

Two macros for list comprehensions in lisp
Common Lisp
33
star
4

arbogen

a fast uniform random tree generator
OCaml
31
star
5

defvariant

Variants for Common Lisp
Common Lisp
20
star
6

lisp-lazy-seq

Lazy sequences in Common Lisp
Common Lisp
7
star
7

yaw

Live coding a (simple) 3D World
Java
5
star
8

pave

Process Algebra Ve'rifier
OCaml
5
star
9

cubevm

The CubeVM interpeter for Pi-calculus programs
C
4
star
10

talk-clojureD-2018

My talk at ClojureD 2018: DIY fast random generation of structured data
HTML
4
star
11

LuaPi

LuaPi : Concurrent Programming (in Lua) made simple
Lua
2
star
12

lumber

All things Clojure about trees
Clojure
2
star
13

think-concurrent

A book project about concurrent programming in clojure/core.async
Clojure
2
star
14

clj-by-example

Self-testing examples in your clojure code
Clojure
2
star
15

piexplorer

A state-space exploration and analysis tool for the pi-calculus.
Haskell
2
star
16

rescribe

Rewrite systems in Clojure
Clojure
2
star
17

modelo

When formal methods meet Clojure (and vice-versa)
Clojure
2
star
18

boxed

Structured editing on the web
CoffeeScript
1
star
19

nominal-workbench

A prototype tool for experimenting nominal rewrite systems
OCaml
1
star
20

libpiccolort

multithreaded runtime environment for the pi compiler
C
1
star