Frederic Peschanski (@fredokun)
github

fredokun

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top 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

melts

Minimalistic Explorer for Labelled Transition Systems
Rust
1
star
21

libpiccolort

multithreaded runtime environment for the pi compiler
C
1
star