lollobaldo / Inf2D-cw1--autotester
☆24Updated 3 years ago
Alternatives and similar repositories for Inf2D-cw1--autotester:
Users that are interested in Inf2D-cw1--autotester are comparing it to the libraries listed below
- A selection of textbook-like course notes for the Imperial College Computing modules.☆77Updated last year
- ☆231Updated 8 months ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated 2 years ago
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated 4 months ago
- An introduction to programming language theory in Agda☆1,417Updated 2 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆518Updated 2 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆292Updated last year
- A Learning Environment for Theorem Proving with the Coq proof assistant☆401Updated last year
- A List of Foundational Haskell Papers☆865Updated 5 months ago
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Updated 3 years ago
- ☆17Updated 3 years ago
- Formal Reasoning About Programs☆682Updated 10 months ago
- run and encode simple register machine programs☆14Updated 3 years ago
- A new Categories library for Agda☆377Updated 3 weeks ago
- papers of Per Martin Löf☆776Updated last year
- An introductory course to Homotopy Type Theory☆365Updated 4 years ago
- A web site for converting haskell code into pointfree haskell code☆163Updated 2 years ago
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆366Updated this week
- Create and simulate finite state machines in your browser. Includes interactive exercises.☆9Updated 7 years ago
- HoTTEST Summer School materials☆297Updated last year
- Visual Studio Code extension for Coq☆377Updated this week
- Tensors and neural networks in Haskell☆1,111Updated last week
- Supplementary course notes for Dr. Ilchul Yoon & Dr. A.U. Shankar's CMSC216 at the University of Maryland, compiled during my time as a T…☆13Updated 4 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆323Updated last week
- Object oriented programming notes☆79Updated 2 years ago
- A gently curated list of companies using verification formal methods in industry☆527Updated 2 months ago
- Research language for array processing in the Haskell/ML family☆1,611Updated 3 months ago
- Lean Library currently studying for a degree at Imperial College☆225Updated 2 months ago
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird☆15Updated 12 years ago