anurudhp / CPHaskellLinks
A collection of templates and solutions for Competitive Programming in Haskell
☆29Updated 3 years ago
Alternatives and similar repositories for CPHaskell
Users that are interested in CPHaskell are comparing it to the libraries listed below
Sorting:
- Competitive programming utilities in Haskell☆37Updated 5 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Code challenges to solve with Haskell☆156Updated 2 months ago
- Snippets for competitive programming in Haskell☆22Updated 7 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 3 years ago
- Selected Papers of Dana S. Scott☆162Updated last year
- Data structures and algorithms for competitive programming in Haskell☆14Updated last year
- A Turing complete language 😉☆42Updated 4 years ago
- Lecture notes on realizability☆72Updated 4 months ago
- The theory of groups☆78Updated last year
- LLVM code generation in Haskell☆54Updated 7 months ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- ☆86Updated 2 months ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆122Updated 4 months ago
- Benchmarks for capture-avoiding substitution