sv-benchmarks
compiler-benchmark
| sv-benchmarks | compiler-benchmark | |
|---|---|---|
| 1 | 3 | |
| 173 | 124 | |
| - | - | |
| 7.3 | 8.5 | |
| over 2 years ago | 9 days 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...
compiler-benchmark
-
Raw performance of compilers?
One synthetic benchmark I saw recently: https://github.com/nordlow/compiler-benchmark
-
Rust's Most Unrecognized Contributor
> The D compiler is roughly as fast as the Go one...
Not according to this benchmark:
https://github.com/nordlow/compiler-benchmark
dmd performed around 1.5x to 4x faster than go.
-
Crazy fast build times (Or when 10 seconds starts to make you nervous)
If you want crazy fast build times, then D is your best bet [1]. D's compile times are faster than most other languages (I'm not counting Vox, it's too experimental).
[1] https://github.com/nordlow/compiler-benchmark
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.
icecream - Distributed compiler with a central scheduler to share build load
GitHubProfileLeague - We have got all 9 contestants! Get your green squares and vote for your favourite profile!
SpeedTests - comparing the execution speeds of various programming languages
100ProjectsOfCode - A list of practical knowledge-building projects.
Command-Block-Assembly - Compile high-level code into Minecraft commands
keppel - Regionally federated multi-tenant container image registry
rust-prehistory - historical archive of rust pre-publication development
slowpokefs - Fuse driver to simulate slow disk IO for testing purposes
safeql - Composable / async / functional / type-safe / parallel-pipelined queries and relations without SQL injection or N+1s.