Alternatives and similar repositories for Inf2D-cw1--autotester

Users that are interested in Inf2D-cw1--autotester are comparing it to the libraries listed below

• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆53Updated 3 years ago
• janestreet / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆650Updated 3 years ago
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 9 months ago
• math-comp / math-comp
  Mathematical Components
  ☆652Updated this week
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆52Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,454Updated this week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆466Updated 4 years ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆86Updated last year
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆307Updated last year
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆801Updated last year
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,342Updated last week
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆352Updated this week
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated 7 months ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆529Updated 4 months ago
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,631Updated 8 months ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆611Updated 10 months ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆373Updated 5 years ago
• agda / agda-stdlib
  The Agda standard library
  ☆626Updated this week
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆335Updated 5 years ago
• cloudflare-internship-2020 / internship-application-systems
  ☆67Updated 5 years ago
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆992Updated last month
• achlipala / frap
  Formal Reasoning About Programs
  ☆702Updated last week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆694Updated 5 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆407Updated 2 weeks ago
• agda / agda-categories
  A new Categories library for Agda
  ☆387Updated last week
• recursion-ninja / CSCI-499-2021-Fall
  CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course
  ☆28Updated 3 years ago
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆17Updated last year