divarvel / haskle
Source code for haskle.net
☆31Updated last year
Alternatives and similar repositories for haskle:
Users that are interested in haskle are comparing it to the libraries listed below
- A Haskell monad transformer library for data validation☆36Updated last year
- A dependently typed programming language with direct style effects and linearity☆19Updated 6 months ago
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆27Updated 2 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated last month
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 3 weeks ago
- GHC language extensions table☆48Updated last month
- Add early return to any do-expression☆46Updated 3 years ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- A tool to make solving type errors in Haskell simple and fun.☆36Updated 2 years ago
- Handle POSIX cron schedules.☆9Updated this week
- Order theory☆23Updated last year
- Require that callers propagate `HasCallStack` constraints☆21Updated last month
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- ☆41Updated last year
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- ☆22Updated last year
- Alternative and lite implementation of Hoogle☆11Updated 9 months ago
- ☆20Updated 2 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- First Class Record Fields in Haskell☆17Updated 7 months ago
- Session types framework with support of protocol pipelining.☆16Updated 3 weeks ago
- Ouroboros is a PureScript compiler written in PureScript.☆19Updated 4 months ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆64Updated 3 weeks ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- A Bash backend for PureScript☆20Updated 2 years ago
- todo and unimplemented, robustly implemented☆33Updated 4 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated last year
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆24Updated 2 years ago
- ☆38Updated last month