Repositories list

• formulog

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

  static-analysissymbolic-executiondatalog+ 2

  static-analysissymbolic-executiondataloglogic-programmingsmt

  Java

  •

  Apache License 2.0

  •1111 forks•180180 stars•77 issues•00 pull requests•Updated Oct 5, 2026Oct 5, 2026

• AbcDatalog

  Public
  Datalog that's as easy as ABC.

  rule-enginedataloglogic-programming+ 2

  rule-enginedataloglogic-programmingknowledge-basedeclarative-programming

  Java

  •

  Other

  •99 forks•7272 stars•22 issues•00 pull requests•Updated Aug 20, 2025Aug 20, 2025

• 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

  •

  Apache License 2.0

  •00 forks•55 stars•00 issues•00 pull requests•Updated Feb 17, 2023Feb 17, 2023

• Co-InflowPrototype

  Public
  Evaluation of Co-Inflow using IFSpec benchmark

  Java

  •

  MIT License

  •00 forks•44 stars•00 issues•00 pull requests•Updated Jun 2, 2021Jun 2, 2021

• 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-…

  Java

  •00 forks•88 stars•00 issues•00 pull requests•Updated May 10, 2017May 10, 2017

• WALA-multithread-pointer

  Public
  T.J. Watson Libraries for Analysis

  Java

  •243243 forks•00 stars•00 issues•00 pull requests•Updated Apr 5, 2017Apr 5, 2017

• cryptoerase

  Public
  Prototype compiler for cryptographic enforcement of language-based information erasure

  Java

  •

  Other

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 25, 2015Jun 25, 2015