Sign in

Repository Index

58,632 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

2,857–2,880 of 3,148 · 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

Unofficial J2ME application for the most popular Russian social site, VK.

  • homebrew
  • j2me
  • j2me-platform
  • vk

A tiny cross-platform Go library to hide/unhide files and directories

  • fs
  • file
  • hide-files
  • hide-folder