10

8

6

4

2


4.0
1.4
predicate-typed

1 predicate package

  • predicate-typed

    4.0 1.4 Haskell
    beyond refinement types + visualisation (supercedes predicate)
Static code analysis for 29 languages.
sponsored www.sonarqube.org
Build time-series-based applications quickly and at scale.
sponsored www.influxdata.com

Add another 'predicate' Package