We will choose interesting projects from this list to write articles about the checks with the description of interesting errors.
The whole list of projects that we wrote the articles about: click
Projects in C/C++ (go to C#)
-
Erlang/OTP
- Erlang/OTP (Open Telecom Platform) is a programming language.
- http://www.erlang.org/
- https://github.com/erlang/otp/
-
qBittorrent
- The qBittorrent project aims to provide a Free Software alternative to µtorrent.
- http://www.qbittorrent.org/
- https://github.com/qbittorrent/qBittorrent
-
DIVINE 4
- DIVINE is a modern, explicit-state model checker.
- https://divine.fi.muni.cz/
-
zsh
- zsh is a modern shell for *nix systems
- http://zsh.org/
- https://sourceforge.net/p/zsh/code/ci/master/tree/
- LINQ to DB
- LINQ to DB is the fastest LINQ database access library.
- https://github.com/linq2db/linq2db