ProofWiki
proofwiki.org
#encyclopedie
103 tools curated in this category — including ProofWiki, Mobile Security Wiki, lintian
Find on mySelectas all sites and tools related to encyclopedie. This selection of 103 resources is reviewed and maintained by the community. The most popular include ProofWiki, Mobile Security Wiki, lintian. Each tool comes with a review, tags, comparisons and alternatives to help you make the best choice.
A collection of mobile security resources.
mobilesecuritywiki.com
Static analysis tool for Debian packages.
wiki.debian.org
copyright: — Static Reviewer executes code checks according to the most relevant Secure Coding Standards, OWASP, CWE, CVE, CVSS, MISRA, CERT, for 40+ programming languages, using 1000+ built-in validation rules for Security, Deadcode & Best Practices Available a module for Software Composition Analysis (SCA) to find vulnerabilities in open source and third party libraries.
id.atlassian.com
Gentoo Linux Wiki with a lot in-detail description of Linux components.
wiki.gentoo.org
X2Go is an open source remote desktop software for Linux that uses the NoMachine/NX technology protocol. ([Source Code](https://code.x2go.org/gitweb)) `GPL-2.0` `Perl`
wiki.x2go.org
Lightweight, servers & websites monitoring and O&M tool. ([Source Code](https://github.com/nezhahq/nezha)) `Apache-2.0` `Go/Shell`
nezha.wiki
Successor of Swing.
wiki.openjdk.org
website
pyyaml.org
Robot Operating System provides libraries and tools to help software developers create robot applications. [BSD]
wiki.ros.org
libVLClibVLC (VLC SDK) media framework. [GPL]
wiki.videolan.org
Font configuration and customization library. [MIT] [website](https://www.freedesktop.org/wiki/Software/fontconfig/)
gitlab.freedesktop.org
[:copyright:](https://github.com/fontello/fontello/wiki/What-about-license%3F) - Fontello is a tool to quickly pack vector images into webfonts. Also includes a section of stock icons.
fontello.com
Cross platform wrapper of OpenCV which can be compiled in Mono to be run on Windows, Linus, Mac OS X, iOS, and Android.
emgu.com
The home of PHP RFCs (Request for Comments).
wiki.php.net
A PHP implementation of the [TAL](https://en.wikipedia.org/wiki/Template_Attribute_Language) templating language.
phptal.org
Deluge Plugins
dev.deluge-torrent.org
Repository for RHEL and compatibles (CentOS, Scientific Linux).
docs.fedoraproject.org
Wiki completely built in HTML5/Javascript and runs 100% on the client.
dynalon.github.io
Scans log files and takes action on IPs that show malicious behavior.
fail2ban.org