Alternatives and similar repositories for imperial-computing-materials-downloader:

Users that are interested in imperial-computing-materials-downloader are comparing it to the libraries listed below

• jessicalally / hello-world
  ☆9Updated 4 years ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• jordanspooner / haskell-tests
  My past paper solutions for the Haskell final test at Imperial College London
  ☆7Updated 7 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 10 months ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆174Updated 4 months ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆168Updated 3 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆296Updated last year
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆129Updated 2 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated last year
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆103Updated 3 years ago
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆191Updated last week
• wilbowma / pl-thesaurus
  ☆89Updated 3 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated last week
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆162Updated last week
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆120Updated 4 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 4 months ago
• LeifAndersen / PLGradSchools
  ☆226Updated 6 months ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆156Updated last month
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆51Updated 3 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆236Updated this week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆165Updated 2 months ago
• lexa-lang / lexa
  ☆30Updated 4 months ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆98Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 7 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago