@misc{Hurd,
  title = {GNU/Hurd homepage},
  howpublished = {\url{https://www.gnu.org/software/hurd/index.html}}
}

@misc{unionmount,
title = {Unionmount project for GNU/Hurd},
author = {Sergiu Ivanov},
howpublished = {\url{https://github.com/scolobb/unionmount}}
}

@misc{nsmux,
title = {Namespaced-based translator selection for GNU/Hurd},
author = {Sergiu Ivanov},
howpublished = {\\\url{https://github.com/scolobb/nsmux}}
}

@misc{sympy,
title = {{S}ym{P}y homepage},
howpublished = {\url{http://www.sympy.org}}
}

@misc{categories,
title = {A category theory module for {S}ym{P}y},
author = {Sergiu Ivanov},
howpublished = {\url{https://github.com/scolobb/sympy}}
}

@misc{compdev,
title = {Definitions of some basic computing devices},
author = {Sergiu Ivanov},
howpublished = {\url{https://github.com/scolobb/computing-devices}}
}

@misc{brsim,
title = {A Basic Reaction System Simulator},
author = {Sergiu Ivanov},
howpublished = {\url{https://github.com/scolobb/brsim}}
}

@misc{brsimweb,
title = {Web interface to the reaction system simulator},
author = {Sergiu Ivanov},
howpublished = {\url{http://combio.abo.fi/research/reaction-systems/reaction-system-simulator/}}
}

@misc{haskellorg,
title = {The {H}askell language home page},
howpublished = {\url{https://www.haskell.org/}}
}