martijnvermaat/program-transformation

Stars
1
Language
Java
License
Other
Created about 13 years ago
Updated about 13 years ago

martijnvermaat/program-transformation

martijnvermaat

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Program Transformation course implementations in Stratego/XT

calmap

Calendar heatmaps from Pandas time series data -- See https://github.com/MarvinT/calmap/ for the maintained version

bio-playground

Random collection of bioinformatics thingies

monoseq

A Python library for pretty-printing DNA and protein sequences using a monospace font

binary-loader

Binary loader module for webpack

wiggelen

Working with wiggle tracks in Python

infinitary-rewriting-coq

Infinitary Rewriting in Coq

quick-hacks

Random collection of source code thingies

tcp

TCP implementation for Minix 2

binning

Interval binning for Go

dotfiles

Home directory configuration files

pymotif

Implementation of Gibbs sampling for local alignments

documents

interval-binning

A Python implementation of the interval binning scheme

network-programming

Just a dump of course assignment solutions

pyvcf-presentation

PyVCF presentation

kjew-website

Website for Kjew. Was located at kjew.nl but does not exist anymore.

wiki

Content of my ikiwiki

homepage

rpclib

Static clone of https://github.com/arskom/rpclib for Mutalyzer

vu-homepage

My (former) homepage at the VU University Amsterdam

checkuitcheckin

Check uit, check in -- a window into public opinion on the Dutch ov-chipkaart system

sara

A graphical tool for playing with Turing Machines in OCaml/GTK2/Cairo

vermaat-homepage

Vermaat family homepage

competitierekending

Calculate scores in the Dutch Track & Field competition

britney

A simple untyped Lambda Calculus interpreter in Java

nixos-config

My NixOS configuration

kiek

A static photoblog generator