Star the repo to help support! The open source operating system for creating viral content on social media.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
GitHub workflow for automatically generating Luarocks releases from tags and running busted tests
- automation
- busted
- cicd
- luarocks
Simple Job Scheduler implementation for dropwizard, integrating Guice and Quartz.
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect