Verzeichnis fremder Quellcodes

systematische Konstruktionen

Musik

Gödels Propositionen

Allgemeines Schnittstellenschema

Formales Esperanto

Glauben

Fortran77 Compiler

Allgemeines Schnittstellenschema

Grundzüge der Mathematik

Agenda 1.1

Autor 0.7

Bille 0.71

Elbe 1.0

Gödel 0.7

Reversi

Archive of Proofs

Accent Parser Generator

Apache Web Server

Cephes Mathematical Library

NIST Cobol Test-Suite

Deepseek AI

NIST Fortran

Fast Lexical Analyzer

Firefox Browser

GAP Algebra

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