PropCheck.jl Alternatives

Similar projects and alternatives to PropCheck.jl

julia

350 44,510 10.0 Julia PropCheck.jl VS julia

The Julia Programming Language
Mousetrap.jl

3 364 9.4 Julia PropCheck.jl VS Mousetrap.jl

Finally, a GUI Engine made for Julia
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Chain.jl

8 346 4.2 Julia PropCheck.jl VS Chain.jl

A Julia package for piping a value through a series of transformation expressions using a more convenient syntax than Julia's native piping functionality.
CoherentNoise.jl

1 64 3.5 Julia PropCheck.jl VS CoherentNoise.jl

A comprehensive suite of coherent noise algorithms and composable tools for manipulating them.
InterfaceSpecs.jl

3 55 5.7 Julia PropCheck.jl VS InterfaceSpecs.jl

Playground for formal specifications of interfaces in Julia
RequiredInterfaces.jl

1 31 7.1 Julia PropCheck.jl VS RequiredInterfaces.jl

A small package for providing the minimal required method surface of a Julia API
DMARCParser.jl

1 3 5.1 Julia PropCheck.jl VS DMARCParser.jl

📦 Easily parse DMARC XML files into a more human-readable format with this high-performance Julia package.
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
SciMLStyle

2 192 6.1 Julia PropCheck.jl VS SciMLStyle

A style guide for stylish Julia developers

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better PropCheck.jl alternative or higher similarity.

Suggest an alternative to PropCheck.jl

PropCheck.jl reviews and mentions

Posts with mentions or reviews of PropCheck.jl. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-11-19.

Julia as a unifying end-to-end workflow language on the Frontier exascale system
5 projects | news.ycombinator.com | 19 Nov 2023

There is no rebuttal because nothing much has really changed culture wise. Sure, the various @inbounds issues and concrete bugs that are mentioned in Yuris post have mostly been addressed, but the larger point (that is, "what can I actually expect/get guaranteed when calling a given function?") definitely hasn't been, at least not culturally. Documentation of pre- and postconditions are still lackluster, PRs trying to establish that for functions in Base stall for unclear reasons/don't get followups and when you try to talk about that on Slack retorts boil down to "we're tired of hearing you complain about this" instead of trying to find a systemic solution to that problem. Until that changes, I have large doubts about Yuris post losing relevance.
My own efforts (shameless plug, https://github.com/Seelengrab/PropCheck.jl for property based testing inspired by Hedgehog and https://github.com/Seelengrab/RequiredInterfaces.jl for somewhat formalizing "what methods are needed to subtype an abstract type") are unused in the wider community as far as I can tell, in spite of people speaking highly of them when coming across them. I also don't think Kenos InterfaceSpecs.jl is the way forward either - I think there's quite a lot of design space left in the typesystem the language could do without reaching for z3 and other SAT/SMT solvers. I personally attribute the lack of progress on that front to the lack of coherent direction of the project at large (and specifically not to the failings of individuals - folks are always very busy with their lives outside of Julia development/other priorities). In spite of the fact that making this single area better could be a big boon with more traditional software engineers, which are very underrepresented in the community.