meooow25 / hacceptedLinks
Data structures and algorithms for competitive programming in Haskell
☆17Updated last year
Alternatives and similar repositories for haccepted
Users that are interested in haccepted are comparing it to the libraries listed below
Sorting:
- A collection of templates and solutions for Competitive Programming in Haskell☆30Updated 4 years ago
- Competitive programming utilities in Haskell☆42Updated 3 weeks ago
- Snippets for competitive programming in Haskell☆21Updated 8 years ago
- Code challenges to solve with Haskell☆185Updated 4 months ago
- Tutorial on monad transformers☆64Updated 4 years ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆51Updated 3 weeks ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 3 years ago
- Source code of summer.haskell.org☆97Updated 3 weeks ago
- A Haskell blog☆151Updated 3 months ago
- Agda as a collaborative multiplayer game☆38Updated last year
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated last month
- A re-implementation of weeder using HIE files☆183Updated last month
- ☆94Updated 9 months ago
- 🎅🌟❄️☃️🎄🎁☆45Updated last year
- Strongly-typed System F in Haskell☆120Updated 3 years ago
- Agda interaction in vim☆136Updated 4 years ago
- Fast parsing from bytestrings☆173Updated 3 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Best practices on how to be efficient with Haskell in production☆114Updated last month
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- agda-mode for neovim☆175Updated last week
- Documentation about Haskell's dangerous functions and a hlint config file to warn about them☆186Updated 11 months ago
- My slides and compilation of resources.☆158Updated last year
- Debug and visualize computational geometry problems☆113Updated 3 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 2 weeks ago
- Benchmarks for capture-avoiding substitution☆121Updated 8 months ago
- Distributors - Unifying Parsers, Printers & Grammars☆61Updated this week
- LLVM code generation in Haskell☆54Updated last year
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆110Updated last week