Owner

HarvardPL

3 indexed repositories · View on GitHub

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

Java · 179 stars
shill
Scripting with Least Privilege

C · 113 stars
AbcDatalog
Datalog that's as easy as ABC.

Java · 72 stars

Open All

Add better support for behavioral contracts to capability combinators Open

enhancement

HarvardPL/shill#1 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Add syntax highlighting to GUI Open

enhancement good first issue

HarvardPL/AbcDatalog#28 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
busy notification and statistics Open

enhancement good first issue help wanted

HarvardPL/AbcDatalog#34 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Consider adding SMT framing Open

enhancement

HarvardPL/formulog#4 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Add support for character literals Open

enhancement

HarvardPL/formulog#8 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Convert user-relevant system properties to proper flags Open

enhancement

HarvardPL/formulog#19 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Read in options from configuration files Open

enhancement

HarvardPL/formulog#20 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
CLI should load version from JAR Open

enhancement

HarvardPL/formulog#26 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
How should I represent user-defined types that are SMT bit-vectors Open

HarvardPL/formulog#78 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Compiler generates invalid query plans Open

bug compiler

HarvardPL/formulog#79 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026

HarvardPL

Get new issues in your inbox