Decentralized Solidity contract source code verification service
-
Updated
Jun 25, 2024 - TypeScript
Decentralized Solidity contract source code verification service
A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose). Typescript
TLA+ language support for Visual Studio Code
Reference mobile app for BrightID
Verify the Apple id token on the server side.
[Deprecated] Typescript-version of the IN3 client.
An NPM package to generate captcha images that can be used in Discord bots or various other projects
Advanced custom authentication for Next.js applications with Auth.js V5. Authentication with providers and credentials.
🧬 Check if a user owns the specific item(s) in their Steam library and give them roles! Discord bot and API.
✅ Generate functional tests automatically from your Agile specification
Test Case Generator Based on Branch Coverage and Fuzzing
VS Code extension to verify Rust programs with the Prusti verifier.
An unofficial driver license verification crawler API service. (data from www.safedriving.or.kr and www.efine.go.kr) | 비공식 운전면허 검증 API
A customizable react-native recaptcha component
Robust, open-source contract verification for the EVM
Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."