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 3 years 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
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆50Updated 3 years ago
• jessicalally / hello-world
  ☆9Updated 5 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated 2 years ago
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆18Updated 2 weeks ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 4 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆231Updated 8 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆53Updated 3 years ago
• Risto-Stevcev / haskell-church-encodings
  Church encodings written in Haskell
  ☆25Updated 5 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆74Updated 2 weeks ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆124Updated 4 years ago
• rocq-archive / automata
  Beginning of formal language theory
  ☆23Updated 5 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆171Updated this week
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆78Updated this week
• surajx / proof-assistant
  Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…
  ☆11Updated 6 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 4 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 3 years ago
• jordanspooner / ic-second-year-notes
  Notes for second year Computing at Imperial College London
  ☆16Updated 6 years ago
• RedPRL / cooltt
  😎TT
  ☆225Updated last year
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆120Updated 9 months ago