meooow25 / hacceptedLinks
Data structures and algorithms for competitive programming in Haskell
☆16Updated 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☆29Updated 3 years ago
- Competitive programming utilities in Haskell☆39Updated last month
- Handbook of geometry for competitive programmers☆94Updated 7 years ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆42Updated 9 months ago
- Snippets for competitive programming in Haskell☆22Updated 8 years ago
- Debug and visualize computational geometry problems☆115Updated 3 years ago
- Book Code for ICPC; Unmaintained, see https://github.com/kth-competitive-programming/kactl/ or https://github.com/ecnerwala/cp-book☆230Updated 2 years ago
- ☆117Updated 3 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 5 months ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆88Updated last week
- Agda interaction in vim☆135Updated 4 years ago
- Code challenges to solve with Haskell☆178Updated last month
- A collection of my solutions to various informatics olympiad problems☆52Updated 2 years ago
- ☆92Updated 6 months ago
- 🎅🌟❄️☃️🎄🎁☆45Updated 11 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- HoTTEST Summer School materials☆314Updated 4 months ago
- Coq code formatter☆23Updated last month
- orz☆15Updated 2 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated 3 weeks ago
- A WIP definitional (co)datatype package for Lean4☆44Updated last week
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated 2 months ago
- Parser Combinator Library for Lean 4☆59Updated last week
- A Haskell blog☆150Updated 3 weeks ago
- Overview of tactics in Lean 4 for beginners — longer version☆96Updated 4 months ago
- Distributors - Unifying Parsers, Printers & Grammars☆56Updated this week
- Categorical Logic Notes☆80Updated 3 years ago
- bollu learns implementation of dependent typing☆32Updated 2 years ago
- Agda as a collaborative multiplayer game☆38Updated last year