Sign in

Repository Index

72,862 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

2,545–2,568 of 3,210 · Most stars

Password generator written in Golang, usable as a CLI or Go library. Provides options for human readable and accessibility friendly passwords.

  • golang
  • go
  • go-library
  • golang-library

Library and utilities to read and write broadcasting media files. Primarily supports the MXF file format

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

  • common-lisp
  • domain-specific-languages
  • dsl
  • json