House (operating system)

Experimental open source operating system

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.
Find sources: "House" operating system – news · newspapers · books · scholar · JSTOR (March 2024)

|

Operating system

HouseWritten in| Haskell

|

Working state| Dormant
Latest release| 0.8.93 / January 22, 2009; 15 years ago (2009-01-22)
Default
user interface| Graphical user interface
License| 3-clause BSD[1]
Official website| http://programatica.cs.pdx.edu/House/

House (acronym for Haskell User's Operating System and Environment) is an experimental open source operating system written in Haskell. It was written to explore system programming in a functional programming language.

It includes a graphical user interface, several demos, and its network protocol stack provides basic support for Ethernet, IPv4, ARP, DHCP, ICMP (ping), UDP, TFTP, and TCP.

## References

[edit]

1. ^ "LICENSE". Retrieved 2020-09-02.

## External links

[edit]

* Official website
* A Principled Approach to Operating System Construction in Haskell, technical paper on House details

* v
* t
* e

Haskell programming

Software|

| Implementations
(features)|

* Generic Haskell°
* Glasgow Haskell Compiler°
* Template Haskell°
* Gofer° → Hugs°
* York Haskell Compiler° (Yhc)

Dialects|

* Agda°
* Concurrent Haskell°
* Cryptol°
* Curry°
* Elm°
* Hume°
* Idris°
* Ωmega°
* Orwell°
* Pugs°
* TidalCycles°
* Ur°

Electronic design|

* Atom°
* Bluespec SystemVerilog (BSV)

Libraries|

* Haskell Platform°
* Parsec°
* QuickCheck°

Package managers|

* Cabal°
* Stack°

Windowing systems|

* Fudgets
* wxHaskell°
* xmonad°

Web frameworks|

* Servant°
* Snap°
* Yesod°

* Cardano°
* Darcs°
* Ganeti°
* git-annex°
* Haddock°
* HaXml°
* House°
* Liquid Haskell°
* LOLITA
* Pandoc°
* Paradox°
* SQream DB

Book|

* Real World Haskell

Community|

| Eponym|

* Haskell Curry

|

* Arvind
* Lennart Augustsson
* Richard Bird
* Jeremy Gibbons
* Andrew D. Gordon
* Paul Hudak
* John Hughes
* John Launchbury
* John MacFarlane
* Simon Marlow
* Conor McBride
* Erik Meijer
* Simon Peyton Jones
* David Roundy
* Joe Stoy
* Audrey Tang
* Simon Thompson
* Philip Wadler

Italics = discontinued
* ° = Open-source software
Book Category:Family Category:Software

Portal:

* Free and open-source software

This operating-system-related article is a stub. You can help Wikipedia by expanding it.

|

* v
* t
* e

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template