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

1,633–1,656 of 1,898 · Most stars

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

  • combinatorial-optimization
  • community-detection
  • dynamic-graphs
  • edge-orientation

The Network Development and Deployment Initiative (NDDI), a partnership between Internet2, Indiana University and others was formed to create a new network platform and complementary software, which together will support global scientific research in a revolutionary new way. The Open Exchange Software Suite (OESS) is the first software product to emerge from this partnership. Internet2's 100G nationwide AL2S network is also a product of this effort.

An elixir framework to implement concurrent versions of common unix utilities, grep, find, etc..

A Golang library to manipulate strings according to the word parsing rules of the UNIX Bourne shell.

  • golang
  • golang-library
  • go

A lightweight framework for writing unit tests for Roslyn diagnostic analyzers, code fixes, refactorings and completion providers.

  • roslyn
  • roslyn-analyzer
  • test
  • roslyn-diagnostics

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad

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