All Projects → Sv Benchmarks → Similar Projects or Alternatives

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

Criterion.rs
Statistics-driven benchmarking library for Rust
Stars: ✭ 2,153 (+1262.66%)
Mutual labels:  benchmark
Awesome Open Hardware Verification
A List of Free and Open Source Hardware Verification Tools and Frameworks
Stars: ✭ 103 (-34.81%)
Mutual labels:  verification
Hpatches Benchmark
Python & Matlab code for local feature descriptor evaluation with the HPatches dataset.
Stars: ✭ 129 (-18.35%)
Mutual labels:  benchmark
Tastylib
C++ implementations of data structures, algorithms, and system designs.
Stars: ✭ 101 (-36.08%)
Mutual labels:  benchmark
Chineseblue
Chinese Biomedical Language Understanding Evaluation benchmark (ChineseBLUE)
Stars: ✭ 149 (-5.7%)
Mutual labels:  benchmark
Evo
Python package for the evaluation of odometry and SLAM
Stars: ✭ 1,373 (+768.99%)
Mutual labels:  benchmark
P2plab
performance benchmark infrastructure for IPLD DAGs
Stars: ✭ 126 (-20.25%)
Mutual labels:  benchmark
Baidu Dogs
Baidu competition for classifying dogs. More information is provided at http://js.baidu.com
Stars: ✭ 97 (-38.61%)
Mutual labels:  competition
Fast Crystal
💨 Writing Fast Crystal 😍 -- Collect Common Crystal idioms.
Stars: ✭ 140 (-11.39%)
Mutual labels:  benchmark
Phoronix Test Suite
The Phoronix Test Suite open-source, cross-platform automated testing/benchmarking software.
Stars: ✭ 1,339 (+747.47%)
Mutual labels:  benchmark
Sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Stars: ✭ 125 (-20.89%)
Mutual labels:  verification
Benchyou
benchyou is a benchmark tool for MySQL, real-time monitoring TPS and vmstat/iostat
Stars: ✭ 95 (-39.87%)
Mutual labels:  benchmark
Vscode Tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 152 (-3.8%)
Mutual labels:  verification
Json Benchmark
nativejson-benchmark in Rust
Stars: ✭ 93 (-41.14%)
Mutual labels:  benchmark
Http Router
🎉 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)
Stars: ✭ 124 (-21.52%)
Mutual labels:  benchmark
Ezfio
Simple NVME/SAS/SATA SSD test framework for Linux and Windows
Stars: ✭ 91 (-42.41%)
Mutual labels:  benchmark
Cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Stars: ✭ 138 (-12.66%)
Mutual labels:  verification
Sea Dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: ✭ 90 (-43.04%)
Mutual labels:  verification
Crossplatformdisktest
Windows, macOS and Android storage (HDD, SSD, RAM) speed testing/performance benchmarking app
Stars: ✭ 123 (-22.15%)
Mutual labels:  benchmark
Thst
Templated hierarchical spatial trees designed for high-peformance.
Stars: ✭ 84 (-46.84%)
Mutual labels:  benchmark
Leaky Repo
Benchmarking repo for secrets scanning
Stars: ✭ 149 (-5.7%)
Mutual labels:  benchmark
Fashion Mnist
A MNIST-like fashion product database. Benchmark 👇
Stars: ✭ 9,675 (+6023.42%)
Mutual labels:  benchmark
Mqperf
Stars: ✭ 122 (-22.78%)
Mutual labels:  benchmark
Vkmark
Vulkan benchmark
Stars: ✭ 80 (-49.37%)
Mutual labels:  benchmark
Dbench
Benchmark Kubernetes persistent disk volumes with fio: Read/write IOPS, bandwidth MB/s and latency
Stars: ✭ 138 (-12.66%)
Mutual labels:  benchmark
Vonage Java Sdk
Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
Stars: ✭ 75 (-52.53%)
Mutual labels:  verification
Babelstream
STREAM, for lots of devices written in many programming models
Stars: ✭ 121 (-23.42%)
Mutual labels:  benchmark
1m Go Tcp Server
benchmarks for implementation of servers which support 1 million connections
Stars: ✭ 1,193 (+655.06%)
Mutual labels:  benchmark
Coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Stars: ✭ 157 (-0.63%)
Mutual labels:  verification
Jsperf.com
jsperf.com v2. https://github.com/h5bp/lazyweb-requests/issues/174
Stars: ✭ 1,178 (+645.57%)
Mutual labels:  benchmark
Densematchingbenchmark
Dense Matching Benchmark
Stars: ✭ 120 (-24.05%)
Mutual labels:  benchmark
Service Mesh Benchmark
Stars: ✭ 72 (-54.43%)
Mutual labels:  benchmark
Sltbench
C++ benchmark tool. Practical, stable and fast performance testing framework.
Stars: ✭ 137 (-13.29%)
Mutual labels:  benchmark
Ossf Cve Benchmark
The OpenSSF CVE Benchmark consists of code and metadata for over 200 real life CVEs, as well as tooling to analyze the vulnerable codebases using a variety of static analysis security testing (SAST) tools and generate reports to evaluate those tools.
Stars: ✭ 71 (-55.06%)
Mutual labels:  benchmark
Arewefastyet
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.
Stars: ✭ 119 (-24.68%)
Mutual labels:  benchmark
Attabench
Microbenchmarking app for Swift with nice log-log plots
Stars: ✭ 1,167 (+638.61%)
Mutual labels:  benchmark
Awesome Http Benchmark
HTTP(S) benchmark tools, testing/debugging, & restAPI (RESTful)
Stars: ✭ 2,236 (+1315.19%)
Mutual labels:  benchmark
Quantum Benchmarks
benchmarking quantum circuit emulators for your daily research usage
Stars: ✭ 70 (-55.7%)
Mutual labels:  benchmark
Node Frameworks Benchmark
Simple HTTP benchmark for different nodejs frameworks using wrk
Stars: ✭ 117 (-25.95%)
Mutual labels:  benchmark
Ssri
Standard Subresource Integrity library for Node.js
Stars: ✭ 69 (-56.33%)
Mutual labels:  verification
Sysbench Tpcc
Sysbench scripts to generate a tpcc-like workload for MySQL and PostgreSQL
Stars: ✭ 136 (-13.92%)
Mutual labels:  benchmark
Http Benchmark Tornado
基于Python Tornado的高性能http性能测试工具。Java Netty版: https://github.com/junneyang/http-benchmark-netty 。
Stars: ✭ 67 (-57.59%)
Mutual labels:  benchmark
Pglib Opf
Benchmarks for the Optimal Power Flow Problem
Stars: ✭ 114 (-27.85%)
Mutual labels:  benchmark
Evalne
Source code for EvalNE, a Python library for evaluating Network Embedding methods.
Stars: ✭ 67 (-57.59%)
Mutual labels:  benchmark
Immudb
immudb - world’s fastest immutable database, built on a zero trust model
Stars: ✭ 3,743 (+2268.99%)
Mutual labels:  verification
Http Benchmarks
Benchmarks for common embedded Java and Kotlin web frameworks
Stars: ✭ 65 (-58.86%)
Mutual labels:  benchmark
Meta Blocks
A modular toolbox for meta-learning research with a focus on speed and reproducibility.
Stars: ✭ 110 (-30.38%)
Mutual labels:  benchmark
Convai Bot 1337
NIPS Conversational Intelligence Challenge 2017 Winner System: Skill-based Conversational Agent with Supervised Dialog Manager
Stars: ✭ 65 (-58.86%)
Mutual labels:  competition
Jetson benchmarks
Jetson Benchmark
Stars: ✭ 134 (-15.19%)
Mutual labels:  benchmark
Scalajs Benchmark
Benchmarks: write in Scala or JS, run in your browser. Live demo:
Stars: ✭ 63 (-60.13%)
Mutual labels:  benchmark
React Native Code Verification
❤️ Simple UI for pincode verification
Stars: ✭ 109 (-31.01%)
Mutual labels:  verification
Rb
A thread-safe fixed-size circular buffer written in safe Rust.
Stars: ✭ 59 (-62.66%)
Mutual labels:  benchmark
Competition cail
2018中国‘法研杯’法律智能挑战赛(CAIL2018)个人作品
Stars: ✭ 144 (-8.86%)
Mutual labels:  competition
Factory bot instruments
Instruments for benchmarking, tracing, and debugging Factory Girl models.
Stars: ✭ 108 (-31.65%)
Mutual labels:  benchmark
Go Web Framework Benchmark
⚡ Go web framework benchmark
Stars: ✭ 1,601 (+913.29%)
Mutual labels:  benchmark
Flutter pinput
🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations
Stars: ✭ 157 (-0.63%)
Mutual labels:  verification
Open Solution Toxic Comments
Open solution to the Toxic Comment Classification Challenge
Stars: ✭ 154 (-2.53%)
Mutual labels:  competition
Hyperkernel
Stars: ✭ 152 (-3.8%)
Mutual labels:  verification
Clue
中文语言理解测评基准 Chinese Language Understanding Evaluation Benchmark: datasets, baselines, pre-trained models, corpus and leaderboard
Stars: ✭ 2,425 (+1434.81%)
Mutual labels:  benchmark
Vtebench
Generate benchmarks for terminal emulators
Stars: ✭ 131 (-17.09%)
Mutual labels:  benchmark
61-120 of 607 similar projects