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 2 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 4 years ago
- ☆9Updated 5 years ago
- run and encode simple register machine programs☆15Updated 3 years ago
- A Turing complete language 😉☆42Updated 4 years ago
- Hoare Type Theory☆77Updated last month
- The theory of groups☆79Updated last year
- A selection of textbook-like course notes for the Imperial College Computing modules.☆79Updated last year
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆38Updated last year
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- ☆86Updated 2 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆108Updated 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
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Haskell bindings for MLIR☆109Updated 4 months ago
- ☆13Updated 11 months ago
- ☆90Updated 3 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆169Updated 4 years ago
- Church encodings written in Haskell☆25Updated 5 years ago
- Object-oriented programming in Python for mathematicians☆13Updated 3 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 3 months ago
- ☆233Updated 11 months ago
- Build system☆123Updated last year
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆24Updated 3 weeks ago
- High level commands to declare a hierarchy based on packed classes☆99Updated last week
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 7 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 4 years ago