@smackers
Guthub

smackers

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    431
  • Global Org. Rank 25,704 (Top 9 %)
  • Registered over 11 years ago
  • Most used languages
    C
         33.3 %
    Java
         16.7 %
    Shell
         16.7 %
    C#
         16.7 %
    Rust
         16.7 %

Top repositories

1

smack

SMACK Software Verifier and Verification Toolchain
C
416
star
2

whoop

automatic data race analysis for Linux device drivers
C
12
star
3

sbb

SMACK Boogie Benchmarks
3
star
4

smack-images

Shell
2
star
5

smack-rust-regressions

Regression tests for Rust support in SMACK
Rust
2
star
6

lockpwn

blazing fast symbolic analysis for concurrent C programs
C#
1
star
7

smackd

Eclipse Plugin for Debugging with SMACK
Java
1
star