lambdacube3d / lambdacube-irLinks
LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
☆8Updated last year
Alternatives and similar repositories for lambdacube-ir
Users that are interested in lambdacube-ir are comparing it to the libraries listed below
Sorting:
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Updated last year
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- A bad XML parser☆21Updated 9 months ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 6 months ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆46Updated 6 months ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 10 months ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 3 years ago
- MPFR bindings for Haskell☆34Updated last year
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Morte IDE☆29Updated 2 months ago
- Simple reflection of expressions☆33Updated 4 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Fixed length vector for haskell☆21Updated 5 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- your dynamic optimization buddy☆27Updated 5 years ago