ruHaskell-learn / lhxLinks
Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
☆15Updated 2 years ago
Alternatives and similar repositories for lhx
Users that are interested in lhx are comparing it to the libraries listed below
Sorting:
- ☆30Updated 7 years ago
- Terminal logs observer☆22Updated 4 months ago
- The category theory by example book☆59Updated last year
- ☆13Updated last week
- ClickHouse Native protocol driver in Haskell☆40Updated this week
- Coq Lecture Notes (WIP)☆54Updated 4 years ago
- Telegram Lambdabot Bot☆11Updated last year
- Interpolate plugin for GHC 8.10.7☆13Updated 3 years ago
- Easy to use library for building Telegram bots in Haskell.☆108Updated 3 weeks ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆156Updated 3 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆99Updated 3 weeks ago
- Proof theory seminar☆35Updated 4 years ago
- VSCode extension for Haskell☆110Updated 4 months ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆172Updated 2 years ago
- A Haskell implementation of realworld.io☆54Updated last year
- Haskell implementation of RON and RON-RDT☆65Updated this week
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆49Updated 5 months ago
- ☆35Updated last year
- Facilities for generating dependently-typed data☆26Updated 2 weeks ago
- Learn the Agda basics in three 2-hour sessions.☆57Updated last year
- ☆41Updated 10 years ago
- Bread Unit calculator☆33Updated 5 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆49Updated 3 years ago
- Snakes game demo.☆16Updated 8 years ago
- ☆51Updated 2 years ago
- Я - extremely composable embeddable programming language☆56Updated this week
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated 2 years ago