Software

OCaml

• odoc_xref.ml - ocamldoc HTML Generatormodul dass Links zu anderen Bibliotheken erzeugen kann: [odoc_xref.ml für 4.00] [odoc_xref.ml für 3.12]
• odoc_check.ml - ocamldoc Modul zum Prüfen der Vollständigkeit von ocamldoc Dokumentation und Tags [odoc_check.ml für 4.00] [odoc_check.ml für 3.12]
• otags III - Generierung von tags-Tabellen für emacs oder vi[m] aus ocaml-Quellen (nur in englisch)
• Erweiterte OCaml Dokumentation (nur in englisch)

Coq and Proof General

• Formalisierung Coalgebraischer Logik in Coq: Dokumentation und Quellcode.
• Beweisbaumvisualisierung mit prooftree (nur in englisch)
• Unterstützung für das Arbeiten mit mehreren Dateien in Coq Proof General (nur in englisch)
• coqgraph.ml ist ein einfaches Programm zur Generierung von Abhängigkeitsgraphen für Coq Projekte. Dokumentation und Installationshinweise sind im Quellcode enthalten.
  Beispielausgabe:
  • meine Formalisierung von Schnittelimination: [JPEG] [PDF]
  • die 8.4 standard Bibliothek: [JPEG] [PDF]

Andere Sachen mit Software Bezug

• GTK Tutorium zur Behandlung von Unix-Signalen (nur in englisch)
• nutzerspezifische Smarthost Konfiguration für exim4 auf Debian etch und Debian Lenny (nur in englisch)
• Ausgewählte Teile der java card Dokumentation(nur in englisch)
• pvs-status-smiley: Ein Emacs-Lisp Paket zur Annotation von PVS Quellcode mit Beweisstatus smilies

Altlasten

• Debian etch auf einem HP Compaq nc6320 (nur in englisch)    
• Olmar - Synergie zwischen Elkhound/Elsa C++ parser und OCaml (nur in englisch)
• Memcheck - dynamische Typchecks für OCaml (nur in englisch)
• Undokumentierte Camlp5 Features und Quotations in Originalsyntax für Camlp5 und OCaml 3.09 (nur in englisch)

Home Lehre Wissenschaft Software Sonstiges