mboes / hmk

Related projects ⓘ

Alternatives and complementary repositories for hmk

• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• andrewchambers / qc
  quick c
  ☆34Updated 2 years ago
• solson / oos
  ooc operating system
  ☆41Updated 3 years ago
• valderman / shellmate
  Write type-safe shell scripts in Haskell
  ☆14Updated 4 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• GaloisInc / gidl
  Gidl: an Interface Description Language
  ☆10Updated 7 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 4 months ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 9 years ago
• berkus / anic
  Automatically exported from code.google.com/p/anic
  ☆6Updated 9 years ago
• mariusae / bert
  Obsolete, see: https://github.com/feuerbach/bert
  ☆24Updated 11 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 10 years ago
• gatlin / psilo
  a parallel, safe, iterative list operation language for systems programming
  ☆16Updated 4 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• ddfisher / haskell-socket-activation
  systemd socket activation library for Haskell
  ☆15Updated 4 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 8 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆17Updated 9 years ago
• xieyuheng / cicada-nymph
  a forth like language written in fasm assembler
  ☆14Updated 8 years ago
• poplog / poplog
  Poplog
  ☆21Updated 13 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 4 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• brendanhay / numbersd
  Concurrent and efficient implementation of statsd in Haskell
  ☆19Updated 10 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 12 years ago
• fpco / haskell-filesystem
  Contains the system-filepath and system-fileio packages
  ☆9Updated last year