Alternatives and similar repositories for Inf2D-cw1--autotester

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

• MatthewHepburn / FSM-Workbench
  Create and simulate finite state machines in your browser. Includes interactive exercises.
  ☆10Updated 7 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆56Updated 4 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆300Updated 3 weeks ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last month
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 4 months ago
• JetBrains / Arend
  The Arend Proof Assistant
  ☆716Updated 4 months ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆337Updated this week
• erkmos / haskell-companies
  A gently curated list of companies using Haskell in industry
  ☆970Updated 2 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆946Updated this week
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆80Updated last year
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆594Updated 7 months ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆371Updated 4 years ago
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆16Updated 2 months ago
• agda / agda-categories
  A new Categories library for Agda
  ☆382Updated this week
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 6 months ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆451Updated last month
• phreppo / wstat
  While language static analyzer
  ☆10Updated 4 years ago
• math-comp / math-comp
  Mathematical Components
  ☆629Updated last week
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆75Updated 7 years ago
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆9Updated 3 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated 2 years 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.
  ☆296Updated last year
• agda / agda-stdlib
  The Agda standard library
  ☆614Updated this week
• thma / WhyHaskellMatters
  In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…
  ☆471Updated last year
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆582Updated last year
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆618Updated last month
• google / haskell-trainings
  Haskell 101 and 102: slides and codelabs
  ☆1,405Updated 2 years ago