-
Formal Mind GmbH
- Düsseldorf, Germany
- http://formalmind.com
- @jastram
Block or Report
Block or report jastram
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
-
-
web_bank
web_bank PublicForked from interesse/web_bank
Command line tool to export the credit card transactions from visa cards issued by the German Bank DKB.
Python
-
model-evaluation
model-evaluation PublicForked from openETCS/model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
C
-
toolchain
toolchain PublicForked from openETCS/toolchain
WP7: Top Level Project for the toolchain
TeX
1 contribution in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More