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 2 months ago
- A Turing complete language 😉☆42Updated 4 years ago
- Data structures and algorithms for competitive programming in Haskell☆12Updated last year
- ☆82Updated 6 months ago
- Lecture notes on realizability☆73Updated last month
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 11 months ago
- Code challenges to solve with Haskell☆126Updated 2 years ago
- Benchmarks for capture-avoiding substitution☆113Updated last week
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Natural language tactics to teach mathematics using Lean 4☆66Updated last week
- A formalization of geometry in Coq based on Tarski's axiom system☆192Updated last month
- Snippets for competitive programming in Haskell☆22Updated 7 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆124Updated 4 years ago
- The agda-unimath library☆246Updated this week
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- LaTeX code for a paper on lean's type theory☆132Updated 2 years ago
- 😎TT☆225Updated last year
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆117Updated last month
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- A proof assistant for higher-dimensional type theory☆172Updated this week
- HoTTEST Summer School materials☆297Updated last year
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆247Updated this week
- LLVM code generation in Haskell☆54Updated 4 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated 7 months ago
- Selected Papers of Dana S. Scott☆159Updated 9 months ago
- Formalization of Mathematical Logic☆105Updated last week
- EPIT 2020 - Spring School on Homotopy Type Theory☆104Updated 3 years ago
- A toolkit for enforcing logical specifications on neural networks☆86Updated this week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- The WIP book for CPSC 411☆63Updated this week