pr-martin

Pinned Repositories

jkindRegression
Language:Python0 5 00
jkind
JKind - An infinite-state model checker for safety properties in Lustre
Language:Java52 12 4832
jkind_ci
Language:Shell0 5 00
Angular-GettingStarted
Sample Angular application used in the "Angular: Getting Started" course: http://bit.ly/Angular-GettingStarted
Language:TypeScript0 2 00
kivy_examples
Language:Python0 2 00
rcptt_ci
Language:Shell00
rcptt_ci_win
AGREE Continuous Integration for Windows
Language:Shell0 2 00
regressionSuite
0 5 01
svn-git
0 2 00

pr-martin's Repositories

pr-martin/Angular-GettingStarted
Sample Angular application used in the "Angular: Getting Started" course: http://bit.ly/Angular-GettingStarted
Language:TypeScript0 2 00
pr-martin/kivy_examples
Language:Python0 2 00
pr-martin/rcptt_ci
Language:Shell00
pr-martin/rcptt_ci_win
AGREE Continuous Integration for Windows
Language:Shell0 2 00
pr-martin/regressionSuite
0 5 01
pr-martin/svn-git
0 2 00