Explore Projects
Discover 67 open source projects
Showing 41-60 of 67 projects
fossasia/pslab-test-jig
A test jig for the PSLab hardware platform, used to verify the functionality of PSLab boards.
JetBrains/intellij-platform-gradle-plugin
Gradle plugin for building plugins for JetBrains IDEs like IntelliJ IDEA, Android Studio, and more.
promptpirate-x/discord-id-bypass-tool
Tool for bypassing Discord server verification checks on low-spec machines.
open-thought/reasoning-gym
A gym for reinforcement learning with verifiable rewards, focusing on reasoning and language models.
bUnit-dev/bUnit
A testing library for Blazor components that makes component tests look, feel, and run like regular unit tests.
starkscan/starkscan-verifier
Verify Cairo contracts on Starkscan, a block explorer for the Starknet zk-rollup network, in under a minute.
truemail-rb/truemail
A configurable, framework-agnostic email validation and verification library for Ruby developers.
kristovatlas/osx-config-check
A Python script to verify the configuration of your macOS machine.
merkletreejs/merkletreejs
Construct Merkle Trees and verify proofs in JavaScript for blockchain and smart contract applications.
GaloisInc/cryptol
Cryptol is a domain-specific language for specifying and verifying cryptographic algorithms.
informalsystems/quint
Quint is a formal specification language with delightful tooling for building verified software systems.
wseagar/eight-dollars
A browser extension that distinguishes between Twitter Blue and real verified users.
persian-tools/persian-tools
A comprehensive TypeScript toolkit for Persian (Farsi) text, numbers, validation, and locale utilities.
auth0/go-jwt-middleware
A Go middleware for verifying and validating JSON Web Tokens (JWT) on HTTP requests.
WeBankBlockchain/WeIdentity
A decentralized identity solution based on blockchain that follows W3C DID and Verifiable Credential standards.
Libr-AI/OpenFactVerification
An open-source solution to automate the process of verifying factuality, designed for AI-focused developers.
riscv-software-src/riscv-tests
This repository contains a set of RISC-V tests used for verifying RISC-V processor implementations.
newcontext-oss/kitchen-terraform
A set of Test Kitchen plugins for testing Terraform configurations in a Ruby environment.
CakeML/cakeml
A verified implementation of the Standard ML programming language, with a focus on formal semantics and verification.
huggingface/Math-Verify
A Python library for verifying mathematical proofs using natural language processing.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.