Popular repositories Loading

1. formulog formulog Public

   Datalog with support for SMT queries and first-order functional programming

   Java 155 10

2. shill shill Public

   Scripting with Least Privilege

   C 108 2

3. AbcDatalog AbcDatalog Public

   Datalog that's as easy as ABC.

   Java 55 10

4. cs152-lecture-code cs152-lecture-code Public

   Code from CS152 lectures

   Jupyter Notebook 12 2

5. accrue-bytecode accrue-bytecode Public

   Interprocedural Java byte code analysis framework together with several analyses. Notably includes a multi-threaded points-to analysis (flow-sensitive and flow-insensitive) and a PDG construction a…

   Java 7 1

6. dminor-in-formulog dminor-in-formulog Public

   A Formulog-based implementation of a type checker for Dminor, as well as a tool for turning a Dminor program into a database of Formulog facts.

   Java 5