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:
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Libraries for the Effectful Haskell effects system☆23Updated 3 years ago
- todo and unimplemented, robustly implemented☆36Updated 11 months ago
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- Find your open-soulmate <💜>☆75Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆132Updated 2 years ago
- Show Haskell type annotations when doing code review on Github☆142Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- ☆41Updated last year
- Convert values from one type into another.☆76Updated 3 weeks ago
- Effects libraries in Haskell☆71Updated 2 years ago
- 🎅🌟❄️☃️🎄🎁☆99Updated 9 months ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- My Github pages website☆77Updated 7 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 7 months ago
- The Haskell Foundation Tech Proposal Process☆70Updated last year
- ☆50Updated 5 years ago
- A re-implementation of weeder using HIE files☆178Updated last month
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆40Updated 7 months ago
- A structured concurrency library☆85Updated 5 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆51Updated 3 years ago
- Tiny web application framework for WAI.☆73Updated 9 months ago
- Source material for Certainty by Construction☆44Updated last year
- Tool for cleaning away old Haskell Stack build artifacts☆37Updated last year
- An experiment of formatting .cabal files☆113Updated 5 months ago
- A discord frontend for an interactive interpreter bot☆22Updated 3 weeks ago