jonsterling / Lens.hpp
Functional Lenses in C++
☆21Updated 13 years ago
Related projects ⓘ
Alternatives and complementary repositories for Lens.hpp
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Compile Haskell-like code into C++ template metaprograms☆58Updated 8 years ago
- Functors, Monads and Free Monads in C++☆18Updated last year
- Constraing solving using functional methods in C++ and Haskell.☆20Updated 9 years ago
- Epic - a Supercombinator Compiler☆11Updated 14 years ago
- A series of implementations of a simple functional programming language.☆30Updated 8 years ago
- ☆58Updated 4 months ago
- The LVish Haskell library☆81Updated 2 years ago
- playground for working with succinct data structures☆94Updated 9 years ago
- Inline C & Objective-C in Haskell☆147Updated 7 years ago
- Experimental C++11 backend for Idris☆14Updated 9 years ago
- Jhc: Haskell Compiler☆35Updated 9 years ago
- Poor Richard's Memory Manager☆15Updated 3 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- Runtime code generation for x86 machine code☆25Updated last year
- The dependently & gradually typed Sage programming language☆9Updated 10 years ago
- ☆41Updated 7 years ago
- An Ivory library inspired by Atom☆14Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 7 years ago
- A static analysis tool for C.☆26Updated 5 years ago
- Morte IDE☆29Updated 10 months ago
- 😇 Wholly Adaptive LLVM Optimizer☆26Updated 4 years ago
- A programming language☆76Updated 11 years ago
- ☆20Updated 9 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- `uhttpc` - µHTTP client library☆27Updated 5 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago