Popular repositories Loading

1. learningbyreading learningbyreading Public

   Forked from valeriobasile/learningbyreading

   Learning by Reading pipeline of NLP and Entity Linking tools

   C

2. ikos ikos Public

   Forked from NASA-SW-VnV/ikos

   Static analyzer for C/C++ based on the theory of Abstract Interpretation.

   C++

3. seahorn seahorn Public

   Forked from seahorn/seahorn

   SeaHorn Verification Framework

   C

4. crab-llvm crab-llvm Public

   Forked from seahorn/clam

   Static Analyzer for LLVM bitcode based on Abstract Interpretation

   C

5. crab crab Public

   Forked from seahorn/crab

   CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation

   C++

6. crab-clang crab-clang Public

   Forked from awruef/crab-clang

   translate clang AST into CRAB

   C++