Safe allows secure management of blockchain assets.
Repository Index
86,076 visible repositories in the index
1–3 of 3 · Most stars
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
Veganify is a modern webapp that allows you to easily scan EAN barcodes to check if a product is vegan-friendly. With a database of over 3 million products, you can quickly find out if your favorite foods and products are suitable for a vegan diet.
- scanner
- barcode
- html5
- javascript