Assistant Lecturer at Lancaster University Leipzig
- Germany
- https://tobias.meggendorfer.de
Highlights
- Pro
Block or Report
Block or report incaseoftrouble
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
naturals-util
naturals-util PublicDatastructures and utility classes specialized for dealing with non-negative integers.
Java
314 contributions in the last year
Day of Week | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
More
Contribution activity
November 2023
Created 11 commits in 2 repositories
Created 1 repository
-
incaseoftrouble/prism-games
Java
This contribution was made on Nov 26
Opened 1 pull request in 1 repository
prismmodelchecker/prism-games
1
open
-
Small improvement for State
This contribution was made on Nov 26
Created an issue in Kattis/problemtools that received 2 comments
Use Black formatting
Hi,
This is more of a recommendation that would ease PR / Merging significantly: Namely, use / require the python formatter black
. See here for its…
2
comments
3
contributions
in private repositories
Nov 5 – Nov 14