npm packagejsverify (npm package)

Property-based testing for JavaScript.


GitHub repos using jsverify (showing top 100 with most stars)

#GitHub repo nameStars
1ramda/ramda17k
2automerge/automerge6.9k
3sarahdayan/dinero.js3k
4sanctuary-js/sanctuary2.1k
5zerobias/effector1.6k
6origamitower/folktale1.6k
7fluture-js/Fluture1.6k
8ramda/ramda-fantasy1.3k
9jlfwong/speedscope1.2k
10funfix/funfix500+
11ohanhi/hyperscript-helpers500+
12char0n/ramda-adjunct300+
13sanctuary-js/sanctuary-type-classes100+
14xodio/hm-def100+
15DrBoolean/classroom-coding100+
16atomicobject/ts-react-graphql-starter-kit90+
17SodiumFRP/sodium-typescript80+
18flunc/optics80+
19hallettj/safety-lens70+
20StoneCypher/flocks.js70+
21phadej/typify70+
22sanctuary-js/sanctuary-maybe60+
23fantasyland/fantasy-birds60+
24cozy-labs/cozy-desktop60+
25windingtree/lif-token50+
26safareli/free50+
27cliqz-oss/browser-core50+
28CrossEye/ramda40+
29phadej/relaxed-json40+
30zhangchiqing/bluebird-promisell40+
31blockcollider/bcnode40+
32ucscXena/ucsc-xena-client40+
33ivanzusko/ramda40+
34funfix/funland40+
35usm4n/cycle-hn30+
36pedrovgs/Buzz30+
37atomicobject/lenses30+
38pedrovgs/JavaScriptKatas30+
39bebraw/segmentize20+
40resisttheurge/babel-webpack-package-boilerplate20+
41sanctuary-js/sanctuary-either20+
42jorendorff/peeredit20+
43typeetfunc/runtypes-generate20+
44ananthakumaran/u10+
45Risto-Stevcev/pure-random10+
46stoeffel/classroom-coding10+
47gregsexton/json-patch-gen10+
48fantasyland/fantasy-laws10+
49ComicTime/ComicTime10+
50FrigoEU/typescript-safe-router10+
51sanctuary-js/sanctuary-identity10+
52olpeh/meeting-price-calculator10+
53kylecordes/cycle-example-110+
54joyent/manta-muskie10+
55erykpiast/webpack-stats-explorer10+
56dsprenkels/sss-node10+
57ttokutake/time-series-data-generator10+
58store2be/redux-belt10+
59scramjs/johnny-five-elements10+
60phadej/trampa10+
61autoric/scheming10+
62wearereasonablepeople/monastic10+
63uport-project/sss-wasm10+
64py-in-the-sky/gae-flask-redux-react-starter-kit10+
65creativecuriositystudio/modelsafe10+
66joneshf/ziparray10+
67sanctuary-js/sanctuary-int9
68Guck111/ramda9
69phadej/jsstana8
70phadej/npm-freeze7
71pedrovgs/HaveANiceDayChromeExtension7
72funfix/monix.js7
73foundersandcoders/sail-back7
74OpenDirective/brian7
75OAXFoundation/l2x-trustless-exchange7
76urbit/keygen-js6
77davidmccabe/react-quickcheck6
78critocrito/sugarcube6
79Risto-Stevcev/bs-jsverify6
80MrRacoon/haskind6
81teambit/ramda5
82sanctuary-js/sanctuary-pair5
83rjmk/fantasy-derivations5
84qiibee/qb-presale5
85peterfication/space-jumper5
86jvanbruegge/cyclejs-test-helpers5
87fangel/Herbie5
88SteveALee/cycle-spa-template5
89Prendus/prendus-question-elements5
90MoritzGiessmann/naiveScript5
91CodeLenny/yawn-yaml-cli5
92BD2KGenomics/brca-website-deprecated5
93smartlyio/safe-navigation4
94robotlolita/contextual-multimethods4
95ramdacn/ramda4
96phadej/lazy-seq4
97odf/webGavrog4
98mrkm4ntr/ramda-fantasy-validation4
99ljcoomber/microservice-viz4
100jsverify/jsverify-contrib4
101imranolas/ava-jsverify4
102icylace/icylace-object-utils4
103glebec/batching-toposort4
104emilianobovetti/fpc4
105chryb/js-cli-boilerplate4
106DrBoolean/ramda-fantasy4
107CryptoSmileee/bcnode-unpacked4
108typeetfunc/tcomb-generate3
109smartlyio/oats3
110rm3web/rm33
111rentpath/react-ui3
112phoulgaux/final-form-storage3
113ostera/zazen3
114mapzen/api-traffic-processors3
115kv-key-value/accounting3
116klarna/the-konferense3
117goblindegook/funny3
118evanw/speedscope3
119equinor/webviz-subsurface-components3
120doelgonzo/google-doc-viewer-helper3
121brehaut/manticore3
122ameetgohil/veri-js3
123SydneyUniLibrary/sierra-api-as-promised3
124Naissur/pure-graph3
125wires/example-ava-flow-jsverify2
126ucscXena/kaplan-meier2
127twilson63/nanofp2
128tmcw/leftpad2
129staltz/hyperscript-helpers2
130sanctuary-js/sanctuary-descending2
131romeovs/react-headers2
132raymond-h/generator-node-module-multilang2
133raymond-h/game-state-sync2
134qiibee/qb-token2
135phadej/mixfix2
136opentargets/postgap-app2
137ondreian/wyst2
138ondreian/chansey2
139okffi/kulku.js2
140nornagon/cdda-edit2
141medic/medic-sentinel2
142lostfictions/mst-generative-testing2
143kindone/text-versioncontrol2
144justinwoo/cyclejs-megadriver-demo2
145hughfdjackson/inward2
146enapah/property-based-testing-examples2
147emilianobovetti/stateless-maybe-js2
148dubzzz/jsverify-commands2
149drewsynan/scheming-json2
150drakkein/cyclehn2
151digital-asset/daml-js2
152delr3ves/WeCodePropertiesJs2
153debjitbis08/ArrowJS2
154danr/koka-slides2
155bkotrys/react-interactive-table2
156betafcc/map-util2
157JorgeCastilloPrz/ElectronSample2
158DimuthuKasunWP/ucsc-xena-client2
159DKXXXL/ITP.js2
160CrossChx/cx-utils2
161BleuShan/ts-hyperscript-helpers2
162zhaopufeng/dinero.js1
163zhangchiqing/sanctuary1
164xpublisher/sidebar-sdk-js1
165whybug/whybug-server1
166webdude21/ramda1
167ucscXena/schema1
168ucscXena/ehmutable1
169ucscXena/client-template1
170ttokutake/training-js-tools1
171trishume/speedscope1
172tilk/js_3vl1
173thejohnbackes/algorithms1
174syrianarchive/syrianarchive-api1
175sweatC/ramda1
176stuf/overwatch.itemtracker1
177stuf/obs.remote1
178sladiri/sam-cerebral1
179scott-christopher/ramda-fantasy1
180rweda/configurable-arbitrary1
181rweda/ava-verify1
182roobina90/TwitterApp1
183renansj/ramda1
184rachaelmcq/fstoco-ts-demo1
185qiibee/qb-crowdsale1
186phadej/reducemonoid1
187phadej/helsinkijs-jsverify1
188peterjoel/frpreact1
189pennynjery/sanctuary1
190pcstl/mangosteen1
191pcstl/kv-store-js1
192paldepind/ramda1
193ostera/projector1
194orionz/wasm-skiplist1
195opentable/sous_spa1
196opencollective/ramda-adjunct1
197nomorethirst/group-assessment-repo1
198nikolaylagutko/generator-scala-app1
199niilante/ramda1
200niilante/folktale1
201nathansmyth/node-stack1
202mrtnbroder/sanctuary1
203mdestagnol/atlaskit-mk-21
204mariogrieco/ramda1
205luijar/ramda1
206lshift/brca-website1
207lianapache/ramda1
208lgray/bcnode-unpacked1
209kedashoe/ramda1
210kasselTrankos/riego-socket1
211juanha/ramda1
212jiliminbilly/ramda1
213jiameng123/ramda1
214jbelmont/quickcheck-patterns-in-javascript1
215huangxok/ramda1
216heltondoria/event-system1
217goblindegook/ffetch1
218functorism/eav1
219fugu13/xapi-statement-builder1
220fnamazing/uiKit1
221fluture-js/inspect-f1
222ethanresnick/json-api-custom-query1
223esmevane/automerge1
224enapah/pi-robot1
225dvallin/lazy-space1
226dubzzz/jsverify-to-fast-check1
227donglegend/ramda1
228dodecaphonic/gelijk1
229dcolthorp/munchit1
230daisty/ramda1
231critocrito/combinators-p1
232codecalypso/ramda-fantasy1
233clflowers5/ramda-fantasy1
234cansat-icarus/capture-lib1
235buzzdecafe/ramdaki1
236buzzdecafe/ramda1
237brunotg/speedscope1
238brave3d/bcnode-unpacked1
239betafcc/overloadJS1
240benji6/ramda1
241athanclark/gradelog1
242angeloocana/ramda1
243amazingandyyy/atlaskit1
244aljones15/reactNativeRSSReader1
245alexlapinski/web-scraper-wegmans1
246VisViva/ramda1
247Vigneshwaransivasamy/fluxi-flux1
248TizenTeam/cozy-desktop1
249Swatinem/crid1
250StoneCypher/trust.js1
251Srijancse/automerge1
252Scandit/flow-ng1
253Saad2714/ucsc-xena-client1
254NitorCreations/willow-ui1
255Nghi-NV/ramda1
256Koleok/repl1
257KhaledSMQ/ramda1
258GuoliangWang/ramda1
259Fyniti/daml1
260FishSchool/ramda1
261DavidM-D/daml1
262DarrenN/css-color-parser1
263Chocobo1/kmps1
264Chocobo1/bmhs1
265Belyenochi/ramda1
266Becojo/undore1
267Avaq/serialize-http-error1
268AugustoL/LifToken1
269ArturAralin/Fluture1
270AnthonyBuilder/sanctuary1
271Andarist/ramda1
272Acidburn0zzz/cozy-desktop1