HarvardPL / formulog

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

Date Created 2019-04-19 (5 years ago)

Commits 813 (last one about a month ago)

Stargazers 155 (0 this week)

Watchers 12 (0 this week)

Forks 10

License apache-2.0

Ranking

RepositoryStats indexes 596,972 repositories, of these HarvardPL/formulog is ranked #217,479 (64th percentile) for total stargazers, and #178,960 for total watchers. Github reports the primary language for this repository as Java, for repositories using this language it is ranked #12,461/28,615.

HarvardPL/formulog is also tagged with popular topics, for these it's ranked: static-analysis (#317/514)

Other Information

HarvardPL/formulog has Github issues enabled, there are 7 open issues and 17 closed issues.

Homepage URL: https://harvardpl.github.io/formulog/

All Topics

smt datalog static-analysis logic-programming symbolic-execution

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

236 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

The primary language is Java but there's also others...

updated: 2024-11-20 @ 12:35pm, id: 182265902 / R_kgDOCt0oLg