Verzeichnis fremder Quellcodes

Android Betriebssystem Apache Web Server Accent Parser Generator Archive of formal Proofs Cephes Mathematical Library NIST Cobol Test-Suite Deepseek AI NIST Fortran Fast Lexical Analyzer Firefox Browser GAP Algebra Gnome Linux Desktop Isabelle Prover Linux Kernel Lyx Latech Document Processor LibreOffice MySQL Server Netbeans IDE Openclaw AI Virtual JAVA Machine JDK PVS Prover Rocq Prover Tomcat Webserver Vienna Development Method X11 Desktop X11 Server