Owner · ligurio

ligurio

ligurio's tracked open-source repos, sorted by stars.

3 repos

#1
awesome-ci ↗@ligurio
The list of continuous integration services and tools
★ 4,136+1Star change over the last 7 days
#2
awesome-ttygames ↗@ligurioHTML
Unix ASCII games
★ 1,027+0Star change over the last 7 days
#3
practical-fm ↗@ligurio
A gently curated list of companies using verification formal methods in industry
★ 610+0Star change over the last 7 days