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

769–792 of 4,571 · Most stars

noUiSlider is a lightweight, ARIA-accessible JavaScript range slider with multi-touch and keyboard support. It is fully GPU animated: no reflows, so it is fast; even on older devices. It also fits wonderfully in responsive designs and has no dependencies.

The Rocq Prover is an interactive theorem prover, or proof assistant. 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.

Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and renewal

  • https
  • acme
  • letsencrypt
  • golang

The most popular open source electronic health records and medical practice management solution.

  • openemr
  • practice-management
  • emr
  • ehr

✨ PTerm is a modern Go module to easily beautify console output. Featuring charts, progressbars, tables, trees, text input, select menus and much more 🚀 It's completely configurable and 100% cross-platform compatible.

  • go
  • golang
  • golang-library
  • pretty-print

:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.

An implementation of tap targets from the Material Design guidelines for feature discovery.

  • material
  • feature-discovery
  • android
  • material-design

Automated CI toolchain to produce precompiled opencv-python, opencv-python-headless, opencv-contrib-python and opencv-contrib-python-headless packages.

The A32NX & A380X Project are community driven open source projects to create free Airbus aircraft in Microsoft Flight Simulator that are as close to reality as possible.

idb is a flexible command line interface for automating iOS simulators and devices