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 3 months ago)
Stargazers 155 (0 this week)
Watchers 12 (0 this week)
Forks 10
License apache-2.0
Ranking

RepositoryStats indexes 618,350 repositories, of these HarvardPL/formulog is ranked #222,623 (64th percentile) for total stargazers, and #180,328 for total watchers. Github reports the primary language for this repository as Java, for repositories using this language it is ranked #12,595/29,128.

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

Other Information

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

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

Star History

Github stargazers over time

160160140140120120100100808060604040202000202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

171716.516.5161615.515.5151514.514.5141413.513.5131312.512.5121220232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

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

250250200200150150100100505000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

3003002502502002001501501001005050002019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
2525202015151010550020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

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

JavaJavaC++C++ANTLRANTLRCMakeCMakeVim ScriptVim ScriptDockerfileDockerfile

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