fredokun

Sorbonne UniversityParis, France

Pinned Repositories

arbogen
a fast uniform random tree generator
Language:OCaml31 6 99
cl-jupyter
An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)
Language:Jupyter Notebook199 25 3629
cubevm
The CubeVM interpeter for Pi-calculus programs
Language:C4 3 00
defvariant
Variants for Common Lisp
Language:Common Lisp21 4 02
lisp-lazy-seq
Lazy sequences in Common Lisp
Language:Common Lisp7 4 12
lisp-list-comprehensions
Two macros for list comprehensions in lisp
Language:Common Lisp34 6 01
pave
Process Algebra Ve'rifier
Language:OCaml5 6 03
TikZ-Editor
TikZ Editor is a free code editor for the LaTeX graphic package TikZ.
Language:Python187 20 1326
yaw
Live coding a (simple) 3D World
Language:Java5 4 111
LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Language:Clojure259 18 1413

fredokun's Repositories

fredokun/cl-jupyter
An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)
Language:Jupyter Notebook199 25 3629
fredokun/TikZ-Editor
TikZ Editor is a free code editor for the LaTeX graphic package TikZ.
Language:Python187 20 1326
fredokun/lisp-list-comprehensions
Two macros for list comprehensions in lisp
Language:Common Lisp34 6 01
fredokun/arbogen
a fast uniform random tree generator
Language:OCaml31 6 99
fredokun/lisp-lazy-seq
Lazy sequences in Common Lisp
Language:Common Lisp7 4 12
fredokun/yaw
Live coding a (simple) 3D World
Language:Java5 4 111
fredokun/talk-clojureD-2018
My talk at ClojureD 2018: DIY fast random generation of structured data
Language:HTML4 4 2
fredokun/clj-by-example
Self-testing examples in your clojure code
Language:Clojure2 3 01
fredokun/LuaPi
LuaPi : Concurrent Programming (in Lua) made simple
Language:Lua2 2 0
fredokun/lumber
All things Clojure about trees
Language:Clojure2 3 0
fredokun/modelo
When formal methods meet Clojure (and vice-versa)
Language:Clojure2 3 0
fredokun/piexplorer
A state-space exploration and analysis tool for the pi-calculus.
Language:Haskell2 4 0
fredokun/rescribe
Rewrite systems in Clojure
Language:Clojure2 3 0
fredokun/think-concurrent
A book project about concurrent programming in clojure/core.async
Language:Clojure2 5 01
fredokun/boxed
Structured editing on the web
Language:CoffeeScript1 4 0
fredokun/libpiccolort
multithreaded runtime environment for the pi compiler
Language:C1 4 0
fredokun/melts
Minimalistic Explorer for Labelled Transition Systems
Language:Rust1 3 0
fredokun/arbogen2
A fast uniform random tree generator
Language:Rust3 0
fredokun/BespokeSynth
Software modular synth
fredokun/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml3 0
fredokun/edge
Edge is an editor mode generator
4 01
fredokun/iocaml
An OCaml kernel for the IPython notebook
Language:OCaml3 0
fredokun/jmonkeyengine
A complete 3D game development suite written purely in Java.
Language:Java2 0
fredokun/live-code-talks
An Emacs package to highlight special comments for in-buffer slide-shows.
Language:Emacs Lisp3 0
fredokun/markdownize
A totally stupid and absolutely indispensable script for converting source files to markdown documents
Language:Python3 0
fredokun/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
fredokun/pipromela
PiPromela : open reconfigurable systems in Promela
3 0
fredokun/rustegrator
A research prototype for multivariate integration
Language:Rust2 03
fredokun/syntax-highlighting
Syntax highlighting Engine for Structured Text and Code.
fredokun/white-city
Network layer for MPC (Secure Multi-Party Computation) protocols
Language:Rust3 0