Explore Projects
Discover 88 open source projects
Showing 41-60 of 88 projects
typedgrammar/typed-japanese
A TypeScript library for learning Japanese grammar through type-level programming and DSLs.
FGRibreau/mailchecker
A cross-language library for detecting temporary/disposable email addresses with support for over 55,000 fake email providers.
hacl-star/hacl-star
HACL* is a formally verified cryptographic library written in the F* programming language, focused on security and high-performance.
cubiq/ComfyUI_InstantID
ComfyUI_InstantID is a Python library that enables developers to integrate instant ID verification and authentication functionality into their AI-powered applications.
viperproject/prusti-dev
A static verifier for Rust based on the Viper verification infrastructure.
uccmawei/FingerprintIdentify
An Android SDK for fingerprint authentication that works across Meizu and Samsung devices.
xyzeva/k-id-age-verifier
TypeScript bot for automated age verification across Discord, Twitch, Kick, and Quora.
ultraembedded/riscv
Open-source RISC-V CPU Core (RV32IM) for ASIC and FPGA development
creusot-rs/creusot
Creusot helps developers prove their Rust code is correct using automated formal verification.
pulp-platform/axi
AXI SystemVerilog IP modules and verification infrastructure for high-performance on-chip communication.
inference-labs-inc/inference-network
A proof-of-concept project for trustless AI verification using blockchain technology.
tlaplus/Examples
A collection of TLA+ specifications for developers interested in formal methods and verification.
ViRb3/TrustMeAlready
A tool to disable SSL verification and pinning on Android, allowing developers to bypass security checks.
promptpirate-x/discord-id-bypass-tool
Tool for bypassing Discord server verification checks on low-spec machines.
YosysHQ/oss-cad-suite-build
Open-source digital design and verification tools for hardware development
batfish/batfish
Batfish is a network configuration analysis tool that helps engineers safely evolve their network.
NopeCHALLC/nopecha-scripts
Automated CAPTCHA solver usage examples for popular CAPTCHA types like reCAPTCHA, hCaptcha, and Cloudflare Turnstile.
ucsd-progsys/liquidhaskell
Liquid Haskell is a verification system that adds dependent types and refinement types to the Haskell language.
hughperkins/VeriGPU
Open-source GPU in Verilog, loosely based on RISC-V ISA for AI acceleration and hardware design.
truemail-rb/truemail
A configurable, framework-agnostic email validation and verification library for Ruby developers.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.