Sign in

Repository Index

67,262 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

4,249–4,272 of 4,734 · Most stars

(module) A Go JWT authentication library with refresh token rotation, Redis-backed revocation, and Gin middleware

  • golang
  • jwt
  • jwt-auth
  • go

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

Distributed, Scalable, Fault-Tolerant, Minimalistic Workflow Engine - No DAGs, No YAML, No Cumbersome Diagrams, Just Code

  • business-process
  • kafka
  • kafka-streams
  • micorservices