anurudhp / CPHaskell
A collection of templates and solutions for Competitive Programming in Haskell
☆27Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for CPHaskell
- Competitive programming utilities in Haskell☆27Updated last month
- HoTTEST Summer School materials☆289Updated last year
- The agda-unimath library☆222Updated this week
- Selected Papers of Dana S. Scott☆155Updated 5 months ago
- ☆77Updated 2 months ago
- Lecture notes on realizability☆65Updated last month
- LaTeX code for a paper on lean's type theory☆121Updated 2 years ago
- A proof assistant for higher-dimensional type theory☆147Updated this week
- Snippets for competitive programming in Haskell☆22Updated 7 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆186Updated 5 months ago
- Staged compilation with dependent types☆163Updated 2 weeks ago
- high-performance cubical evaluation☆68Updated 4 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆278Updated this week
- A simple raytracer written in Lean 4☆125Updated 6 months ago
- A function definition package for Coq☆223Updated last week
- Trying to write an understandable implementation of Haskell, in Haskell☆120Updated 3 years ago
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆292Updated 3 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆233Updated this week
- 😎TT☆218Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- Benchmarks for capture-avoiding substitution☆107Updated 2 years ago
- ☆223Updated 3 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 2 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- Mathematical Components compliant Analysis Library☆206Updated this week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆111Updated 3 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆206Updated this week
- Compiling Agda code to readable Haskell☆177Updated last month
- being an operating system for typechecking processes☆121Updated last year
- LLVM code generation in Haskell☆50Updated 3 weeks ago