anurudhp / CPHaskellLinks
A collection of templates and solutions for Competitive Programming in Haskell
☆29Updated 4 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☆41Updated 2 months 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☆181Updated 2 months ago
- ☆93Updated 7 months ago
- bollu learns implementation of dependent typing☆34Updated 2 years ago
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- Snippets for competitive programming in Haskell☆21Updated 8 years ago
- HoTTEST Summer School materials☆318Updated 6 months ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- ☆234Updated last year
- LLVM code generation in Haskell☆54Updated last year
- EPIT 2020 - Spring School on Homotopy Type Theory☆109Updated 4 years ago
- A tutorial on how Agda infers things☆63Updated 5 months ago
- Selected Papers of Dana S. Scott☆169Updated last year
- high-performance cubical evaluation☆76Updated 7 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 3 months ago
- A proof assistant for higher-dimensional type theory☆224Updated 3 months ago
- LaTeX code for a paper on lean's type theory☆152Updated 3 years ago
- A Turing complete language 😉☆42Updated 5 years ago
- being an operating system for typechecking processes☆130Updated 2 months ago
- Lecture notes on realizability☆75Updated 9 months ago
- Benchmarks for capture-avoiding substitution☆121Updated 6 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 4 years ago
- Staged compilation with dependent types☆185Updated 7 months ago
- Accelerated machine learning with dependent types☆101Updated 4 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 4 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- CIS 6700, Spring 2023☆18Updated 2 years ago