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 7 months ago
- HoTTEST Summer School materials☆311Updated 2 months ago
- Data structures and algorithms for competitive programming in Haskell☆15Updated last year
- Code challenges to solve with Haskell☆166Updated 4 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated this week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated last week
- The agda-unimath library☆261Updated this week
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- Lecture notes on realizability☆74Updated 6 months ago
- ☆88Updated 4 months ago
- My slides and compilation of resources.☆155Updated last year
- Selected Papers of Dana S. Scott☆162Updated last year
- Benchmarks for capture-avoiding substitution☆119Updated 3 months ago
- A Turing complete language 😉☆42Updated 4 years ago
- Categorical Logic Notes☆80Updated 3 years ago
- Effective Algebraic Topology in Haskell☆91Updated 11 months ago
- ☆233Updated last year
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆125Updated 6 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 3 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆229Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆245Updated 2 weeks ago
- A proof assistant for higher-dimensional type theory☆210Updated last week
- LaTeX code for a paper on lean's type theory☆141Updated 3 years ago
- Compiling Agda code to readable Haskell☆190Updated last month
- ☆161Updated 10 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆303Updated last year
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated 2 months ago