lambdacube3d / lambdacube-compilerLinks
LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:
☆87Updated last year
Alternatives and similar repositories for lambdacube-compiler
Users that are interested in lambdacube-compiler are comparing it to the libraries listed below
Sorting:
- Quake 3 map viewer in Haskell using LambdaCube 3D☆69Updated 2 years ago
- ☆138Updated 4 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- A drawing engine in Haskell☆141Updated 4 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library☆162Updated last year
- a GHC.Generics-based entity component system☆77Updated 5 years ago
- Graphics engine written in Haskell.☆36Updated 5 years ago
- A magic typeclass that just does it☆124Updated 3 years ago
- Implementing Quake 3 in Haskell & Vulkan☆165Updated 5 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Type-safe, type-level and stateless Haskell graphics framework☆109Updated 8 years ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
- High performance, regular, shape polymorphic parallel arrays.☆142Updated 7 months ago
- The LLVM LHC Haskell Optimization System☆201Updated 5 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- Haskell tool to generate expressions from types☆101Updated 8 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Named parameters (keyword arguments) for Haskell☆96Updated 5 months ago
- Fast linear time sorting and discrimination for a large class of data types☆137Updated 2 months ago
- Low-level low-overhead haskell bindings to vulkan API☆64Updated 4 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- Generate Haskell code from a type☆139Updated 6 months ago
- OpenGL-based rendering engine with embedded language that compiles to GLSL.☆77Updated 5 years ago
- ☆79Updated last year
- 2D game engine written in Haskell☆92Updated 4 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆70Updated last month
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago