Alternatives and similar repositories for llvm-general:

Users that are interested in llvm-general are comparing it to the libraries listed below

• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 5 years ago
• gregorycollins / hashtables
  Mutable hash tables for Haskell, in the ST monad
  ☆127Updated last week
• BekaValentine / SimpleFP-v2
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆108Updated 7 years ago
• haskell / c2hs
  c2hs is a pre-processor for Haskell FFI bindings to C libraries
  ☆200Updated 10 months ago
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆208Updated 5 years ago
• UU-ComputerScience / uhc
  ☆136Updated 3 years ago
• ziman / lightyear
  Parser combinators for Idris
  ☆240Updated 5 years ago
• ekmett / parsers
  Generic parser combinators
  ☆86Updated 3 months ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated last year
• chetant / LibClang
  Haskell FFI to libclang
  ☆58Updated 7 years ago
• fpco / inline-c
  ☆286Updated last month
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• RefactoringTools / HaRe
  The Haskell Refactoring Tool
  ☆139Updated 7 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆198Updated 4 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆190Updated 6 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• fpco / ide-backend
  ide-backend drives the GHC API to build, query, and run your code
  ☆119Updated 9 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 8 years ago
• simonmar / monad-par
  ☆125Updated last year
• haskell / binary
  Efficient, pure binary serialisation using ByteStrings in Haskell.
  ☆110Updated this week
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆136Updated 5 years ago
• ekmett / free
  free monads
  ☆164Updated last month
• hadronized / luminance
  Type-safe, type-level and stateless Haskell graphics framework
  ☆109Updated 7 years ago
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 5 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• GaloisInc / cereal
  ☆79Updated 6 months ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago