Alternatives and similar repositories for haskell-tests

Users that are interested in haskell-tests are comparing it to the libraries listed below

• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated 2 years ago
• JordanLloydHall / RustCourse
  ☆9Updated 2 weeks ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆77Updated last year
• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 4 years ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated 2 years ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆195Updated last week
• jessicalally / hello-world
  ☆9Updated 5 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆50Updated 3 years ago
• jordanspooner / ic-second-year-notes
  Notes for second year Computing at Imperial College London
  ☆16Updated 6 years ago
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆20Updated last month
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated last month
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆40Updated last year
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆119Updated 4 years ago
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆99Updated this week
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 7 years ago
• RedPRL / cooltt
  😎TT
  ☆228Updated last year
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆170Updated last week
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• charlielidbury / ochre
  A systems theorem prover
  ☆10Updated 11 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆69Updated last week
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆104Updated 2 weeks ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆99Updated last year
• leanprover-community / logic_and_proof
  ☆10Updated 3 months ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 4 years ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆53Updated this week