lambdacube3d / lambdacube-ir
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
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- A bad XML parser☆21Updated 6 months ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 12 years ago
- creating a cabal new-build configuration from a stack configuration☆12Updated 6 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 3 years ago
- Fixed length vector for haskell☆21Updated 2 months ago
- Type-safe library for generating haskell source code☆28Updated 7 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆15Updated 3 years ago
- ☆18Updated last year
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆21Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 7 months ago
- ☆18Updated 2 years ago
- MPFR bindings for Haskell☆34Updated last year
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- `uhttpc` - µHTTP client library☆27Updated 5 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago