Alternatives and similar repositories for lighthouse

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

• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated last year
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆31Updated 3 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 8 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 9 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆78Updated 5 years ago
• ekmett / unpacked-containers
  Unpacked containers using backpack
  ☆52Updated 5 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• acid-state / safecopy
  An extension to Data.Serialize with built-in version control
  ☆59Updated 2 months ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated 11 months ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆78Updated 10 years ago
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆76Updated last year
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 7 months ago
• ChrisPenner / mad-props
  Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.
  ☆67Updated 2 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆96Updated last year
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 2 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Updated 3 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 2 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• ekmett / auth
  ☆40Updated 6 years ago