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,561–1,584 of 1,708 · Most stars

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

  • coq
  • mathcomp
  • ssreflect
  • tarjan-algorithm

Generate, encode, and decode UUIDs v1 with fast or cryptographic-quality random node identifier.

  • manipulating-uuids
  • guid
  • uuid-generator
  • uuid1

AfterGlow Cloud is a security visualization tool which lets users upload data and visualize the data as graphs on-the-fly (part of Google Summer of Code 2012).

This plugin is an add-on for WP GraphQL. It builds on top of WP GraphQL and adds all registered custom post types and taxonomies to the WP GraphQL Endpoint.

Logi is light-weight C++ Vulkan abstraction framework, which attempts to bridge the gap between previous graphics APIs and Vulkan by making API easier to use while still preserving Vulkan semantics and introducing as little overhead as possible.

  • vulkan
  • vulkan-wrapper
  • vulkan-library
  • vulkan-cpp