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
  ☆174Updated 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
  ☆142Updated 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
  ☆162Updated 2 years ago
• jaredloomis / andromeda
  OpenGL-based rendering engine with embedded language that compiles to GLSL.
  ☆77Updated 6 years ago
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆77Updated 5 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 5 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 9 years ago
• ocharles / zero-to-quake-3
  Implementing Quake 3 in Haskell & Vulkan
  ☆166Updated 5 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 5 months ago
• I3ck / HGE2D
  2D game engine written in Haskell
  ☆93Updated 4 years ago
• hadronized / luminance
  Type-safe, type-level and stateless Haskell graphics framework
  ☆109Updated 8 years ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆163Updated last year
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆96Updated 2 years ago
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆95Updated 8 years ago
• ekmett / discrimination
  Fast linear time sorting and discrimination for a large class of data types
  ☆137Updated 4 months ago
• augustss / djinn
  Generate Haskell code from a type
  ☆143Updated 8 months ago
• oinoom / Core
  compile your own functional language
  ☆36Updated 6 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆79Updated 5 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆58Updated 4 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 8 years ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆125Updated 3 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated last year
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆97Updated 7 months ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆140Updated 2 months ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• DanBurton / tardis
  ☆110Updated 3 months ago