Pinned Repositories
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.
bccc_morphism_construction
EDSL for constructing canonical morphisms between hom-sets in bicartesian closed categories.
flow
Dataflow algorithm based on a worklist, with a functional Applicative interface
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.
tyukiand's Repositories
tyukiand/asm2cfg
Extracts and visualizes control flow graphs for assembly code.
tyukiand/bashPortalGun
Portal Gun implementation for the Bourne Again Shell. Allows you to move files between directories faster.
tyukiand/flow
Dataflow algorithm based on a worklist, with a functional Applicative interface
tyukiand/bccc_morphism_construction
EDSL for constructing canonical morphisms between hom-sets in bicartesian closed categories.
tyukiand/frosty
Prototype implementation of a programming language based on π-calculus
tyukiand/ipc_stlc_curry_howard
Proof assistant for intuitionistic propositional logic that translates proofs into STLC programs via Curry-Howard iso.
tyukiand/rhocalc
ρ-calculus interpreter implemented as a Scala EDSL
tyukiand/sqlparser
Demonstration of basic top-down parsing on a subset of SQL.
tyukiand/blog
(Empty blog template from 2015. Never used it for anything - found Jekyll too cumbersome)
tyukiand/coalescentSimulation
Simulation of random coalescents in fixed pedigrees. (With Giry-Monad implementation for infinite random structures)
tyukiand/forest-ml
Grammar and context-sensitive parser combinators for a simple markup language.
tyukiand/liuoofxty1709
Simple programming language (interpreted, untyped, oo/functional, no module system)
tyukiand/mz_EICG_ws2014
Computer graphics exercises, Winter 2014/15 (Einfuehrung in die Computergrafik im Wintersemester 2014/15)
tyukiand/mz_GT_2014_15
game theory exercises, winter term 2014-15, Mainz
tyukiand/renderCommutativeDiagram
Script for rendering commutative diagrams in `diagrams.tex` format as SVG files.
tyukiand/scavenger_2_x
Scavenger 2.x framework (Akka-based framework for distributed machine learning applications)
tyukiand/scavenger_2_x_demo
Demo project for Scavenger 2.x framework
tyukiand/stack
Stack v 4.0 (todo list with a stack trace - in Bash)
tyukiand/test5
tyukiand/ulc
Interpreter for heavily sugared untyped λ-calculus