607 Open source projects that are alternatives of or similar to Sv Benchmarks

Liquid Types For Haskell

Static verification tool for DNS zone files

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Binary Code Similarity Analysis (BCSA) Benchmark

Benchmark nodeJS worker threads for calculating prime numbers, using various dataStructures

📖 Korean NLU Benchmark

benchyou is a benchmark tool for MySQL, real-time monitoring TPS and vmstat/iostat

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

Bot for vk.com competitions

TLA+ language support for Visual Studio Code

TLA+ language support for Visual Studio Code

⏰ Dead simple, non intrusive, realtime benchmarks

A benchmark tool for Istio. It measures CPU, Memory, Network usage of istio per number of services

This project include solutions of the problem from HackerRank which will be helpful for coding interview preparations. Subscribe for more updates 👇

nativejson-benchmark in Rust

A Modeling and Verification Platform for SoCs using ILAs

⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。

Parallel Patterns Implementation of PARSEC Benchmark Applications

🎉 Release 2.0 is released! Very fast HTTP router for PHP 7.1+ (incl. PHP8 with attributes) based on PSR-7 and PSR-15 with support for annotations and OpenApi (Swagger)

Steam integration for TeamSpeak 3

A Benchmark of Real-world Image Dataset for Federated Learning

Simple NVME/SAS/SATA SSD test framework for Linux and Windows

A static verifier for Rust, based on the Viper verification infrastructure.

Kani Rust Verifier

NoPlan is the Planner of Very Small Size soccer competition

My solution to Kaggle Quora Question Pairs competition (Top 2%, Private LB log loss 0.13497).

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Comparison and benchmark of JavaScript serialization libraries (Protocol Buffer, Avro, BSON, etc.)

Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon

Android view for providing blocks (Edit Texts) to achieve verification process.

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Software for the Tablut Students Competition

📊 Benchmark multiple object trackers (MOT) in Python

Minhash LSH in Golang

Windows, macOS and Android storage (HDD, SSD, RAM) speed testing/performance benchmarking app

The Java SDK for interacting with the Yoti Platform

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

简单的滑动验证码JS插件 图片验证码

Templated hierarchical spatial trees designed for high-peformance.

A PHP benchmark application to compare PHP serializer libraries

A better load generator for locust, written in golang.

A tool to measure CPU core to core latency

Benchmarking repo for secrets scanning

golang HTTP stress test tool, support single and distributed

Performance comparison of .NET IoC containers

ROP Benchmark is a tool to compare ROP compilers

A MNIST-like fashion product database. Benchmark 👇

VHDL-2008 Support Library

Evaluation of the CNN design choices performance on ImageNet-2012.

Provides email verification on the go.

Transfer-Learning-Library

🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations

Open solution to the Toxic Comment Classification Challenge

中文语言理解测评基准 Chinese Language Understanding Evaluation Benchmark: datasets, baselines, pre-trained models, corpus and leaderboard

Generate benchmarks for terminal emulators

The Language for Smart Legal Contracts

🏋️ dbbench is a simple database benchmarking tool which supports several databases and own scripts

A repository of pretty cool datasets that I collected for network science and machine learning research.