mstksg / advent-of-code-devLinks
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
Sorting:
- Source material for Certainty by Construction☆43Updated last year
- Effects libraries in Haskell☆71Updated 2 years ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- ☆51Updated 2 years ago
- todo and unimplemented, robustly implemented☆36Updated 10 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- A tool to make solving type errors in Haskell simple and fun.☆37Updated 2 years ago
- Find your open-soulmate <💜>☆74Updated 3 years ago
- Terminal Emulator written in 100% Haskell☆67Updated 3 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆81Updated 4 years ago
- Generates a references DB from .hie files☆67Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆130Updated last year
- Improving all Haskell's programmer interfaces☆74Updated 5 months ago
- My Github pages website☆76Updated 5 months ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- A structured concurrency library☆85Updated 4 months ago
- Fast and concise extensible effects☆108Updated 2 years ago
- Extend Cabal build-depends from the command line☆57Updated last month
- A tool suite to aid Haskell development using `cabal-install`☆87Updated last month
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Show Haskell type annotations when doing code review on Github☆142Updated 4 years ago
- Convert values from one type into another.☆76Updated last month
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Tool for cleaning away old Haskell Stack build artifacts☆37Updated last year
- ☆49Updated 5 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Updated 5 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated 3 months ago