Misplaced Pages

The following pages link to GeneWeb

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• ML (programming language) (links | edit)
• OCaml (links | edit)
• Poplog (links | edit)
• Leopold Mozart (links | edit)
• Robin Milner (links | edit)
• Standard ML (links | edit)
• Isabelle (proof assistant) (links | edit)
• HOL (proof assistant) (links | edit)
• Logic for Computable Functions (links | edit)
• F Sharp (programming language) (links | edit)
• GEDCOM (links | edit)
• Coq (software) (links | edit)
• PhpGedView (links | edit)
• Extended ML (links | edit)
• Friends Reunited (links | edit)
• FamilySearch (links | edit)
• MLton (links | edit)
• Xavier Leroy (links | edit)
• Genographic Project (links | edit)
• Anna Maria Mozart (links | edit)
• Lennart Augustsson (links | edit)
• Standard ML of New Jersey (links | edit)
• Dependent ML (links | edit)
• Concurrent ML (links | edit)
• Twelf (links | edit)
• Camlp4 (links | edit)
• SLAM project (links | edit)
• Caml (links | edit)
• Genealogy software (links | edit)
• MacroML (links | edit)
• Don Sannella (links | edit)
• Ancestry.com (links | edit)
• Family Tree Maker (links | edit)
• FFTW (links | edit)
• Damien Doligez (links | edit)
• Geneweb (redirect page) (links | edit)
• JoCaml (links | edit)
• HOL Light (links | edit)
• Haxe (links | edit)
• MTASC (links | edit)
• Reunion (genealogy software) (links | edit)
• Gramps (software) (links | edit)
• GenealogyJ (links | edit)
• Personal Ancestral File (links | edit)
• Legacy Family Tree (links | edit)
• Frank Pfenning (links | edit)
• Leonid Amalrik (links | edit)
• Comparison of genealogy software (links | edit)
• Matita (links | edit)
• Family Historian (links | edit)