Alternatives and similar repositories for haskell-tests:

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

• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 3 years ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated last year
• JordanLloydHall / RustCourse
  ☆9Updated 2 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 last year
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆67Updated 9 months ago
• jessicalally / hello-world
  ☆9Updated 4 years ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆181Updated this week
• aatxe / oxide
  The essence of Rust.
  ☆123Updated 2 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆52Updated 2 years ago
• wilbowma / pl-thesaurus
  ☆88Updated 3 years ago
• 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
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 3 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆79Updated 4 years ago
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆16Updated 3 weeks ago
• RedPRL / cooltt
  😎TT
  ☆221Updated last year
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆126Updated 2 years ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆73Updated 8 months ago
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆141Updated this week
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• ollef / rock
  Build system
  ☆123Updated last year
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆166Updated last month
• LeifAndersen / PLGradSchools
  ☆224Updated 5 months ago
• leanprover-community / lean-auto
  Experiments in automation for Lean
  ☆85Updated this week
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆23Updated 10 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated last year
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆56Updated this week
• coq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆19Updated 2 months ago