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
- Source material for Certainty by Construction☆41Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated last year
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- type level sets☆67Updated 5 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- Improving all Haskell's programmer interfaces☆70Updated 2 months ago
- A tool suite to aid Haskell development using `cabal-install`☆85Updated 3 months ago
- Find your open-soulmate <💜>☆74Updated 3 years ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆81Updated 4 years ago
- Algebraic effects in the Bluefin effect system☆15Updated 10 months ago
- A discord frontend for an interactive interpreter bot☆22Updated last year
- Convert values from one type into another.☆77Updated 2 weeks ago
- Extend Cabal build-depends from the command line☆57Updated last month
- Check cross-references in repository documents☆56Updated this week
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Prune unused Haskell dependencies.☆47Updated 2 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago
- Example of usage polysemy and servant☆57Updated 5 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆92Updated 7 months ago
- ☆49Updated 5 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Retrying for humans using Haskell.☆45Updated last year
- ☆29Updated 5 years ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆46Updated 3 weeks ago
- ️🌈 Convenient interface for printing colourful messages☆68Updated last week
- Generates a references DB from .hie files☆65Updated 8 months ago