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
  ☆137Updated 3 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• tobbebex / GPipe-Core
  Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
  ☆161Updated last year
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆69Updated 2 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 5 years ago
• hadronized / luminance
  Type-safe, type-level and stateless Haskell graphics framework
  ☆109Updated 8 years ago
• achirkin / vulkan
  Low-level low-overhead haskell bindings to vulkan API
  ☆64Updated 4 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆122Updated 4 months ago
• Twinside / Rasterific
  A drawing engine in Haskell
  ☆142Updated 4 years ago
• haskell-game / bgfx
  Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.
  ☆32Updated 9 years ago
• ocharles / zero-to-quake-3
  Implementing Quake 3 in Haskell & Vulkan
  ☆164Updated 5 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆78Updated 5 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated 2 months ago
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆77Updated 5 years ago
• I3ck / HGE2D
  2D game engine written in Haskell
  ☆91Updated 4 years ago
• Mokosha / Lambency
  A Real-Time Rendering framework written in Haskell
  ☆53Updated last year
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆95Updated last year
• suhailshergill / extensible-effects
  Extensible Effects: An Alternative to Monad Transformers
  ☆174Updated 4 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• atzeus / FRPNow
  ☆88Updated 4 years ago
• lambdacube3d / lambdacube-gl
  OpenGL 3.3 Core Profile backend for LambdaCube 3D
  ☆24Updated last year
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• jaredloomis / andromeda
  OpenGL-based rendering engine with embedded language that compiles to GLSL.
  ☆77Updated 5 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆162Updated 4 years ago
• DanBurton / tardis
  ☆111Updated last year
• bergey / haskell-OpenGL-examples
  ☆45Updated 8 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆142Updated 4 months ago
• wavewave / fficxx
  Haskell-C++ Foreign Function Interface Generator
  ☆143Updated last year