Alternatives and similar repositories for lambdacube-compiler

Users that are interested in lambdacube-compiler are comparing it to the libraries listed below

• UU-ComputerScience / uhc
  ☆138Updated 4 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆176Updated 6 years ago
• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆69Updated 2 years ago
• Twinside / Rasterific
  A drawing engine in Haskell
  ☆143Updated 4 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆202Updated 5 years ago
• tobbebex / GPipe-Core
  Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
  ☆164Updated 2 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆145Updated 9 months ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 8 years ago
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆77Updated 5 years ago
• ocharles / zero-to-quake-3
  Implementing Quake 3 in Haskell & Vulkan
  ☆166Updated 5 years ago
• hadronized / luminance
  Type-safe, type-level and stateless Haskell graphics framework
  ☆109Updated 8 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 8 months ago
• I3ck / HGE2D
  2D game engine written in Haskell
  ☆93Updated 4 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 9 years ago
• wavewave / fficxx
  Haskell-C++ Foreign Function Interface Generator
  ☆145Updated 2 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆143Updated 10 months ago
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆95Updated 8 years ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆140Updated last week
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆141Updated last year
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆83Updated 10 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 5 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 7 months ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆97Updated 2 years ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆163Updated last year
• GaloisInc / cereal
  ☆80Updated last year
• rainbyte / frag
  Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong
  ☆145Updated 5 years ago
• wxHaskell / wxHaskell
  MOVED TO https://codeberg.org/wxHaskell/wxHaskell
  ☆80Updated last year
• lprez / Ombra
  Graphics engine written in Haskell.
  ☆36Updated 6 years ago
• agocorona / MFlow
  (Haskell) Web application server with stateful, type safe user interactions and widget combinators
  ☆101Updated 10 years ago