Awesome Open Source

Programming Languages

Search results for quickcheck

212 search results found

Bluecheck ⭐ 21

A generic test bench written in Bluespec

Rapidfuzz ⭐ 21

Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer

Quickcheck4c ⭐ 21

Property based testing framework based on QuickCheck

Checkers.jl ⭐ 20

QuickCheck-like automated testing for Julia

Purescript Refined ⭐ 19

Purescript refinement types with runtime checking

Erlang Declarative Debugger

Proptest ⭐ 19

Property-based testing a'la QuickCheck for TypeScript and JavaScript

Quickcheck ⭐ 19

Randomized testing for Prolog à la QuickCheck

Fantasy Check ⭐ 19

QuickCheck Library using Fantasy-Land

RubyQC -- A conceptual QuickCheck library for Ruby

Bit_field_set ⭐ 18

Store and manipulate a set of bit flags, mostly used for syncing the state over the wire between peers in a peer to peer network, such as BitTorrent.

Nim Quicktest ⭐ 18

A quickcheck library for Nim

How To Specify It ⭐ 18

"How to Specify it" in Java and jqwik

Metacheck ⭐ 17

Parameterized testing suite for template metaprogramming

Haskell Schema ⭐ 16

A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.

Afpcourse ⭐ 16

http://www.cse.chalmers.se/edu/course/afp/

Msgpack Nim ⭐ 16

A MassagePack binding for Nim / msgpack.org[Nim]

Audio Tagging Toolkit ⭐ 16

A Python package for audio annotation and classifier training. Developed in collaboration with the WGBH Foundation and the American Archive of Public Broadcasting.

Haskell Titan ⭐ 16

Testing Infrastructure for Temporal AbstractioNs

Wasm Prop Tester ⭐ 15

A stack-driven generator of arbitrary WebAssembly programs

Quick.py ⭐ 15

Property-based testing library for Python

Hypothesis Regex ⭐ 15

Hypothesis extension to allow generating strings based on regex

Quickcheck Regex ⭐ 15

Generate regex-constrained strings for QuickCheck

57 Exercises For Programmers ⭐ 15

Exercises for Programmers: 57 Challenges to Develop Your Coding Skills

Quickcheck Higherorder ⭐ 15

QuickCheck extension for higher-order properties

Test Generator ⭐ 14

Automagically (using Template Haskell) generates the Haskell-code you need when using HUnit

Ocaml Afl Examples ⭐ 14

Small examples of how to use AFL to fuzz OCaml programs

Maps_eqc ⭐ 14

EQC tests for maps

Rebar3 Eqc Plugin ⭐ 14

A rebar3 plugin to enable the execution of Erlang QuickCheck properties

Propcheck ⭐ 13

Exhaustive and randomized testing of Dart properties

Cis 194 Spring 2017 ⭐ 13

A modified version of the University of Pennsylvania's CIS194

Qc Instances ⭐ 13

Instances for QuickCheck classes

Node Typedjs ⭐ 13

node module for typedjs

Purescript Spec Quickcheck ⭐ 12

Adapter between purescript-spec and purescript-quickcheck

Quickcheck ⭐ 12

🩺 Effortless property-based, type-based testing for Nim.

Dicetest ⭐ 12

Framework for writing tests with randomly generated test data

Quicksmash ⭐ 12

A Smalltalk port of the QuickCheck unit test framework

Cluckcheck ⭐ 12

a Chicken Scheme port of the QuickCheck unit test framework

Cis 194 Summer 2018 ⭐ 12

A modified version of the University of Pennsylvania's CIS194

Qc Instances ⭐ 12

Instances for QuickCheck classes

Codepoints ⭐ 11

A parser for files in the Unicode database

Quick.cr ⭐ 11

QuickCheck implementation for Crystal Language

Haskell Markup ⭐ 11

Haskell implementation of a Markup processing system.

Quickcheckexamples ⭐ 11

Example QuickCheck models

Easytest ⭐ 11

Simple testing toolkit

Ocaml Quickcheck ⭐ 11

A mechanical translation of the Haskell QuickCheck library into Ocaml

MIRROR of https://codeberg.org/catseye/Robin : A Scheme-like language where both functions and macros are defined in terms of fexprs

Web app for programming exercises

Hypothesis_geometry ⭐ 10

`hypothesis` strategies for geometries

Jest Property Testing Demo ⭐ 10

