sv-benchmarks
SpeedTests
sv-benchmarks | SpeedTests | |
---|---|---|
1 | 4 | |
173 | 62 | |
- | - | |
7.3 | 7.5 | |
over 2 years ago | 3 months ago | |
Python | ||
- | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
sv-benchmarks
-
“Pack it in, mathematicians, someone owes LLVM a million bucks”
Somewhat related: a similar program [1] is part of the benchmarks used in the annual Software Verification Competition (SV-COMP). Specifically, in the termination analysis suite.
Maybe they secretly hope that some tool, someday, will spit out a correct proof? :)
[1] https://github.com/sosy-lab/sv-benchmarks/blob/svcomp17/c/te...
SpeedTests
- SpeedTests: Comparing the execution speeds of various programming languages
-
Compile for faster execution?
Thanks. Maybe somebody could look at my program why it's so slow. I have a project in which I benchmark several languages for the same problem. I added Julia (link) but I expected it to be faster. The source code is here.
- SpeedTests: Comparing Execution Speeds of Various Programming Languages
What are some alternatives?
guiadevbrasil - Um guia extenso de informações com um vasto conteúdo de várias áreas para ajudar, agregar conhecimento e retirar dúvidas, nesse guia você encontrará tudo que necessário para qualquer carreira relacionada a tecnologia.
dextool - Suite of C/C++ tooling built on LLVM/Clang
GitHubProfileLeague - We have got all 9 contestants! Get your green squares and vote for your favourite profile!
codechecker - CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
100ProjectsOfCode - A list of practical knowledge-building projects.
compiler-benchmark - Benchmarks compilation speeds of different combinations of languages and compilers.
Apache Thrift - Apache Thrift
fastcov - A massively parallelized gcov wrapper
DaemonMode.jl - Client-Daemon workflow to run faster scripts in Julia
PackageCompiler.jl - Compile your Julia Package
BenchmarkTools.jl - A benchmarking framework for the Julia language
sdl2-examples - SDL2 examples, for 25+ different programming languages