@TrustInSoft
Guthub

TrustInSoft

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    610
  • Global Org. Rank 21,153 (Top 7 %)
  • Registered about 9 years ago
  • Most used languages
    OCaml
         40.0 %
    C
         40.0 %
    HTML
         20.0 %

Top repositories

1

tis-interpreter

An interpreter for finding subtle bugs in programs written in standard C
OCaml
565
star
2

tis-kernel

TIS Kernel, the open-source kernel of TIS Analyzer
OCaml
25
star
3

TrustInSoft

12
star
4

demo-caesar

C
4
star
5

demos

A collection of C/C++ code snippets showing TrustInSoft Analyzer capabilities
HTML
3
star
6

training-examples

C
1
star