sv-benchmarks
TurboRLE
sv-benchmarks | TurboRLE | |
---|---|---|
1 | 1 | |
173 | 275 | |
- | - | |
7.3 | 5.2 | |
over 2 years ago | about 1 year ago | |
C | ||
- | GNU General Public License v3.0 only |
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...
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.
Onion - C library to create simple HTTP servers and Web Applications.
GitHubProfileLeague - We have got all 9 contestants! Get your green squares and vote for your favourite profile!
MongoDB C Driver - The Official MongoDB driver for C language
100ProjectsOfCode - A list of practical knowledge-building projects.
Klib - A standalone and lightweight C library
libvips - A fast image processing library with low memory needs.
OpenSSL - TLS/SSL and crypto library
GLFW - A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
Jansson - C library for encoding, decoding and manipulating JSON data
net_skeleton - Async non-blocking multi-protocol networking library for C/C++
ck - Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.