50 lines
1.3 KiB
BibTeX
50 lines
1.3 KiB
BibTeX
@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/}}
|
|
}
|