jordanspooner / haskell-testsLinks
My past paper solutions for the Haskell final test at Imperial College London
☆7Updated 7 years ago
Alternatives and similar repositories for haskell-tests
Users that are interested in haskell-tests are comparing it to the libraries listed below
Sorting:
- ☆9Updated last month
- Notes for the Lectures of Year 2 Computing 2021-22☆41Updated 2 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆80Updated last year
- ☆9Updated 5 years ago
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 4 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated 2 years ago
- run and encode simple register machine programs☆14Updated 3 years ago
- Refreshed parsec-style library for compatibility with Scala parsley☆21Updated 2 months ago
- Hoare Type Theory☆76Updated 2 weeks ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 3 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 7 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 3 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- A systems theorem prover☆11Updated last year
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆24Updated this week
- A Turing complete language 😉☆42Updated 4 years ago
- Notes for first year Computing at Imperial College London☆51Updated 3 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆11Updated 7 years ago
- Implementation of the Delta Language☆8Updated last year
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆54Updated last week
- ☆251Updated 3 months ago
- PL conference deadline countdowns☆60Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- ☆33Updated 8 months ago
- Natural language tactics to teach mathematics using Lean 4☆79Updated last month
- a proof-of-concept programming language based on call-by-push-value☆54Updated this week
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Lean 4 tutorial files☆38Updated 3 weeks ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆53Updated 10 months ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago