sv-benchmarks
100ProjectsOfCode
| sv-benchmarks | 100ProjectsOfCode | |
|---|---|---|
| 1 | 26 | |
| 173 | 2,832 | |
| - | - | |
| 7.3 | 0.0 | |
| over 2 years ago | over 1 year ago | |
| - | 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...
100ProjectsOfCode
-
Fired from an internship after 2 weeks
Work on a personal project. There's a list of 100 sample projects at https://github.com/arpit-omprakash/100ProjectsOfCode
- Need help thinking of a personal project
- [Learn Programming] Une liste de 100 projets à construire
-
How do I start?
https://github.com/aceking007/100ProjectsOfCode Pick an idea, attempt idea, google when stuck, probably do tutorial, finish tutorial, go beyond tutorial, profit. That’s a good way to start. If you have anything you’ve ever wanted to make then research. Go with any language really.
- Project ideas for a beginner
- What am I missing about programming?
-
Graduating soon and feeling lost
Grind leetcode and make projects. Have fun? Not anymore. For project ideas: https://github.com/aceking007/100ProjectsOfCode
-
I am fed up with this counter application which is taught while learning ReactJS.
100 Projects Of Code
- I'm 19 i feel like i understand most of the c# syntax I've done most of the advanced topics and oop and even some design patterns and algorithms, what do i need to learn to to the next level and be ready for the hands on stuff?
-
Need your help guys🙏🙏
With the basic languages done, move on to developing projects. The projects you create allow you to showcase the skills you have developed and serve as a proof-of-concept for the things you can achieve. Here is a great list of projects you can create to put on your resume: https://github.com/aceking007/100ProjectsOfCode
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.
swirl - :cyclone: Learn R, in R.
GitHubProfileLeague - We have got all 9 contestants! Get your green squares and vote for your favourite profile!
Project-Ideas-And-Resources - A Collection of application ideas that can be used to improve your coding skills ❤.
app-ideas - A Collection of application ideas which can be used to improve your coding skills.
Projects - :page_with_curl: A list of practical projects that anyone can solve in any programming language.
free-programming-books - :books: Freely available programming books
PublicAPI - Documentation and Examples for the DonorDrive Public API