Demonstrate property based testing in Jest, including using save/re-run failed seeds

Tricky Supervisor ⭐ 9

Erlang and Elixir supervisors restart strategies

Haskell Kicad Data ⭐ 9

Parse and write KiCad data in Haskell.

Property Checking for Catch2

Proper_contrib ⭐ 9

A collection of goodies for the property-based testing framework PropEr

Specify It ⭐ 9

Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check

Hsexprtest ⭐ 9

Automatic testing of small programming assignments and comparison of Haskell expressions and types based on QuickCheck. Intended for automated testing of homeworks on FI MUNI.

Junitmosaic ⭐ 8

Set of JUnit extensions for combinator and benchmark testing.

Quickcheck Io ⭐ 8

Use HUnit assertions as QuickCheck properties

Quickcheck ⭐ 8

Simplified QuickCheck in Elm

QuickCheck like test library

Piecetable ⭐ 8

Piece Table in Rust for efficient sequential insertion and removal (unmaintained)

Testing by convention for Haskell

The Delve Programming Language

An implementation of QuickCheck in Ruby (NOT FUNCTIONING)

Haskell Test Sandbox ⭐ 8

Fuzzcheck ⭐ 8

A library for testing monadic code in the spirit of QuickCheck

Minicheck ⭐ 7

A QuickCheck written in Clojure - just playing around

A distributed directory syncronization solution

Python Doublecheck ⭐ 7

Pythonic library for QuickCheck-style randomized testing and SmallCheck-style exhaustive testing of the same test suite.

Dashcheck ⭐ 7

a D port of the QuickCheck unit test framework

Stream_state ⭐ 7

Stateful generative testing for Elixir implemented on top of StreamData

Human-oriented base-32 encoding

Rushcheck ⭐ 7

Daisuke IKEGAMI's Ruby port of Quickcheck

Qc Ptrees ⭐ 7

A model-based QuickCheck test of ptrees (Patricia trees)

Amsthm To Anki ⭐ 7

Translate math notes written with the amsthm package to Anki notecards!

quipper - http://www.mathstat.dal.ca/~selinger/quipper/ - unofficial fork.

Coverage_targeted_property_testing ⭐ 6

Use code coverage as a "utility value" for PropEr (quickcheck) to maximize

Hedgehog Inline Java Testing ⭐ 6

haskell-hedgehog's model-based state machine testing together with inline-java

an educational lisp interpreter written in haskell

Test Utils ⭐ 6

Convenience functions and macros for testing Common Lisp applications via Prove and Quickcheck

Tasty Auto ⭐ 6

Deprecated: Auto discovery for the Tasty test framework, use tasty-discover instead

A repository for backing up and sharing AVD exercises

Model_quickcheck ⭐ 6

Model_quickcheck: Model-based testing for imperative OCaml code

Test Monad Laws ⭐ 6

QuickCheck properties for monad classes

System.check ⭐ 6

Test stateful systems using test.check

Plutarch Quickcheck ⭐ 6

Pain-free QuickCheck helpers for Plutarch

Fuzzing C-Compilers with QuickCheck

Clojurecheck ⭐ 6

Property based testing for clojure

A testing library for PHP loosely based on Haskell's QuickCheck library.

Quickcheckng ⭐ 6

A Simple TestNG @DataProvider annotation processor for QuickCheck Generators

Hands On Haskell ⭐ 6

This repo contains exercises for learning Haskell, with tests for verifying the solutions.

Erlang Watchlist ⭐ 6

A curated list of references where to find good code to read to master Erlang idioms

Troll Of Fame Java ⭐ 6

Java code for the Troll Aklass workshop on Property Based Tests

Quickcheck State Machine Distributed ⭐ 5

Test monadic programs using state machine based models

Journey Towards Property Based Testing ⭐ 5

Exercises and resources to learn property based testing. Comments and partecipation are really welcome. :-)

Purescript In 45 Minutes ⭐ 5

A short presentation on the PureScript language

Rncryptor Rs ⭐ 5

Pure Rust implementation of the RNCryptor cryptographic format by Rob Napier

Handbook Of Practical Logic And Automated Reasoning Haskell ⭐ 5

Related Searches

Haskell Quickcheck (160)

Testing Quickcheck (142)

Quickcheck Property Based Testing (52)

Erlang Quickcheck (47)

101-200 of 212 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.