lambdacube3d / lambdacube-compiler

Related projects ⓘ

Alternatives and complementary repositories for lambdacube-compiler

• hadronized / luminance
  Type-safe, type-level and stateless Haskell graphics framework
  ☆109Updated 7 years ago
• I3ck / HGE2D
  2D game engine written in Haskell
  ☆90Updated 3 years ago
• achirkin / vulkan
  Low-level low-overhead haskell bindings to vulkan API
  ☆63Updated 3 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 5 years ago
• tobbebex / GPipe-Core
  Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
  ☆158Updated last year
• Twinside / Rasterific
  A drawing engine in Haskell
  ☆140Updated 3 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆95Updated 7 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• UU-ComputerScience / uhc
  ☆136Updated 3 years ago
• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆68Updated last year
• DanBurton / tardis
  ☆110Updated 9 months ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated 4 months ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆47Updated 6 years ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆55Updated 3 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆93Updated last year
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆78Updated 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 8 years ago
• jaredloomis / andromeda
  OpenGL-based rendering engine with embedded language that compiles to GLSL.
  ☆76Updated 5 years ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆95Updated 2 years ago
• ocharles / zero-to-quake-3
  Implementing Quake 3 in Haskell & Vulkan
  ☆162Updated 4 years ago
• wavewave / fficxx
  Haskell-C++ Foreign Function Interface Generator
  ☆141Updated last year
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆214Updated 4 months ago
• lambdacube3d / lambdacube-gl
  OpenGL 3.3 Core Profile backend for LambdaCube 3D
  ☆22Updated last year
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆111Updated 2 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆137Updated 8 months ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆91Updated 2 weeks ago