The Wayback Machine - https://web.archive.org/web/20211002164231/https://github.com/tlively
Skip to content
Avatar

Achievements

Achievements

Organizations

@google @WebAssembly @emscripten-core
Block or Report

Block or report tlively

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. A formally verified compiler of untyped lambda calculus to brainfuck

    Coq 9 2

  2. N-dimensional Tic Tac Toe implemented in Python and curses

    Python 5 2

  3. An experiment to exhaustively find optimization opportunities created by WebAssembly's multi-value proposal

    Rust 5 3

  4. A small Asteroids-esque game created with standard Java libraries for educational purposes

    Java 1 1

1,384 contributions in the last year

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

Contribution activity

October 2021

Created a pull request in WebAssembly/binaryen that received 13 comments

Implement standalone nominal types

These new nominal types do not depend on the global type sytem being changed with the --nominal flag. Instead, they can coexist with the existing e…

+625 −13 13 comments
Opened 3 other pull requests in 2 repositories