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 last month
- Code challenges to solve with Haskell☆178Updated last month
- HoTTEST Summer School materials☆314Updated 4 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Data structures and algorithms for competitive programming in Haskell☆16Updated last year
- Lecture notes on realizability☆74Updated 8 months ago
- Organization and planning for the Initial Types Club☆73Updated 3 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- ☆234Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated 2 months ago
- ☆92Updated 6 months ago
- A tutorial on how Agda infers things☆63Updated 3 months ago
- bollu learns implementation of dependent typing☆32Updated 2 years ago
- My slides and compilation of resources.☆155Updated last year
- Compiling Agda code to readable Haskell☆194Updated 3 weeks ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆249Updated 2 months ago
- Selected Papers of Dana S. Scott☆165Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 3 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated this week
- The agda-unimath library☆271Updated last week
- A Turing complete language 😉☆42Updated 5 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆62Updated 2 years ago
- LaTeX code for a paper on lean's type theory☆149Updated 3 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- Snippets for competitive programming in Haskell☆22Updated 8 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 months ago
- 😎TT☆233Updated 2 months ago
- Horn Clause Constraint Solving for Liquid Types☆153Updated last week
- Accelerated machine learning with dependent types☆101Updated 2 months ago