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:
- typed finite-state machine☆18Updated 6 months ago
- Session types framework with support of protocol pipelining.☆15Updated last week
- ☆19Updated 3 weeks ago
- 📺 The power of Haskell in your terminal!☆42Updated last week
- Prototype for https://github.com/Innf107/vega☆19Updated 10 months ago
- Reimplementation of a subset of Cabal☆27Updated 2 months ago
- todo and unimplemented, robustly implemented☆36Updated 8 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 9 months ago
- Check cross-references in repository documents☆56Updated 2 months ago
- Examples for Streamly☆29Updated 2 weeks ago
- ☆41Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 months ago
- Algebraic effects in the Bluefin effect system☆17Updated last year
- Strongly typed paths in Haskell☆15Updated 2 years ago
- ☆23Updated 10 months ago
- Haskell port of the Nanopass Compiler Framework☆22Updated last year
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated 6 months ago
- Automation for releasing haskell packages☆18Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆31Updated last week
- Haskell wrapper for iced☆34Updated last month
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- ☆20Updated last week
- Embedding of python interpreter into haskell programs☆11Updated 3 weeks ago
- Haskell implementation of data structures for data science☆22Updated 2 months ago
- Issues and proposals related to the HF Stability Working Group☆26Updated 3 weeks ago
- Implementing a small functional language with a combinator based graph-reduction machine☆30Updated last year
- Interpret Haskell programs into any cartesian closed category.☆61Updated 2 weeks ago
- GitHub Action to build, test, and lint Stack-based Haskell projects☆22Updated last week