Explore Projects
Discover 88 open source projects
Showing 61-80 of 88 projects
chipsalliance/riscv-dv
A random instruction generator for RISC-V processor verification, written in Python.
Hentioe/policr-mini
A Telegram bot focused on verification, built using the Elixir programming language.
mravanelli/SincNet
SincNet is a neural architecture for efficiently processing raw audio samples for speech and audio processing tasks.
wenet-e2e/wespeaker
A research and production-oriented toolkit for speaker verification, recognition, and diarization using AI and ML techniques.
passportxyz/passport
Passport is a decentralized identity verification platform for developers to integrate secure authentication.
verilog-to-routing/vtr-verilog-to-routing
Open-source CAD flow for FPGA research, enabling Verilog-to-routing design and verification
retyui/react-native-confirmation-code-field
A TypeScript library for creating confirmation code input fields in React Native apps for iOS, Android, and Web.
KEV0143/Telegram-Software-SMM
A universal SMM platform for Telegram with features like segmented messaging, user verification, and chat automation.
informalsystems/quint
Quint is a formal specification language with delightful tooling for building verified software systems.
xihan123/SignHook
A simple signature verification module in Kotlin for developers working with AI tools.
ywdblog/certbot-letencrypt-wildcardcertificates-alydns-au
A Python plugin for certbot that automatically renews Let's Encrypt wildcard SSL/TLS certificates using Alibaba, Tencent, or GoDaddy DNS for domain verification.
clovaai/voxceleb_trainer
A Python library for training speaker recognition models using the VoxCeleb dataset.
fan-ziqi/rl_sar
A C++ library for simulation and deployment of robot reinforcement learning algorithms for quadruped, wheeled, and humanoid robots.
WebSpiderUtils/verification_code
A comprehensive collection of tools and techniques for cracking various types of verification codes and captchas.
typetools/checker-framework
A pluggable type-checking tool for Java that helps catch bugs and enforce code correctness.
berkeley-abc/abc
ABC is a system for sequential logic synthesis and formal verification, not a vibe coder tool.
gookit/validate
A Go library for flexible data validation and filtering, supporting Map, Struct, and Form data.
pact-foundation/pact-jvm
A JVM version of Pact, enabling consumer-driven contract testing for microservices.
CakeML/cakeml
A verified implementation of the Standard ML programming language, with a focus on formal semantics and verification.
google/certificate-transparency-go
A Go library for auditing TLS certificates, providing cryptographic verification of certificate transparency logs.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.