House (operating system)

It is proposed that this article be deleted because of the following concern:

> Fails WP:GNG (proposed by 84.78.243.100)

If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it.

The article may be deleted if this message remains in place for seven days, i.e., after 21:33, 8 May 2025 (UTC).

If you created the article, please don't be offended. Instead, consider improving the article so that it is acceptable according to the deletion policy.
Find sources: "House" operating system – news · newspapers · books · scholar · JSTOR

PROD

Expired+[[WP:PROD|PROD]],+concern+was:+Fails+[[WP:GNG]]

Expired [[WP:PROD|prod]], concern was: Fails WP:GNG

* * *

Nominator: Please consider notifying the author/project: `{{subst:proposed deletion notify|House (operating system)|concern=Fails [[WP:GNG]]}} ~~~~`

|

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; 16 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°
* Cryptol°
* Curry°
* Elm°
* Hume°
* Idris°
* Ωmega°
* Orwell°
* Pugs°
* TidalCycles°
* Ur°

Electronic design|

* Atom°
* Bluespec SystemVerilog (BSV)

Libraries|

* Concurrent Haskell°
* 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