mstksg / advent-of-code-dev
Interactive development environment and runner for Advent of Code challenges
☆26Updated last year
Alternatives and similar repositories for advent-of-code-dev:
Users that are interested in advent-of-code-dev are comparing it to the libraries listed below
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- type level sets☆67Updated 5 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆67Updated 4 months ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 8 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- ☆29Updated 5 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- ☆40Updated 5 years ago
- A tool to make solving type errors in Haskell simple and fun.☆36Updated 2 years ago
- ☆93Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- Source material for Certainty by Construction☆41Updated last year
- Generates a references DB from .hie files☆66Updated 2 weeks ago
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago
- todo and unimplemented, robustly implemented☆33Updated 7 months ago
- A discord frontend for an interactive interpreter bot☆22Updated last year
- ☆41Updated last year
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- A tool suite to aid Haskell development using `cabal-install`☆85Updated 4 months ago
- Example of usage polysemy and servant☆57Updated 5 years ago