Sign in

Repository Index

47,133 repositories indexed

Tags: Lists and learning
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

25–37 of 37 · Most stars

Generic graph data structures and algorithms for Go (Golang): dependency graphs (DAGs) with cycle checks and topological sort, BFS and DFS traversal, Dijkstra and other shortest paths, connectivity and partitioning. No dependencies.

  • generic
  • golang
  • graph
  • graph-algorithms

WebApi toolset that allows you to make CRUD REST APIs with one line of code and to create gRPC and SignalR from reusable components too

  • library
  • web-application
  • webapi
  • webapi-core

Translated302API developer materials and integration examples: Python / Node.js / cURL, client configuration, frontend components, and a local bill verification calculator. Open source under Apache-2.0; please keep the NOTICE attribution when redistributing.

Demonstrates how an existing Angular app can be migrated to Blazor gradually by integrating Blazor components, including calling Angular service methods.

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