anurudhp / CPHaskell
A collection of templates and solutions for Competitive Programming in Haskell
☆27Updated 3 years ago
Alternatives and similar repositories for CPHaskell:
Users that are interested in CPHaskell are comparing it to the libraries listed below
- Competitive programming utilities in Haskell☆30Updated last month
- Data structures and algorithms for competitive programming in Haskell☆12Updated 11 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 10 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆120Updated 4 years ago
- The agda-unimath library☆237Updated this week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 3 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆249Updated 2 months ago
- LaTeX code for a paper on lean's type theory☆129Updated 2 years ago
- ☆80Updated 5 months ago
- A complete collection of my undergraduate notes☆33Updated 2 years ago
- Selected Papers of Dana S. Scott☆158Updated 8 months ago
- A simple raytracer written in Lean 4☆132Updated 9 months ago
- Snippets for competitive programming in Haskell☆22Updated 7 years ago
- ☆227Updated 6 months ago
- CIS 6700, Spring 2023☆17Updated 2 years ago
- Experiments in automation for Lean☆92Updated last week
- agda-mode for neovim☆142Updated this week
- Code challenges to solve with Haskell☆123Updated 2 years ago
- HoTTEST Summer School materials☆296Updated last year
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆243Updated this week
- Lecture notes on realizability☆67Updated 4 months ago
- A formalization of geometry in Coq based on Tarski's axiom system☆190Updated 3 weeks ago
- Demo for dependent types + runtime code generation☆66Updated this week
- Theorem Proving in Lean 4☆173Updated 4 months ago
- An introduction to theorem proving in Lean for the impatient.☆130Updated this week
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- ☆236Updated last week
- Overview of tactics in Lean 4 for beginners — longer version☆74Updated 5 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆67Updated this week