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 2 weeks ago
- Debug and visualize computational geometry problems☆115Updated 3 years ago
- Handbook of geometry for competitive programmers☆93Updated 6 years ago
- ☆117Updated 3 years ago
- kimiyuki's library for competitive programming with C++☆68Updated 4 years ago
- Snippets for competitive programming in Haskell☆22Updated 8 years ago
- Book Code for ICPC; Unmaintained, see https://github.com/kth-competitive-programming/kactl/ or https://github.com/ecnerwala/cp-book☆223Updated 2 years ago
- A collection of my solutions to various informatics olympiad problems☆51Updated 2 years ago
- Agda as a collaborative multiplayer game☆38Updated 11 months ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆41Updated 8 months ago
- Code challenges to solve with Haskell☆174Updated 2 weeks ago
- Source code of summer.haskell.org☆95Updated 6 months ago
- Coq code formatter☆23Updated last week
- Auxiliary stuff for article sources☆81Updated last month
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆87Updated 4 months ago
- bollu learns implementation of dependent typing☆32Updated 2 years ago
- Book Code for Competitive Programming☆594Updated 2 weeks ago
- orz☆15Updated 2 years ago
- An automated shell script that compiles and runs a program on a set of test cases provided by the user.☆36Updated 5 years ago
- agda-mode on VS Code☆179Updated 2 weeks ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- HoTTEST Summer School materials☆312Updated 4 months ago
- ☆90Updated 5 months ago
- The agda-unimath library☆269Updated last week
- Lecture notes on realizability☆74Updated 7 months ago
- Competitive Programming☆48Updated 5 months ago
- LaTeX code for a paper on lean's type theory☆147Updated 3 years ago
- Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…☆42Updated 2 years ago