Blog

In this tutorial we learn how to install hol88-contrib-source on Ubuntu. hol88-contrib-source is Higher Order Logic, user contributed source

In this tutorial we learn how to install hol88-contrib-help on Ubuntu. hol88-contrib-help is Higher Order Logic, user contributed online help files

In this tutorial we learn how to install hol88 on Ubuntu. hol88 is Higher Order Logic, system image

In this tutorial we learn how to install hoichess on Ubuntu. hoichess is xboard compatible chess engine to play chess with

In this tutorial we learn how to install hodie on Ubuntu. hodie is prints the date in Latin

In this tutorial we learn how to install hobbit-plugins on Ubuntu. hobbit-plugins is plugins for the Xymon network monitor

In this tutorial we learn how to install hnb on Ubuntu. hnb is hierarchical notebook

In this tutorial we learn how to install hmmer2-doc on Ubuntu. hmmer2-doc is profile hidden Markov models for protein sequence analysis (docs)

In this tutorial we learn how to install hmmer2 on Ubuntu. hmmer2 is profile hidden Markov models for protein sequence analysis

In this tutorial we learn how to install hmmer-examples on Ubuntu. hmmer-examples is profile hidden Markov models for protein sequence analysis (examples)

In this tutorial we learn how to install hmmer-doc on Ubuntu. hmmer-doc is profile hidden Markov models for protein sequence analysis (docs)

In this tutorial we learn how to install hmmer on Ubuntu. hmmer is profile hidden Markov models for protein sequence analysis