Sign in

Repository Index

71,372 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

193–216 of 1,175 · Most stars

Small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface.

A collection of Screens and attractive UIs built with Flutter ready to be used in your applications. No external libraries are used. Just download, add to your project and use.

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

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

Translated☀️ Nepxion Discovery is a solution for Spring Cloud with blue green, gray, route, limitation, circuit breaker, degrade, isolation, tracing, dye, failover, active (blue-green and gray release, routing, rate limiting, circuit breaking, degradation, isolation, tracing, traffic dyeing, failover, multi-active)

  • spring-cloud
  • gray-release
  • nacos
  • apollo

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.

🕵️‍♂️ (2-in-1) Email & Username OSINT suite featuring native MCP support for deep data extraction just from a single Email/Username. Analyzes 2720+ actively maintained scan vectors (210+ email / 2510+ username) for security research, investigations, and digital footprinting.

  • osint
  • osint-tool
  • python
  • osint-tools