Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor
  • Pro

Popular repositories

  1. Open-source dialog framework for the CLR

    C# 5 1

  2. Small Gameboy emulator written in C

    C 2 1

  3. Tools for Concurrent Kleene Algebra

    Python 1

  4. Advent of Code solutions

    Haskell 1

  5. Simple Tetris implementation

    Python 1 1

  6. Forked from php-webdriver/php-webdriver

    A php client for webdriver.

    PHP

12 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

December 2020

TobiasKappe has no activity yet for this period.

November 2020

Created a pull request in cornell-netlab/petr4 that received 1 comment

Poulet4: Environment indirection

The current implementation of the environment we use stores values in a stack. This encumbers the implementation of lvalues: our initial idea was t…

+1,096 −714 1 comment
Opened 1 other pull request in 1 repository
cornell-netlab/petr4
1 merged

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.