Sign in

Repository Index

81,588 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

35,353–35,376 of 38,903 · Most stars

AnsibleDB is Flask API Web server uses MongoDB as Database to store Ansible reports and ansible facts, this tool can be used to query hosts and facters managed Ansible as well search ansible logs.

Json pretty-print parser based on a recursive lexical analyser

  • c
  • clang
  • json
  • pretty-print

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

A wrapper for Actionscript 3.0's NetGroup and RTMFP Multicasting abilities to create quick P2P multiplayer games over local networks or Adobe Cirrus