HarvardPL/formulog
View on GitHubDatalog with support for SMT queries and first-order functional programming
- Stars
- 179
- Forks
- 11
- Open beginner issues
- 0
- Indexed issues
- 7
- Avg merge
- 8h 34m
- Merged PRs (30d)
- 6
- Dominant language
- Java
- License
- Apache-2.0
- Last GitHub push
- Sep 14, 2026
- Latest indexed
- Sep 17, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
enhancement
HarvardPL/formulog#4 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement
HarvardPL/formulog#8 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
HarvardPL/formulog#19 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
HarvardPL/formulog#20 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
HarvardPL/formulog#26 · 0 comments · 0 reactions · 0 assignees ·
-
HarvardPL/formulog#78 · 5 comments · 0 reactions · 0 assignees ·
-
bug compiler
HarvardPL/formulog#79 · 2 comments · 0 reactions · 0 assignees ·