Applications and libraries/Operating system
< Applications and libraries
Revision as of 04:16, 31 March 2006 by DonStewart (+magic-haskell, a magic-library binding)
Standalone implementations of operating systems in Haskell
- House is a platform for exploring various ideas relating to low-level and system-level programming in a high-level functional language, or in short for building operating systems in Haskell.
- David Roundy's combination of a nice DarcsIO-style filesystem interface on the Haskell side (called FuseIO) with an interface to libfuse (which is a library for creating filesystems from user space on linux).
- Jeremy Bobbio's fuse bindings
- Halfs, the Haskell Filesystem
- Oleg Kiselyov's file server/OS where threading and exceptions are all realized via delimited continuations.
- Library support for dynamically loading Haskell modules, as well as compiling source or eval code fragments at runtime.
Link collections on pure functional shells
Haskell shell examples
- A library for using Haskell for tasks which are usually done by shell scripts, e.g. command line parsing, analysing paths, etc. It can be used also for tasks usually done GetOpt (a module for GNU-/POSIX-like option handling of commandline arguments). But also for many other things.
- Jim Mattson's Hsh Haskell shell
- on the software page by Ralf Hinze. Hsh seems to be written in Haskell 1.3.
- a nascent project page on a shell scripting system
- Monadic i/o and UNIX shell programming
- UNIX pipes as IO monads.
- library for communicating with other processes via Haskell code
- A (near-)clone of the GNU ls utility.
- h4sh provides a set of Haskell List functions as normal unix shell commands. This allows us to use Haskell in shell scripts transparently. Each program is generated from the corresponding Haskell function's type
- magic-haskell is a binding to the libmagic library. With magic-haskell, you can determine the type of a file by looking at its contents rather than its name. This library also can yield the MIME type of
a file by looking at its contents.