fredokun/boxed fredokun/boxed

  • Stars
    star
    1
  • Language
    CoffeeScript
  • Created over 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fredokun/boxed
github

fredokun

Reviews

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

Repository Details

Structured editing on the web

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

nominal-workbench

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

melts

Minimalistic Explorer for Labelled Transition Systems
Rust
1
star
20

libpiccolort

multithreaded runtime environment for the pi compiler
C
1
star