mstksg / advent-of-code
🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
☆40Updated 2 months ago
Alternatives and similar repositories for advent-of-code:
Users that are interested in advent-of-code are comparing it to the libraries listed below
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Source material for Certainty by Construction☆41Updated last year
- Distributors - Unifying Parsers, Printers & Grammars☆21Updated last week
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆38Updated 2 months ago
- ☆41Updated last year
- A discord frontend for an interactive interpreter bot☆22Updated last year
- todo and unimplemented, robustly implemented☆33Updated 7 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆93Updated this week
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Terminal Emulator written in 100% Haskell☆67Updated 3 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- A tool suite to aid Haskell development using `cabal-install`☆84Updated 4 months ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆66Updated last year
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Fast equality saturation in Haskell☆84Updated last month
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 2 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- ☆25Updated 2 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated 2 weeks ago
- 🚧 a work in progress effect system for Haskell 🚧☆125Updated last year
- ☆22Updated 4 months ago
- Effects libraries in Haskell☆71Updated last year
- A Really Cool Calculator written in Haskell... or is it?☆41Updated 3 years ago
- GHC plugin to desugar ! into do-notation☆37Updated last month
- Extend Cabal build-depends from the command line☆57Updated last month
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Simple configuration and extra tools for NVIM + LSP + Idris2☆47Updated 4 months ago