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,387Updated this week
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated last month
• LeifAndersen / PLGradSchools
  ☆224Updated 5 months ago
• math-comp / math-comp
  Mathematical Components
  ☆595Updated this week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆451Updated 3 years ago
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 3 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆659Updated 2 months ago
• austinvhuang / awesome-haskell-deep-learning
  In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
  ☆295Updated 3 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆295Updated last year
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 3 weeks ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆863Updated 2 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.
  ☆294Updated 10 months ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆581Updated 2 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆291Updated 11 months ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆506Updated 6 months ago
• snowleopard / alga
  Algebraic graphs
  ☆724Updated 7 months ago
• erkmos / haskell-companies
  A gently curated list of companies using Haskell in industry
  ☆955Updated 3 weeks ago
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,601Updated last week
• agda / agda-stdlib
  The Agda standard library
  ☆596Updated this week
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,030Updated last year
• achlipala / frap
  Formal Reasoning About Programs
  ☆678Updated 7 months ago
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆643Updated last year
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆261Updated 7 months ago
• google / haskell-trainings
  Haskell 101 and 102: slides and codelabs
  ☆1,399Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆497Updated last month
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆510Updated 5 months ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,041Updated 2 weeks ago
• tssm / up-to-date-real-world-haskell
  I'm trying to update the Real World Haskell book
  ☆789Updated last year
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆520Updated 2 months ago