About
verto.sh
verto.sh simplifies your entry into the open-source world by curating accessible projects. Ideal for beginners making their first contribution, founders building teams, and maintainers seeking new contributors.
Your Gateway to Open-Source Collaboration!
Browse by Language
Sort Repositories
chaoskube periodically kills random pods in your Kubernetes cluster.
lang: Go
stars: 1.8K
last activity:
Concise, consistent, and legible badges in SVG and raster format
lang: JavaScript
stars: 23.1K
last activity:
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
lang: OCaml
stars: 4.7K
last activity:
This project creates full-stack platform-specific downloadable packages for GitLab.
lang: Ruby
stars: 660
last activity:
Ward is a modern test framework for Python with a focus on productivity and readability.
lang: Python
stars: 1.2K
last activity:
Deep universal probabilistic programming with Python and PyTorch
lang: Python
stars: 8.5K
last activity:
Gitaly is a Git RPC service for handling all the git calls made by GitLab
lang: Go
stars: 391
last activity:
Framework for next generation web apps using micro frontends. :rocket:
lang: TypeScript
stars: 1.7K
last activity:
OpenGrok is a fast and usable source code search and cross reference engine, written in Java
lang: Java
stars: 4.3K
last activity:
A highly efficient implementation of Gaussian Processes in PyTorch
lang: Python
stars: 3.5K
last activity:
Cross-platform framework for building truly native mobile apps with Java or Kotlin. Write Once Run Anywhere support for iOS, Android, Desktop & Web.
lang: Java
stars: 1.7K
last activity: