Beast code in Giters

Tobias Kappé's repositories

Open-source dialog framework for the CLR

Language:C#NOASSERTION5 30

Small Gameboy emulator written in C

Language:CNOASSERTION2 20

Advent of Code solutions

Language:Haskell100

Tools for Concurrent Kleene Algebra

Language:PythonMIT100

Simple Tetris implementation

Language:Python100

Python asyncio IMAP4rev1 client library

Language:PythonGPL-3.0000

000

Mako framework.

Language:PHPBSD-3-Clause020

Language:CoqApache-2.0000

Stupidly simple password manager

Language:ShellMIT020

Petr4: Formal Semantics for P4

Language:OCamlApache-2.0000

A php client for webdriver.

Language:PHP000

A JOSE implementation in Python

Language:PythonMIT000

Have your own Slack like online chat, built with Meteor.

Language:JavaScriptMIT010

Language:HTML000

UCL template for Latex Beamer presentations

Language:TeX020