fredokun/iocaml
An OCaml kernel for the IPython notebook
Developer Profile
fredokun
Discovered public repositories for fredokun in the GitHub catalog.
fredokun/LuaPi
LuaPi : Concurrent Programming (in Lua) made simple
fredokun/cl-jupyter
An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)
fredokun/fredokun.github.io
Public repository.
fredokun/cubevm
The CubeVM interpeter for Pi-calculus programs
fredokun/boxed
Structured editing on the web
fredokun/MrScheme
A pedagogical environment to learn programming through (simplified) Scheme.
fredokun/defvariant
Variants for Common Lisp
fredokun/markdownize
A totally stupid and absolutely indispensable script for converting source files to markdown documents
fredokun/nominal-workbench
A prototype tool for experimenting nominal rewrite systems
fredokun/libpiccolort
multithreaded runtime environment for the pi compiler
fredokun/arbogen
a fast uniform random tree generator
fredokun/pave
Process Algebra Ve'rifier
fredokun/TikZ-Editor
TikZ Editor is a free code editor for the LaTeX graphic package TikZ.