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

529–552 of 619 · Most stars

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

  • coq-plugin
  • large-numbers
  • coq
  • docker-coq-action

Chrome Extension To Reveal Observable Notebooks As Quarto QMD {ojs} Blocks & provide downloads of FileAttachments and zipped Quarto project

  • observablehq
  • quarto
  • chrome-extension
  • observable-notebook

A High Performance, Generic, thread-safe, zero-dependency, key-value, in-memory cache

  • golang
  • cache
  • generic
  • in-memory-cache

fast, auto-fixing Markdown linter and formatter. Checks style, readability, structure, and cross-file integrity.