fredokun Goto Github PK

arbogen

a fast uniform random tree generator

arbogen2

A fast uniform random tree generator

boxed

Structured editing on the web

cl-jupyter

An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)

clj-by-example

Self-testing examples in your clojure code

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.

cubevm

The CubeVM interpeter for Pi-calculus programs

defvariant

Variants for Common Lisp

edge

Edge is an editor mode generator

fredokun.github.io

iocaml

An OCaml kernel for the IPython notebook

jmonkeyengine

A complete 3D game development suite written purely in Java.

libpiccolort

multithreaded runtime environment for the pi compiler

lisp-lazy-seq

Lazy sequences in Common Lisp

lisp-list-comprehensions

Two macros for list comprehensions in lisp

live-code-talks

An Emacs package to highlight special comments for in-buffer slide-shows.

luapi

LuaPi : Concurrent Programming (in Lua) made simple

lumber

All things Clojure about trees

markdownize

A totally stupid and absolutely indispensable script for converting source files to markdown documents

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

melts

Minimalistic Explorer for Labelled Transition Systems

modelo

When formal methods meet Clojure (and vice-versa)

mrscheme

A pedagogical environment to learn programming through (simplified) Scheme.

nominal-workbench

A prototype tool for experimenting nominal rewrite systems

pave

Process Algebra Ve'rifier

piexplorer

A state-space exploration and analysis tool for the pi-calculus.

pipromela

PiPromela : open reconfigurable systems in Promela

rescribe

Rewrite systems in Clojure

rustegrator

A research prototype for multivariate integration

syntax-highlighting

Syntax highlighting Engine for Structured Text and Code.