Skip to content
View tbrk's full-sized avatar
47 followers · 101 following

Achievements

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

Achievements

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

Organizations

@inria-parkas

Block or report tbrk

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Starred repositories

6 stars written in Java
Clear filter

NationalSecurityAgency / ghidra

Ghidra is a software reverse engineering (SRE) framework

Java 66,407 7,314 Updated Mar 27, 2026

arduino / Arduino

Arduino IDE 1.x

Java 14,557 6,987 Updated Oct 11, 2025

tlaplus / tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java 2,850 245 Updated Mar 31, 2026

sspanak / tt9

A T9 keyboard for Android inspired by the classic Nokia phones of the 2000s.

Java 444 77 Updated Mar 31, 2026

lf-lang / lingua-franca

Intuitive concurrent programming in any language

Java 293 75 Updated Mar 31, 2026

ptal / bonsai

Programming language based on the synchronous and constraint paradigms

Java 15 Updated Oct 13, 2020

Starred topics