Skip to content
View smheidrich's full-sized avatar
22 followers · 49 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Mars 2020 ContributorAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Mars 2020 ContributorAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Block or report smheidrich

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

3 stars written in Java
Clear filter

enso-org / enso

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

Java 7,444 334 Updated Dec 24, 2025

tlaplus / tlaplus

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

Java 2,569 230 Updated Dec 19, 2025

openapi-json-schema-tools / openapi-json-schema-generator

OpenAPI JSON Schema Generator allows auto-generation of API client libraries with a focus on JSON schema given an OpenAPI document

Java 172 14 Updated Jun 15, 2024

Starred topics