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:
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- run and encode simple register machine programs☆15Updated 3 years ago
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 4 years ago
- ☆9Updated 2 months ago
- ☆9Updated 5 years ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- A Turing complete language 😉☆42Updated 4 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated last year
- Staged compilation with dependent types☆178Updated 3 months 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
- Functional Programming in Lean☆101Updated this week
- A selection of textbook-like course notes for the Imperial College Computing modules.☆81Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- ☆90Updated 3 years ago
- Hoare Type Theory☆77Updated 2 months ago
- Haskell bindings for MLIR☆109Updated 5 months ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆115Updated 4 months ago
- 😎TT☆231Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- A simple raytracer written in Lean 4☆140Updated last year
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- High level commands to declare a hierarchy based on packed classes☆100Updated 2 weeks ago
- ☆233Updated last year
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 weeks ago
- Coq plugin embedding elpi☆173Updated last week
- The agda-unimath library☆261Updated this week
- The essence of Rust.☆127Updated 3 years ago
- Mathlib search tool☆97Updated 3 weeks ago