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

Information to reproduce results from SV-COMP (MOVED, please follow the link)

Cogent Project

Meter - is a simple micro-benchmarking tool for Android (and Java) projects. This is not a profiler, this is very small utility class that designed for making benchmarking easy. Nothing more. Alternative to Android Jetpack Benchmark.

Benchmark Comparison of Packages with Runtime Validation and TypeScript Support

Evaluation of API and performance of different actor libraries

Comparison tools

🚀 A benchmark script for PHP and MySQL (Archived)

PHP ORM Benchmark

🔥Urban-scale point cloud dataset (CVPR 2021)

Volley is a benchmarking tool for measuring the performance of server networking stacks.

A fast SAT solver

A GPU benchmark tool for evaluating GPUs on mixed operational intensity kernels (CUDA, OpenCL, HIP, SYCL)

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

"NAS evaluation is frustratingly hard", ICLR2020

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

Interoperability System for the AUVSI SUAS Competition.

Comparative Evaluation of Hand-Crafted and Learned Local Features

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).

Fully-featured benchmark driver for Ruby 3x3

Kotlin multiplatform benchmarking toolkit

Benchmark of open source, embedded, memory-mapped, key-value stores available from Java (JMH)

A simple framework for compile-time benchmarks

benchmark for embededded-ai deep learning inference engines, such as NCNN / TNN / MNN / TensorFlow Lite etc.

ECMAScript verification with SMT solvers

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A gatling plugin for running load tests on Apache Dubbo(https://github.com/apache/incubator-dubbo) and other java ecosystem.

Statistics-driven benchmarking library for Rust

Python & Matlab code for local feature descriptor evaluation with the HPatches dataset.

Chinese Biomedical Language Understanding Evaluation benchmark (ChineseBLUE)

performance benchmark infrastructure for IPLD DAGs

💨 Writing Fast Crystal 😍 -- Collect Common Crystal idioms.

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

TLA+ language support for Visual Studio Code

🎉 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)

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

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

Benchmarking repo for secrets scanning

Benchmark Kubernetes persistent disk volumes with fio: Read/write IOPS, bandwidth MB/s and latency

STREAM, for lots of devices written in many programming models

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Dense Matching Benchmark

C++ benchmark tool. Practical, stable and fast performance testing framework.

NOT MAINTAINED ANYMORE! New project is located on https://github.com/mozilla-frontend-infra/js-perf-dashboard -- AreWeFastYet is a set of tools used for benchmarking the major browser's JavaScript virtual machines against each other, as well as reporting the results on a website as insightful graphs showing the evolution of performance over time.

HTTP(S) benchmark tools, testing/debugging, & restAPI (RESTful)

Simple HTTP benchmark for different nodejs frameworks using wrk

Sysbench scripts to generate a tpcc-like workload for MySQL and PostgreSQL

Benchmarks for the Optimal Power Flow Problem

immudb - world’s fastest immutable database, built on a zero trust model

A modular toolbox for meta-learning research with a focus on speed and reproducibility.

Jetson Benchmark

❤️ Simple UI for pincode verification

2018中国‘法研杯’法律智能挑战赛（CAIL2018）个人作品

⚡ Go web framework benchmark

A collection of popular Data Science Challenges/Competitions || Countdown timers to keep track of the entry deadlines.

🔥🚀 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