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

1,081–1,104 of 4,381 · Most stars

Realm is a mobile database: an alternative to SQLite & key-value stores

  • mobile-database
  • nosql-database
  • realm-mobile-database
  • realm

A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications

A Node.js module for sending notifications on native Mac, Windows and Linux (or Growl as fallback)

  • javascript
  • notification-center
  • growl
  • node-notifier

(Replaces Next.js/Nuxt) 🔨 Build mission-critical applications with stability and development freedom.

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.