Alternatives and similar repositories for Inf2D-cw1--autotester

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

• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,479Updated 2 weeks ago
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,652Updated this week
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆53Updated 2 years ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆807Updated last year
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated last month
• wdhg / reggie
  run and encode simple register machine programs
  ☆15Updated 4 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,058Updated 6 months ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,156Updated 2 years ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,279Updated this week
• quchen / articles
  Miscellaneous articles. The readme is the table of contents.
  ☆1,303Updated 2 years ago
• hasktorch / hasktorch
  Tensors and neural networks in Haskell
  ☆1,174Updated last week
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆884Updated last year
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,007Updated 3 months ago
• tssm / up-to-date-real-world-haskell
  I'm trying to update the Real World Haskell book
  ☆795Updated 2 years ago
• erkmos / haskell-companies
  A gently curated list of companies using Haskell in industry
  ☆982Updated 2 months ago
• google / haskell-trainings
  Haskell 101 and 102: slides and codelabs
  ☆1,406Updated 2 years ago
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,946Updated 3 weeks ago
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆1,110Updated 2 months ago
• snowleopard / alga
  Algebraic graphs
  ☆750Updated 5 months ago
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆930Updated 3 years ago
• clayton-halim / cs246e-notes
  Object oriented programming notes
  ☆80Updated 3 years ago
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆658Updated 2 years ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆901Updated 5 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆311Updated last year
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆691Updated last month
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆22Updated 4 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆713Updated 8 months ago
• recursion-ninja / CSCI-499-2021-Fall
  CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course
  ☆28Updated 4 years ago
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆598Updated 2 years ago