Popular repositories Loading

1. logifix logifix Public

   Fixing static analysis violations in Java source code using Datalog

   C++ 17

2. sjp sjp Public

   Java parser written in Datalog

   C++ 9

3. nway nway Public

   Algorithms for n-way diffing and merging of files with a common ancestor

   C++ 2 1

4. alster alster Public

   Experimental text editor

   C++

5. logifix-demo logifix-demo Public

   C++

6. slides-kth-workshop slides-kth-workshop Public