hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (c
Coq52mit
5 months ago
coqcoq-nix-toolboxdiscrete-mathematics
oathkeeper
A cloud native Identity & Access Proxy / API (IAP) and Access Control Decision A
Go3100apache-2.0
5 months ago
api-gatewaygolanghacktoberfest
hydra
Open source API gateway with integrated cache and data transformations.
Elixir67apache-2.0
last year
Hydra
⚡️ Lightweight full-featured Promises, Async & Await Library in Swift
Swift1972mit
3 years ago
asyncawaitfutures