mstksg / advent-of-code-devLinks
Interactive development environment and runner for Advent of Code challenges
☆26Updated 2 years ago
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:
- ⚡️Efficient implementation of Map with types as keys☆102Updated 3 weeks ago
- Effects libraries in Haskell☆71Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆137Updated 2 years 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
- Tiny web application framework for WAI.☆73Updated last year
- A tool suite to aid Haskell development using `cabal-install`☆89Updated 8 months ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆51Updated last month
- todo and unimplemented, robustly implemented☆36Updated last year
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Updated 5 years ago
- Source material for Certainty by Construction☆48Updated 2 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- The Haskell Foundation Tech Proposal Process