Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

2,497–2,520 of 3,032 · Most stars

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

The library provides a unified way to read configuration data from different sources, such as environment variables, command line flags, and configuration files.

FreeDesktop.org (xdg) Specs implemented in Go

  • xdg
  • go
  • xdg-specs
  • golang

The repo provides instructions on deploying CloudPakforData on the public cloud.

Darkine KDE - Theme for KDE Plasma 5 desktop > Mirror of https://git.rokin.in/Rokin/darkine-kde

  • darkine-kde
  • darkine
  • darkine-theme
  • theme

With a clear and graphically appealing GUI you can access the system deeply, overclock the Pi or replace the entire desktop environment. Everything you need to use the Pi as a desktop computer. PiGro does many commands that have to be entered via the terminal with one or two clicks of a button.

  • gui
  • app-store
  • gui-script
  • install