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☆39Updated 2 weeks ago
- Data structures and algorithms for competitive programming in Haskell☆16Updated last year
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Code challenges to solve with Haskell☆174Updated 2 weeks ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated 2 weeks ago
- HoTTEST Summer School materials☆312Updated 4 months ago
- ☆90Updated 5 months ago
- The agda-unimath library☆269Updated this week
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆248Updated last month
- A Turing complete language 😉☆42Updated 5 years ago
- Selected Papers of Dana S. Scott☆165Updated last year
- Organization and planning for the Initial Types Club☆73Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆120Updated 4 months ago
- 😎TT☆232Updated 2 months ago
- A formalization of geometry in Coq based on Tarski's axiom system☆199Updated 5 months ago
- A proof assistant for higher-dimensional type theory☆216Updated last month
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆308Updated last year
- My slides and compilation of resources.☆155Updated last year
- ☆233Updated last year
- Staged compilation with dependent types☆182Updated 5 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- Compiling Agda code to readable Haskell☆193Updated this week
- Lecture notes on realizability☆74Updated 7 months ago
- A function definition package for Coq☆233Updated last week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆126Updated 7 months ago
- Strongly-typed System F in Haskell☆119Updated 2 years ago
- Snippets for competitive programming in Haskell☆22Updated 8 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated last month
- Spartan type theory☆271Updated last month
- Lecture notes on univalent foundations of mathematics with Agda☆230Updated last year