Topic: property-testing Goto Github
Some thing interesting about property-testing
Some thing interesting about property-testing
property-testing,Property based testing for kotlintest ported from quickcheck
User: 1jajen1
property-testing,Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
User: alexandredecan
property-testing,Fixtures for Kotlin providing generated values for unit testing
Organization: appmattus
property-testing,Advanced unit test framework for D
User: atilaneves
property-testing,Test your Haskell code by exhaustively checking its properties
User: bodigrim
Home Page: https://hackage.haskell.org/package/smallcheck
property-testing,Customizable Gen for ADT using Generics
Organization: byteally
property-testing,property testing and verification front-end for Rust
User: camshaft
Home Page: https://camshaft.github.io/bolero
property-testing,This is my Ph.D. Thesis, defended at Columbia University in Fall 2017 (Computer Science).
User: ccanonne
property-testing,Breaking 'return true to win' using Property based testing fast-check
User: dubzzz
property-testing,Giter8 template for a simple Scala project with Property Checks, ScalaTest and log4j
User: elbaulp
property-testing,Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
User: elbaulp
property-testing,Rapid is a modern Go property-based testing library
User: flyingmutant
Home Page: https://pkg.go.dev/pgregory.net/rapid
property-testing,@FuzzyMonkeyCo's minion
Organization: fuzzymonkeyco
Home Page: https://fuzzymonkey.co
property-testing,Fast-Check example repo, in prep for a talk on property testing (aka invariant testing)
User: glebec
property-testing,Release with confidence, state-of-the-art property testing for .NET.
Organization: hedgehogqa
Home Page: https://hedgehogqa.github.io/fsharp-hedgehog/
property-testing,Release with confidence, state-of-the-art property testing for Haskell.
Organization: hedgehogqa
property-testing,Mecha is a library designed to test your code in ways you probably never thought of before. It automatically finds edge cases and exceptions in your code with no input needed. Just point it at a class or method and fire away. It's even better than a cat laying on your keyboard at finding weird data for your tests.
User: jacraig
Home Page: https://jacraig.github.io/Mecha/
property-testing,Random Data Generation and/or Property Testing in Scala & Scala.JS.
User: japgolly
property-testing,An overview of property-based testing functionality
User: jmid
property-testing,A stack-driven generator of arbitrary WebAssembly programs
User: jmid
property-testing,Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
Organization: kotest
Home Page: https://kotest.io
property-testing,Framework for property-based testing in JavaScript, TypeScript, JSX, and TSX.
User: lastmjs
property-testing,Pain-free QuickCheck helpers for Plutarch
Organization: liqwid-labs
property-testing,Automated Theory Exploration in Coq using Haskell's QuickSpec
User: mikkelmilo
property-testing,A demonstration of stateful systems testing using Hedgehog
User: nicolast
property-testing,Signature inference for Functional Property Discovery in Haskell
User: norfairking
property-testing,A comprehensive self-management System
User: norfairking
Home Page: https://smos.online
property-testing,PBT testsuite and libraries for testing multicore OCaml
Organization: ocaml-multicore
Home Page: https://ocaml-multicore.github.io/multicoretests/
property-testing,Easily test your software using powerful evolutionary, feedback-driven fuzzing technology.
User: paulgrandperrin
property-testing,🏁 An implementation of QuickCheck in Swift.
Organization: pointfreeco
property-testing,Sustainable Testing
User: potatosalad
Home Page: https://gitpitch.com/potatosalad/elixirconf2018
property-testing,To probe what we can't prove, so the unprovable may become probable; testing for Scala
User: propensive
Home Page: https://propensive.com/probably/
property-testing,Property Testing library in Ruby
User: qqwy
Home Page: https://rubygems.org/gems/prop_check
property-testing,Conceptual code for property testing of DAG graphs used for my work
User: rpeszek
property-testing,generalize counter-examples of property-based testing
User: rudymatela
property-testing,refine properties for testing Haskell programs
User: rudymatela
Home Page: https://hackage.haskell.org/package/fitspec
property-testing,enumerative property-based testing for Haskell
User: rudymatela
Home Page: https://hackage.haskell.org/package/leancheck
property-testing,Common LeanCheck instances
User: rudymatela
property-testing,Speculate laws about Haskell functions
User: rudymatela
property-testing,A command line tool to validate configuration on Akamai staging or production networks
User: shubhampathak
property-testing,Visualize software behavior with intelligent sampling
User: sullvn
Home Page: https://sullvn.github.io/tastes/
property-testing,Port of the examples in the ScalaCheck book to JavaScript and TestCheck.js
User: taylorjg
property-testing,QuickCheck with shrinking for free
User: tmcgilchrist
property-testing,Hedgehog properties for optics laws
Organization: typeclasses
Home Page: https://hackage.haskell.org/package/hedgehog-optics
property-testing,Hedgehog generators for the 'loc' package
Organization: typeclasses
Home Page: https://hackage.haskell.org/package/loc-test
property-testing,
Organization: typeclasses
Home Page: https://hackage.haskell.org/package/partial-semigroup-hedgehog
property-testing,Property-based testing for Scala
Organization: typelevel
Home Page: http://www.scalacheck.org
property-testing,Concise syntax for embedding validation within functions
User: usernolan
property-testing,Data generation and property-based testing for Elixir. 🔮
User: whatyouhide
Home Page: https://hexdocs.pm/stream_data
property-testing,A library for creating Scalacheck generators from regular expressions
User: wolfendale
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.