Alternatives and similar repositories for lambdacube-compiler:

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

• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆69Updated 2 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• achirkin / vulkan
  Low-level low-overhead haskell bindings to vulkan API
  ☆64Updated 3 years ago
• tobbebex / GPipe-Core
  Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
  ☆160Updated last year
• UU-ComputerScience / uhc
  ☆137Updated 3 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆100Updated 7 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆121Updated 2 months ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• Twinside / Rasterific
  A drawing engine in Haskell
  ☆142Updated 3 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆76Updated 4 years ago
• hadronized / luminance
  Type-safe, type-level and stateless Haskell graphics framework
  ☆109Updated 8 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆93Updated last year
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆77Updated 5 years ago
• Mokosha / Lambency
  A Real-Time Rendering framework written in Haskell
  ☆53Updated last year
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆199Updated 4 years ago
• ocharles / zero-to-quake-3
  Implementing Quake 3 in Haskell & Vulkan
  ☆163Updated 4 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated last week
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated 8 months ago
• DanBurton / tardis
  ☆111Updated last year
• BekaValentine / SimpleFP-v2
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆108Updated 7 years ago
• I3ck / HGE2D
  2D game engine written in Haskell
  ☆89Updated 3 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated last year
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 5 months ago
• augustss / djinn
  Generate Haskell code from a type
  ☆133Updated last month
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆175Updated 2 months ago
• jaredloomis / andromeda
  OpenGL-based rendering engine with embedded language that compiles to GLSL.
  ☆77Updated 5 years ago