Sign in

Repository Index

74,362 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

985–1,008 of 5,932 · Most stars

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.

QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.

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

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

Translated🎒 Feishu × (GPT-4 + GPT-4V + DALL·E-3 + Whisper) = a work experience that flies 🚀 Voice conversations, role-playing, multi-topic discussions, image creation, spreadsheet analysis, document export 🚀

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

  • https
  • acme
  • letsencrypt
  • golang

An implementation of Shazam's song recognition algorithm.

  • audio-fingerprinting
  • audio-processing
  • go
  • golang

Allure Report is a flexible, lightweight multi-language test reporting tool. It provides clear graphical reports and allows everyone involved in the development process to extract the maximum of information from the everyday testing process

  • allure
  • reporting
  • reporting-engine