formalsec / smtml

An SMT solver frontend for OCaml

Date Created 2023-03-23 (about a year ago)
Commits 797 (last one 10 days ago)
Stargazers 31 (0 this week)
Watchers 7 (0 this week)
Forks 8
License mit
Ranking

RepositoryStats indexes 619,220 repositories, of these formalsec/smtml is ranked #584,052 (6th percentile) for total stargazers, and #274,210 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #692/723.

formalsec/smtml is also tagged with popular topics, for these it's ranked: webassembly (#1,012/1042),  ocaml (#285/293)

Other Information

formalsec/smtml has 1 open pull request on Github, 204 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 15 open issues and 56 closed issues.

Homepage URL: https://formalsec.github.io/smtml/smtml/

Star History

Github stargazers over time

3535303025252020151510105500May '23May '23Jun '23Jun '23Jul '23Jul '23Aug '23Aug '23Sep '23Sep '23Oct '23Oct '23Nov '23Nov '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '2420252025Feb '25Feb '25

Watcher History

Github watchers over time, collection started in '23

8888777777666615 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 Feb

Recent Commit History

797 commits on the default branch (main) since jan '22

80080070070060060050050040040030030020020010010000Apr '23Apr '23May '23May '23Jul '23Jul '23Aug '23Aug '23Oct '23Oct '23Nov '23Nov '2320242024Feb '24Feb '24Apr '24Apr '24May '24May '24Jul '24Jul '24Aug '24Aug '24Oct '24Oct '24Nov '24Nov '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (main) per year

50050045045040040035035030030025025020020015015010010050500020242024

Issue History

Total Issues
Open Issues
Closed Issues
8080707060605050404030302020101000Apr '23Apr '23May '23May '23Jul '23Jul '23Aug '23Aug '23Sep '23Sep '23Oct '23Oct '23Nov '23Nov '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '2420252025Feb '25Feb '25

Languages

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

OCamlOCamlPythonPythonShellShellSMTSMTDockerfileDockerfileDuneDuneRakuRakuCommon LispCommon LispTuringTuring

updated: 2025-02-20 @ 06:20pm, id: 618050885 / R_kgDOJNa1RQ