Skip to content
Avatar
31 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report Timmmm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

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

Report abuse

Pinned

  1. autorebase Public

    Automatically rebase all your branches onto master

    Rust 66 1

  2. UsbTool Public

    A (wip) GUI program for manipulating USB devices

    C++ 3 1

  3. robocut Public

    Control vinyl cutters, including Craft Robo, Silhouette, Cameo and Portrait

    C++ 71 25

  4. OddSocks Public

    A simple SOCKS proxy with simple web-based authentication (like a wifi hotspot).

    C++ 15 2

  5. LifetimeDiagrams Public

    Create SVG lifetime diagrams from Rust code (PoC)

    Rust 3

  6. OpusRec Public

    WIP simple tool to record Opus / WebM audio.

    C++ 2

205 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

December 2022

Created 13 commits in 4 repositories
Created 4 repositories

Created a pull request in zesterer/chumsky that received 2 comments

Fix Expr::Then span in nano_rust example

This sets the Expr::Then span correctly, resolving the only TODO in nano_rust. Fixes TODO in nano_rust #231

+7 −3 • 2 comments
Opened 2 other pull requests in 2 repositories
google/forma 1 merged
dafny-lang/dafny-lang.github.io 1 open

Created an issue in xldenis/creusot that received 4 comments

Installation instructions do not work

> git clone https://github.com/xldenis/creusot.git Cloning into 'creusot'... remote: Enumerating objects: 26080, done. remote: Counting objects: 10…

4 comments
Opened 9 other issues in 6 repositories
zesterer/chumsky 2 open
viperproject/prusti-assistant 1 closed 1 open
viperproject/prusti-dev 2 closed
dafny-lang/dafny 1 open
PSeitz/lz4_flex 1 closed
model-checking/kani 1 open

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