BartoszMilewski / LinearLensLinks
Linear lens
β20Updated last year
Alternatives and similar repositories for LinearLens
Users that are interested in LinearLens are comparing it to the libraries listed below
Sorting:
- πΊ The power of Haskell in your terminal!β43Updated last month
- Lean 4 port of Megaparsecβ29Updated last year
- β19Updated last month
- Session types framework with support of protocol pipelining.β15Updated this week
- An unofficial Idris2 package repository for Nixβ46Updated 2 years ago
- typed finite-state machineβ18Updated 7 months ago
- CS410 "Advanced Functional Programming"β24Updated last month
- Reimplementation of a subset of Cabalβ28Updated 3 months ago
- Prototype for https://github.com/Innf107/vegaβ19Updated 11 months ago
- β41Updated last year
- Type-safe WebAssembly eDSL in Haskellβ27Updated 8 months ago
- β16Updated 2 years ago
- Check cross-references in repository documentsβ56Updated 2 months ago
- Interpret Haskell programs into any cartesian closed category.β61Updated last month
- Implementing a small functional language with a combinator based graph-reduction machineβ31Updated last year
- β21Updated last month
- todo and unimplemented, robustly implementedβ36Updated 9 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CIβ50Updated 3 months ago
- Algebraic effects in the Bluefin effect systemβ18Updated last year
- Examples for Streamlyβ29Updated last month
- Toy implementation of Martin-LΓΆf Type Theoryβ28Updated 2 years ago
- Automatic piecewise-mutable references for your typesβ42Updated 4 years ago
- A Haskell libary for fast arrowized FRP based on signal functionsβ18Updated 10 months ago
- Data frames for Idris 2β22Updated 2 years ago
- A Haskell monad transformer library for data validationβ36Updated last year
- A compiler that translates a form of lambda calculus to Cβ12Updated last year
- Strongly typed paths in Haskellβ15Updated 2 years ago
- LambdaBuffers toolkit for sharing types and their semantics between different languagesβ31Updated last week
- An implementation of a simple Neural network in Idris using category theory.β23Updated 9 months ago
- β20Updated 3 weeks ago