Popular repositories Loading

1. yldprolog yldprolog Public

   a rewrite of Yield Prolog

   Python 4

2. octopus-llvm octopus-llvm Public

   LLVM plugin to create Octopus program graphs

   C++ 3 1

3. pymxgraph pymxgraph Public

   Python library to read and write mxgraph (drawio) graphs

   Python 3 2

4. gpgstore gpgstore Public

   front-end script for managing encrypted password storage using GnuPG

   Shell 2

5. joern-pubs joern-pubs Public

   Python 2 1

6. adtrees adtrees Public

   Attack-defense trees

   Python 2 1