quickcheck-testing

Here are 2 public repositories matching this topic...

joanmontas / UMLisp

Subset of Common Lisp

language programming-language haskell lisp compiler functional-programming lisp-interpreter test-driven-development lazy-evaluation software-testing hspec quickcheck-testing

Updated Aug 3, 2024
Haskell

ChasingTheDream369 / Frequency-Scheming-for-Tortoise-Nuclear-Weapon

Star

🐢💥Welcome to the Tortoise Nuclear Weapon Frequency Scheming Repo! 🐢💥 We're leveraging Haskell's functional prowess to optimize frequency management for our weapon systems. Dive into our mathematically-driven code, QuickCheck tests, and type class implementations. Join us in this journey of innovation! 💣📈📚

functional-programming haskell-programming nuclear-weapon-frequency-scheming mathematical-specifications quickcheck-testing type-class-implementations

Updated Sep 1, 2023
Haskell

Add this topic to your repo

To associate your repository with the quickcheck-testing topic, visit your repo's landing page and select "manage topics."

Learn more