Alternatives and similar repositories for hmk

Users that are interested in hmk are comparing it to the libraries listed below

• solson / oos
  ooc operating system
  ☆40Updated 4 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆44Updated 5 years ago
• GaloisInc / gidl
  Gidl: an Interface Description Language
  ☆10Updated 7 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• nikita-volkov / hasql-transaction
  A composable abstraction over retriable transactions for Hasql
  ☆14Updated 6 months ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 11 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• cartazio / language-c
  git mirror of language-c darcs repo at http://code.haskell.org/language-c
  ☆14Updated last year
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 3 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 7 months ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 11 years ago
• wyc / snippets
  ☆52Updated 8 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated 2 months ago
• CUFP / cufp.org
  Implementation of the cufp.org website.
  ☆11Updated 7 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• proebsting / goaldi
  ☆35Updated 6 months ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated 2 years ago
• kade-robertson / stuck
  A stack-based esoteric programming language.
  ☆10Updated 7 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago