Alternatives and similar repositories for Inf2D-cw1--autotester

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

• agda / agda-categories
  A new Categories library for Agda
  ☆381Updated last week
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆300Updated last year
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆462Updated 4 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated this week
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 5 months ago
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆544Updated 3 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆676Updated last month
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆255Updated this week
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last week
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 2 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆373Updated 5 months ago
• nadia-polikarpova / synquid
  ☆128Updated 3 years ago
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,004Updated this week
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• phreppo / wstat
  While language static analyzer
  ☆10Updated 4 years ago
• hasktorch / hasktorch
  Tensors and neural networks in Haskell
  ☆1,120Updated this week
• google / haskell-trainings
  Haskell 101 and 102: slides and codelabs
  ☆1,405Updated 2 years ago
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 4 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 3 months ago
• qfpl / applied-fp-course
  Applied Functional Programming Course - Move from exercises to a working app!
  ☆633Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆299Updated 2 months ago
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆945Updated 4 months ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,244Updated this week
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆370Updated 4 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,043Updated 2 years 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.
  ☆293Updated 3 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆346Updated 6 months ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆447Updated 2 weeks ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆871Updated 6 months ago