Search Results - RepositoryStats

22

88

mit

1

Auth Inbox 📬 is a self-hosted, open-source platform for receiving multiple email verification codes and real-time notifications, built using Cloudflare's free services. | Auth Inbox 📬 是一个自建的开源多邮箱验证码...

2fa mail email security cloudflare open-source verfication multiple-emails cloudflare-email cloudflare-workers cloudflare-email-routing

Created 2024-10-07

99 commits to main branch, last one 2 months ago

VeriGauge AI-secure

7

88

unknown

6

A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]

robustness verfication deep-learning

Created 2020-03-15

29 commits to master branch, last one 2 years ago

ortac ocaml-gospel

10

40

mit

5

Runtime assertion checking based on Gospel specifications

ocaml verfication specification runtime-verification

Created 2020-09-08

876 commits to main branch, last one 3 days ago