Skip to content
@HarvardPL

Harvard Programming Languages Research

The repo of the Harvard PL research group

Popular repositories Loading

  1. formulog formulog Public

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

    Java 172 10

  2. shill shill Public

    Scripting with Least Privilege

    C 110 2

  3. AbcDatalog AbcDatalog Public

    Datalog that's as easy as ABC.

    Java 67 8

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

    Code from CS152 lectures

    Jupyter Notebook 14 4

  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 8

  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

Repositories

Showing 10 of 18 repositories
  • cs152-lecture-code Public

    Code from CS152 lectures

    HarvardPL/cs152-lecture-code’s past year of commit activity
    Jupyter Notebook 14 4 0 0 Updated Mar 31, 2026
  • formulog Public

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

    HarvardPL/formulog’s past year of commit activity
    Java 172 Apache-2.0 10 7 0 Updated Mar 23, 2026
  • datalog-synth-asp-prototype Public

    Prototype tool that synthesizes Datalog programs using ASP.

    HarvardPL/datalog-synth-asp-prototype’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Jan 29, 2026
  • datalog-smmt-cvc4-impl Public

    Prototype SMT solver supporting Datalog as a monotonic theory

    HarvardPL/datalog-smmt-cvc4-impl’s past year of commit activity
    SMT 0 MIT 0 0 0 Updated Jan 29, 2026
  • datalog-smmt-z3-impl Public

    Datalog as a monotonic SMT theory, implemented as a Z3 user propagator

    HarvardPL/datalog-smmt-z3-impl’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated Jan 29, 2026
  • AbcDatalog Public

    Datalog that's as easy as ABC.

    HarvardPL/AbcDatalog’s past year of commit activity
    Java 67 8 2 (1 issue needs help) 0 Updated Aug 20, 2025
  • formulog-syntax Public

    TextMate grammar file for Formulog used in VS Code

    HarvardPL/formulog-syntax’s past year of commit activity
    Makefile 2 Apache-2.0 0 0 0 Updated Oct 21, 2024
  • ASPSynth-Clingo Public

    Tool for Datalog synthesis-as-rule-selection that uses answer set programming (ASP)

    HarvardPL/ASPSynth-Clingo’s past year of commit activity
    CMake 1 Apache-2.0 0 0 0 Updated Nov 29, 2023
  • 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.

    HarvardPL/dminor-in-formulog’s past year of commit activity
    Java 5 Apache-2.0 0 0 0 Updated Feb 17, 2023
  • datalog-synth-smt-asp-artifact Public

    Artifact for the paper "From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems"

    HarvardPL/datalog-synth-smt-asp-artifact’s past year of commit activity
    0 0 0 0 Updated Oct 5, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…