mboes / hmk
A pure Haskell implementation of Plan9's mk
☆16Updated 9 years ago
Alternatives and similar repositories for hmk:
Users that are interested in hmk are comparing it to the libraries listed below
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- ooc operating system☆41Updated 3 years ago
- Alice ML implementation☆17Updated 2 years ago
- Gidl: an Interface Description Language☆10Updated 7 years ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- A programming language☆77Updated 11 years ago
- ☆23Updated 9 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- quick c☆35Updated 3 years ago
- A tiny 32 bit kernel written in ATS☆26Updated 11 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- XHTML combinator library☆9Updated 5 months ago
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- ☆16Updated 10 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Lua implemented in Mercury☆15Updated last year
- A stack-based esoteric programming language.☆10Updated 7 years ago
- ARM-based operating system - fork of http://github.com/mrd/puppy☆15Updated 10 years ago
- A fast, low-level HTTP server you can trust☆47Updated 6 years ago
- Utility functions to get images in and out of (GNU) APL☆6Updated 8 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago