The repository host gives no description.
Repository Index
47,133 repositories indexed
241–251 of 251 · Most stars
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Solving the mini Rubik (2x2) in Coq
- theorem-proving
- formalization
- rubik-cube
- 2x2x2
Gemini Dockerized CLI with small improvements
Formal proof in Coq of Puiseux's Theorem.
The new and improved custom discord bot to power the official Arduino discord server @ https://arduino.cc/discord
Nakedo Discord Bot with Stream Notification Commands improved
Improves access rights management in Sitecore
Flexible and rock solid gate keeping for CakePHP, moderate/approve changes.
- moderation
- gate-keeper
- cakephp
- cakephp-plugin
Sitecore Publish functionality improvements and extensions by Rob Habraken
Proven and opinionated programming, and configuration model for Java and Vertx based applications. Inspired from ATG Nucleus, provides powerful layer base configuration management using simple properties file.
- atg
- nucleus
- ioc
- spring