alegnani / verifactory

A verifier for Factorio blueprints, enabling one to automatically check logical properties

alegnani
alegnani
Date Created 2023-08-22 (about a year ago)
Commits 108 (last one 3 months ago)
Stargazers 35 (0 this week)
Watchers 3 (0 this week)
Forks 3
License gpl-3.0
Ranking

RepositoryStats indexes 632,894 repositories, of these alegnani/verifactory is ranked #573,746 (9th percentile) for total stargazers, and #417,466 for total watchers. Github reports the primary language for this repository as Rust, for repositories using this language it is ranked #16,418/18,426.

alegnani/verifactory is also tagged with popular topics, for these it's ranked: rust (#7,132/7750)

Other Information

alegnani/verifactory has Github issues enabled, there are 4 open issues and 4 closed issues.

There have been 4 releases, the latest one was published on 2024-01-16 (about a year ago) with the name Smaller binary release.

All Topics
sat rust factorio verifier

Star History

Github stargazers over time

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

Watcher History

Github watchers over time, collection started in '23

4444333333222215 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 Mar

Recent Commit History

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

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

Yearly Commits

Commits to the default branch (main) per year

30302525202015151010550020242024

Issue History

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

Languages

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

RustRustNixNix

updated: 2025-03-15 @ 06:01pm, id: 681546040 / R_kgDOKJ-ROA