Alternatives and similar repositories for Inf2D-cw1--autotester

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

• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated 2 years ago
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 7 months ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆15Updated 3 years ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,449Updated 2 weeks ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• hasktorch / hasktorch
  Tensors and neural networks in Haskell
  ☆1,145Updated this week
• math-comp / math-comp
  Mathematical Components
  ☆633Updated 2 weeks ago
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,625Updated 6 months ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆334Updated 5 years ago
• agda / agda-stdlib
  The Agda standard library
  ☆620Updated this week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,712Updated this week
• recursion-ninja / CSCI-499-2021-Fall
  CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course
  ☆28Updated 3 years ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆373Updated 5 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆688Updated 3 months ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,331Updated 3 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆299Updated last year
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆879Updated 9 months ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆309Updated 2 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆796Updated last year
• snowleopard / alga
  Algebraic graphs
  ☆740Updated 3 weeks ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆693Updated this week
• agda / cubical
  An experimental library for Cubical Agda
  ☆497Updated last week
• swarm-game / swarm
  Resource gathering + programming game
  ☆879Updated last week
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆914Updated 3 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,684Updated this week
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆16Updated 4 months ago