Mattias Ulbrich (@mattulbrich)
github

mattulbrich

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    38
  • Global Rank 412,532 (Top 15 %)
  • Followers 13
  • Registered over 8 years ago
  • Most used languages
    Java
         60.0 %
    Scala
         20.0 %
    C++
         20.0 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 18,064
  • Country Ranking
    Scala
         991
    C++
         2,171
    Java
         2,296

Top repositories

1

llreve

Automatic regression verification for LLVM programs
C++
19
star
2

mimaflux

Java
14
star
3

dive

Dafny Interactive Verification Environment (DIVE)
Java
4
star
4

DynamicDavid

Interactive Hilbert Calculus for propositional dynamic logic
Scala
1
star
5

TableauApplet

a Java implementation of an interative tableau first order theorem prover. For teaching.
Java
1
star