Repository Index

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

• coq
• randomized-algorithms
• probability
• monad

Helper to upload Gradle Android Artifacts, Gradle Java Artifacts and Gradle Kotlin Artifacts to Maven repositories (JCenter, Maven Central, Corporate staging/snapshot servers and local Maven repositories).

• jcenter
• mavencentral
• maven-repository
• maven

A place for AI artifacts to live and evolve

• electron
• html
• notes-app
• nextprob