mstksg / advent-of-codeLinks
🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
☆49Updated this week
Alternatives and similar repositories for advent-of-code
Users that are interested in advent-of-code are comparing it to the libraries listed below
Sorting:
- 🚧 a work in progress effect system for Haskell 🚧☆138Updated 2 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆59Updated 2 weeks ago
- A Haskell blog☆151Updated 2 months ago
- LLVM code generation in Haskell☆54Updated last year
- ☆140Updated this week
- Effects libraries in Haskell☆71Updated 2 years ago
- todo and unimplemented, robustly implemented☆36Updated last year
- Agda as a collaborative multiplayer game☆37Updated last year
- A library for producing terminal plots.☆70Updated last month
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆110Updated 3 weeks ago
- ☆76Updated 3 years ago
- Strongly-typed System F in Haskell☆120Updated 3 years ago
- Competitive programming utilities in Haskell☆42Updated 3 weeks ago
- Functional choreographic programming in Haskell☆113Updated 6 months ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆68Updated 2 years ago
- Я - extremely composable embeddable programming language☆102Updated last week
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A fast, safe, and intuitive DataFrame library.☆161Updated this week
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆44Updated last month
- Agda lecture notes for the Functional Programming course at TU Delft☆132Updated 5 months ago
- A modern step-through debugger for GHC Haskell☆88Updated 3 weeks ago
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 10 months ago
- Source material for Certainty by Construction☆47Updated last year
- Best practices on how to be efficient with Haskell in production☆115Updated last month
- A curated list of awesome functional programming jobs.☆82Updated 2 months ago
- A re-implementation of weeder using HIE files☆184Updated 2 weeks ago
- Interactive development environment and runner for Advent of Code challenges☆26Updated 2 years ago
- Compiling Agda code to readable Haskell☆196Updated last month
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 3 months ago
- Fast and concise extensible effects☆109Updated 2 years ago