gandalv

Multi-Language Verification Benchmarks

Stars

2

Forks

1

Language

C++

Last Updated

Jan 20, 2020

Similar Repos
Repo Language Stars Description Updated At
Rust 2 Rust software verification benchmarks Apr 07, 2021
APL 7 Array language benchmarks Aug 09, 2022
C 2 Programming language benchmarks Aug 13, 2019
Python 121 LAnguage Modelling Benchmarks Aug 12, 2022
C 266 Programming language benchmarks Mar 18, 2023
Go 7 Benchmarks for Tengo Language Oct 23, 2021
Shell 3 Programming language implementation benchmarks Aug 21, 2016
JavaScript 2 VEDIC programming language Benchmarks Jun 01, 2023
Python 2 A collection of language benchmarks developed with Google benchmarks May 16, 2022
AutoHotkey 5 Benchmarks for the AutoHotkey language. Jun 07, 2020
Java 95 Ray tracing based language benchmarks Jan 29, 2022
Python 8 Circuit benchmarks (test cases) for formal verification of zk circuits Nov 28, 2022
Dafny 2 A verified intermediate verification language Mar 04, 2023
C 11 C language Independent Verification & Validation Jun 01, 2022
Python 2 Benchmarks for Evaluating Spanish Language Models May 10, 2022
Go 2 Benchmarks of loggers for Go language. Nov 26, 2019
C++ 4 Boosted multi-task learning for face verification Feb 21, 2020
Scala 19 Verification-condition-generation-based verifier for the Viper intermediate verification language. Jul 20, 2022
C 12 The Computer Language Benchmarks Game in Zig Aug 21, 2022
Rust 69 The Computer Language Benchmarks Game: Rust implementations Jul 11, 2022
None 2 Heap reachability verification benchmarks (manually encoded in Viper) used in Modular Verification of Heap Reachability … Jun 01, 2022
C# 1796 Dafny is a verification-aware programming language Aug 31, 2022
Scala 8 A Chisel Integrated Specification and Verification Language. May 16, 2022
C# 2 Dafny is a verification-aware programming language Mar 14, 2022
Scala 40 Definition of the Viper intermediate verification language. Jul 31, 2022
C# 2 Dafny is a verification-aware programming language Jan 31, 2023
Python 9 multi language website May 10, 2022
C 108 Crystal implementations for The Computer Language Benchmarks Game Jul 19, 2022
None 17 OpenTelemetry Profiling (language independent code, benchmarks, experiments, etc) Apr 13, 2023
Python 5 BLANCA - Benchmarks for LANguage models on Coding Artifacts Mar 16, 2023
Nim 6 Language benchmarks that are important for Bioinformatics scripting Feb 04, 2021
C# 427 Yet another implementation of computer language benchmarks game May 29, 2023
SystemVerilog 2 Verification of a MIPS Multi-Cycle Microprocessor using UVM Jun 08, 2022
Python 27 GMAIL ACCOUNT CREATOR | MULTI-THREADING | PROXY SUPPORT | PHONE VERIFICATION Apr 25, 2023
JavaScript 6 Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker Oct 01, 2022
Python 2093 TigerBot: A multi-language multi-task LLM Jan 19, 2024
Coq 81 A quantum circuit language and formal verification tool Mar 27, 2023
Ruby 27 Cross-platform, generic language, Pact provider verification tool Jun 15, 2022
Rust 10 An experimental programming language for ergonomic software verification Feb 04, 2023
Vim script 5 Vim syntax plugin for the IVy verification language Jan 31, 2023
OCaml 2 Mini-language for program verification using Hoare logic Oct 22, 2023
Rust 7 leetcode in multi language May 27, 2022
Objective-C 2 JpMooParaiso for multi language Jun 17, 2022
JavaScript 3 Basic : lazyload , multi-language Apr 25, 2020
CSS 150 Multi-language Jupyter Notebook Jul 31, 2022
Python 228 Multi-language Enhanced LLaMA Apr 09, 2023
Shell 2 Multi Language Compile Script Jan 20, 2023
Python 2 Multi language learning app Aug 17, 2023
Ruby 12217 Open Source multi-language/multi-currency/multi-store eCommerce platform Apr 24, 2023
Haskell 3 The Computer Language Benchmarks Game fannkuch-redux for ghc Aug 28, 2022