BartoszMilewski / LinearLens
Linear lens
β20Updated 9 months ago
Related projects β
Alternatives and complementary repositories for LinearLens
- πΊ The power of Haskell in your terminal!β42Updated 3 weeks ago
- Implementing a small functional language with a combinator based graph-reduction machineβ28Updated 11 months ago
- β14Updated last year
- Interpret Haskell programs into any cartesian closed category.β57Updated last week
- A dependently typed programming language with direct style effects and linearityβ19Updated 3 months ago
- Session types framework with support of protocol pipelining.β15Updated last month
- An unofficial Idris2 package repository for Nixβ46Updated 2 years ago
- todo and unimplemented, robustly implementedβ34Updated 2 months ago
- LambdaBuffers toolkit for sharing types and their semantics between different languagesβ29Updated this week
- Check cross-references in repository documentsβ55Updated this week
- β40Updated last year
- β24Updated 3 months ago
- A Haskell libary for fast arrowized FRP based on signal functionsβ17Updated 3 months ago
- Lean 4 port of Megaparsecβ23Updated 10 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CIβ45Updated 2 weeks ago
- Haskell implementation of a version of cubical type theory developed for my master thesisβ16Updated 2 years ago
- Flake template for Haskell repositoryβ21Updated last month
- Package manager for Idrisβ35Updated 2 years ago
- An efficient graph library for Haskellβ39Updated 3 months ago
- An implementation of Haskellβs MVars in Racketβ28Updated last month
- β17Updated last week
- Boring and Absurd typesβ17Updated 6 months ago
- β25Updated 5 months ago
- Reimplementation of a subset of Cabalβ23Updated this week
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.β19Updated 7 months ago
- GHC plugin to desugar ! into do-notationβ37Updated 6 months ago
- typed finite-state machineβ14Updated this week
- Toy implementation of Martin-LΓΆf Type Theoryβ28Updated 2 years ago
- A haskell tutorial using CodeWorldβ17Updated 7 months ago
- Neural networks using parametric prelenses and Trimbara modulesβ31Updated 8 months ago