jordanspooner / haskell-tests
My past paper solutions for the Haskell final test at Imperial College London
☆8Updated 6 years ago
Related projects: ⓘ
- Notes for the Lectures of Year 2 Computing 2021-22☆39Updated last year
- ☆9Updated 4 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆55Updated 5 months ago
- Notes for first year Computing at Imperial College London☆49Updated 2 years ago
- run and encode simple register machine programs☆14Updated 3 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆51Updated last year
- Refreshed parsec-style library for compatibility with Scala parsley☆14Updated last month
- ☆15Updated 2 years ago
- Notes for second year Computing at Imperial College London☆15Updated 5 years ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆97Updated 10 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆155Updated last week
- Functional Programming in Lean☆63Updated 4 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆268Updated 2 weeks ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆117Updated 3 weeks ago
- LaTeX code for a paper on lean's type theory☆113Updated 2 years ago
- A proof assistant for higher-dimensional type theory☆137Updated 3 weeks ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆124Updated 5 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆367Updated this week
- A book about functional programming in Lean☆38Updated 7 months ago
- ☆151Updated 2 weeks ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆202Updated 3 weeks ago
- Contextual types meet mechanized metatheory!☆184Updated last month
- Implementation of the λΠ-calculus modulo rewriting☆196Updated 3 months ago
- Opam repository for the development version of Jane Street packages☆102Updated 2 weeks ago
- ☆219Updated last month
- ☆211Updated 3 weeks ago
- agda-mode on VS Code☆169Updated 2 weeks ago
- The mathematical study of type theories, in univalent foundations☆112Updated last month
- A Library for Representing Recursive and Impure Programs in Coq☆199Updated 5 months ago