Giters

pillowtrucker / hstherac25

Therac-25 control software implemented in haskell according to the Leveson report.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

concurrencyeducationalgamehaskellsecuritystmtherac-25

This repository is not active

About

Therac-25 control software implemented in haskell according to the Leveson report.

concurrencyeducationalgamehaskellsecuritystmtherac-25

License:GNU Affero General Public License v3.0

Languages

Language:Haskell 99.1%Language:Emacs Lisp 0.9%