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
last changed on 22 Sep 2016 by
Hendrik