Sign in

Repository Index

82,588 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

3,385–3,408 of 3,728 · Most stars

Visual Studio for Mac add-in/extension for converting old PCLs to .NET Standard 2.0 targeting projects automatically.

  • visual-studio-for-mac-extension
  • dot-net
  • dotnet-standard
  • xamarin-forms

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

AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.

  • game
  • portal
  • stargate
  • kawoosh

A sort wrapper enabling both use of random-access sorting on non-random access containers, and increased performance for the sorting of large types.

  • sort
  • sorting