Update DEVTools.md

This commit is contained in:
nbats 2024-06-08 19:57:20 -07:00 committed by GitHub
parent bef718ff15
commit 30c10591bf
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1420,7 +1420,7 @@
* [DNSPerf](https://www.dnsperf.com/dns-providers-list/) - DNS Provider Rankings
* [GRC DNSBench](https://www.grc.com/dns/benchmark.htm) - DNS Benchmark
* [DNS Propagation](https://dnspropagation.net/) - DNS Checker
* [DNSDumpster](https://dnsdumpster.com/), [DNS Watch](https://dnswatch.info) or [WhatsMyDNS](https://whatsmydns.net/) - DNS Lookup / Security
* [DNSDumpster](https://dnsdumpster.com/), [DNS Watch](https://dnswatch.info), [DNSHistory](https://dnshistory.org/) or [WhatsMyDNS](https://whatsmydns.net/) - DNS Lookup / Security
* [WebAuthn](https://webauthn.guide/) - Web Authentication API - [Demo](https://webauthn.io/)
* [Hydra](https://github.com/ory/hydra) - OAuth 2.0 Server / OpenID Connect Provider
* [SuperTokens](https://supertokens.com/) or [Lucia](https://lucia-auth.com/) - User Authentication