8000 stimjannik (Tim Jannik Schmidt) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View stimjannik's full-sized avatar
7 followers · 4 following
  • Ulm, Germany

Block or report stimjannik

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Stars

Showing results

VariantSync / Vatras

Agda Library to Study the Expressive Power of Languages for Static Variability

Agda 12 Updated Jun 13, 2025

FeatureIDE / FeatJAR-formula

Propositional and first-order formulas

Java 3 12 Updated Apr 17, 2025

jhipster / generator-jhipster

JHipster is a development platform to quickly generate, develop, & deploy modern web applications & microservice architectures.

TypeScript 21,941 4,075 Updated Jun 15, 2025

sp-uulm / FancyBeamerUULM

Forked from Fancy-Templates/FancyBeamer

A beamer presentation template for easy animations

TeX 5 Updated Dec 30, 2024

SoftVarE-Group / BibTags

A collection of cleaned BibTeX entries and tags to be used with MibTeX. Moved to https://github.com/TUBS-ISF/BibTags

TeX 6 8 Updated Jun 13, 2025
0