Sign in

Repository Index

72,362 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

433–456 of 3,191 · Most stars

Dockerized OpenAI-compatible wrapper for Kokoro-82M text-to-speech w/multiplatform CPU, AMD, NVIDIA GPU PyTorch; multi-speaker, clone-tuning, caption timestamps, SSML, websockets, optional readalong web UI

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.

Merlin is a cross-platform post-exploitation HTTP/2 Command & Control server and agent written in golang.

  • http2
  • command-and-control
  • c2
  • golang

Argon is a clean and tidy OpenWrt LuCI theme that allows users to customize their login interface with images or videos. It also supports automatic and manual switching between light and dark modes.

  • theme
  • openwrt
  • luci
  • lede

TranslatedOpenwrt for Nanopi R1S R2S R4S R5S 香橙派 (Orange Pi) R1 Plus firmware builds, clean version and all-in-one version

  • openwrt
  • r1s
  • r2s
  • r4s

Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps can include as source & avoid adding a dependency. Written in Java, usable from Groovy, Kotlin, Scala, etc.