# HarvardPL/formulog

<https://repo.masters-masters.com/en/repos/HarvardPL/formulog>

[Home](https://repo.masters-masters.com/en) › [HarvardPL](https://repo.masters-masters.com/en/owners/HarvardPL) › [formulog](https://repo.masters-masters.com/en/repos/HarvardPL/formulog)

HarvardPL/formulog has 181 stars on GitHub. Its RepoMasters card: Prototype tier. Datalog with support for SMT queries and first-order functional programming

| Field | Value |
| --- | --- |
| Owner | [HarvardPL](https://repo.masters-masters.com/en/owners/HarvardPL) |
| Stars | 181 |
| Forks | 11 |
| Language | [Java](https://repo.masters-masters.com/en/languages/java) |
| License | Apache-2.0 |
| Created | 2019 |
| Topics | datalog, logic-programming, smt, static-analysis, symbolic-execution |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [HarvardPL/formulog](https://github.com/HarvardPL/formulog) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by HarvardPL

- [HarvardPL/shill · ★ 113 · C · Prototype](https://repo.masters-masters.com/en/repos/HarvardPL/shill)

## Nearby in Java

- [wxxsfxyzm/MiuiBackGestureHook · ★ 181 · Java · Prototype](https://repo.masters-masters.com/en/repos/wxxsfxyzm/MiuiBackGestureHook)
- [aerium-browser/aerium-browser-core · ★ 181 · Java · Prototype](https://repo.masters-masters.com/en/repos/aerium-browser/aerium-browser-core)
- [HyperXenonZephyr/HyperCore · ★ 181 · Java · Prototype](https://repo.masters-masters.com/en/repos/HyperXenonZephyr/HyperCore)
- [yusuke/samurai · ★ 181 · Java · Prototype](https://repo.masters-masters.com/en/repos/yusuke/samurai)
- [ttrelle/spring-data-examples · ★ 181 · Java · Prototype](https://repo.masters-masters.com/en/repos/ttrelle/spring-data-examples)
- [dodola/PathButton · ★ 181 · Java · Prototype](https://repo.masters-masters.com/en/repos/dodola/PathButton)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.