tyukiand

asm2cfg

Extracts and visualizes control flow graphs for assembly code.

bashPortalGun

Portal Gun implementation for the Bourne Again Shell. Allows you to move files between directories faster.

flow

Dataflow algorithm based on a worklist, with a functional Applicative interface

bccc_morphism_construction

EDSL for constructing canonical morphisms between hom-sets in bicartesian closed categories.

frosty

Prototype implementation of a programming language based on π-calculus

ipc_stlc_curry_howard

Proof assistant for intuitionistic propositional logic that translates proofs into STLC programs via Curry-Howard iso.

rhocalc

ρ-calculus interpreter implemented as a Scala EDSL

sqlparser

Demonstration of basic top-down parsing on a subset of SQL.

blog

(Empty blog template from 2015. Never used it for anything - found Jekyll too cumbersome)

coalescentSimulation

Simulation of random coalescents in fixed pedigrees. (With Giry-Monad implementation for infinite random structures)

forest-ml

Grammar and context-sensitive parser combinators for a simple markup language.

liuoofxty1709

Simple programming language (interpreted, untyped, oo/functional, no module system)

mz_EICG_ws2014

Computer graphics exercises, Winter 2014/15 (Einfuehrung in die Computergrafik im Wintersemester 2014/15)

mz_GT_2014_15

game theory exercises, winter term 2014-15, Mainz

renderCommutativeDiagram

Script for rendering commutative diagrams in `diagrams.tex` format as SVG files.

scavenger_2_x

Scavenger 2.x framework (Akka-based framework for distributed machine learning applications)

scavenger_2_x_demo

Demo project for Scavenger 2.x framework

stack

Stack v 4.0 (todo list with a stack trace - in Bash)

test5

ulc

Interpreter for heavily sugared untyped λ-calculus