meooow25 / hacceptedLinks
Data structures and algorithms for competitive programming in Haskell
☆15Updated 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 8 months ago
- ☆116Updated 3 years ago
- Code challenges to solve with Haskell☆167Updated 2 weeks ago
- A collection of my solutions to various informatics olympiad problems☆51Updated 2 years ago
- Book Code for ICPC; Unmaintained, see https://github.com/kth-competitive-programming/kactl/ or https://github.com/ecnerwala/cp-book☆205Updated 2 years ago
- Debug and visualize computational geometry problems☆114Updated 3 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated last week
- An automated shell script that compiles and runs a program on a set of test cases provided by the user.☆37Updated 5 years ago
- My slides and compilation of resources.☆155Updated last year
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆40Updated 8 months ago
- Tutorial on monad transformers☆62Updated 3 years ago
- Compiling Agda code to readable Haskell☆192Updated last week
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆247Updated last month
- Book Code for Competitive Programming☆591Updated last month
- Agda interaction in vim☆135Updated 3 years ago
- Fast parsing from bytestrings☆166Updated 3 weeks ago
- agda-mode on VS Code☆179Updated this week
- Library of C++ implementations for algorithms used in competitive programming.☆152Updated 2 months ago
- Agda as a collaborative multiplayer game☆38Updated 11 months ago
- ☆124Updated 8 years ago
- A Haskell blog☆149Updated 2 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 2 months ago
- HoTTEST Summer School materials☆311Updated 3 months ago
- Selected Papers of Dana S. Scott☆162Updated last year
- Auxiliary stuff for article sources☆80Updated last month
- Handbook of geometry for competitive programmers☆92Updated 6 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 3 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated last month
- The agda-unimath library☆266Updated last week