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 tiny 32 bit kernel written in ATS☆26Updated 10 years ago
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated 2 months ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Tool for detecting bad style in Standard ML programs☆16Updated 5 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Native B compiler for the Ti89☆12Updated 5 years ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 12 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 8 years ago
- Gidl: an Interface Description Language☆10Updated 7 years ago
- literate programming meets unison☆27Updated 9 months ago
- ☆16Updated 6 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆32Updated 4 years ago
- quick c☆35Updated 2 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Experimental C++11 backend for Idris☆14Updated 10 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
- The Alms Programming Language☆44Updated 6 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- Alice ML implementation☆17Updated 2 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago