Haskell HedgehogRelease with confidence, state-of-the-art property testing for Haskell.
Stars: ✭ 584 (+2820%)
JqfJQF + Zest: Coverage-guided semantic fuzzing for Java.
Stars: ✭ 340 (+1600%)
ava-fast-checkProperty based testing for AVA based on fast-check
Stars: ✭ 44 (+120%)
RexbugA thin Elixir wrapper for the redbug Erlang tracing debugger.
Stars: ✭ 126 (+530%)
quickcheckRandomized testing for Prolog à la QuickCheck
Stars: ✭ 18 (-10%)
jsishJsi is a small, C-embeddable javascript interpreter with tightly woven Web and DB support.
Stars: ✭ 32 (+60%)
RapidRapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")
Stars: ✭ 213 (+965%)
fuzz-rest-apiDerive property based testing fast-check into a fuzzer for REST APIs
Stars: ✭ 38 (+90%)
Erlyberlyerlang tracing for the masses
Stars: ✭ 642 (+3110%)
efftesterEffect-Driven Compiler Tester for OCaml
Stars: ✭ 37 (+85%)
Fsharp HedgehogRelease with confidence, state-of-the-art property testing for .NET.
Stars: ✭ 219 (+995%)
QuicktheoriesProperty based testing for Java 8
Stars: ✭ 483 (+2315%)
Fast CheckProperty based testing framework for JavaScript (like QuickCheck) written in TypeScript
Stars: ✭ 2,604 (+12920%)
Stream dataData generation and property-based testing for Elixir. 🔮
Stars: ✭ 597 (+2885%)
pyccoloDeclarative instrumentation for Python.
Stars: ✭ 70 (+250%)
kitimatA library for generative, property-based testing in TypeScript and Jest.
Stars: ✭ 68 (+240%)
QcstmA simple state-machine framework for OCaml based on QCheck
Stars: ✭ 50 (+150%)
SwiftcheckQuickCheck for Swift
Stars: ✭ 1,319 (+6495%)
RantlyRuby Imperative Random Data Generator and Quickcheck
Stars: ✭ 241 (+1105%)
QcheckQuickCheck inspired property-based testing for OCaml.
Stars: ✭ 194 (+870%)
encyEnhanced concurrency primitives for Javascript.
Stars: ✭ 32 (+60%)
quick.pyProperty-based testing library for Python
Stars: ✭ 15 (-25%)
nopdbNoPdb: Non-interactive Python Debugger
Stars: ✭ 67 (+235%)
pbt-frameworksAn overview of property-based testing functionality
Stars: ✭ 29 (+45%)
Async-ChannelPython async multi-task communication library. Used by OctoBot project.
Stars: ✭ 13 (-35%)
z80eA z80 calculator emulator (and debugger)
Stars: ✭ 65 (+225%)
objeck-langModern object-oriented and functional programming language
Stars: ✭ 45 (+125%)
paradoxParamHelpers Next Generation
Stars: ✭ 23 (+15%)
ctrace-goCanonical OpenTracing for GoLang
Stars: ✭ 12 (-40%)
chrometracinglibraries for various programming languages that make it easy to generate per-process trace files that can be loaded into chrome://tracing
Stars: ✭ 21 (+5%)
WhatsMissingInGeoparsingThe accompanying code and data for the Springer 2017 publication "What's missing in geographical parsing?" in Language Resources and Evaluation.
Stars: ✭ 15 (-25%)
lttng-scopeA trace viewer and analyzer for LTTng kernel and user space traces
Stars: ✭ 24 (+20%)
gatewayA proxy to buffer and forward metrics, events, and traces.
Stars: ✭ 94 (+370%)
BrainfuckIDEA Brainfuck IDE/debugger designed to be intuitive, featureful and visually appealing
Stars: ✭ 77 (+285%)
transitMassively real-time city transit streaming application
Stars: ✭ 20 (+0%)
probes-apiSoftware Activity Metering - Probes Open API
Stars: ✭ 31 (+55%)
aiorwlockRead/Write Lock - synchronization primitive for asyncio
Stars: ✭ 90 (+350%)
AIODriveOfficial Python/PyTorch Implementation for "All-In-One Drive: A Large-Scale Comprehensive Perception Dataset with High-Density Long-Range Point Clouds"
Stars: ✭ 32 (+60%)
queueableConvert streams to async ⌛ iterables ➰
Stars: ✭ 43 (+115%)
hypothesis-gufuncExtension to hypothesis for testing numpy general universal functions
Stars: ✭ 32 (+60%)
debug.jsDebugger of JavaScript, by JavaScript, for JavaScript
Stars: ✭ 19 (-5%)
tracecode-toolkit-straceTrace software components, packages and files between Development/Source and Deployment/Distribution/Binaries codebases - strace build analysis
Stars: ✭ 21 (+5%)
csp.js📺 CSP for vanilla JavaScript
Stars: ✭ 45 (+125%)
futexFile-based Ruby Mutex
Stars: ✭ 14 (-30%)
metagrafmetaGraf is a opinionated specification for describing a software component and what its requirements are from the runtime environment. The mg command, turns metaGraf specifications into Kubernetes resources, supporting CI, CD and GitOps software delivery.
Stars: ✭ 15 (-25%)
shell-commandOpens an interactive PHP console for running and testing PHP code.
Stars: ✭ 18 (-10%)
Devel-hdbA graphical Perl debugger implemented as a web service
Stars: ✭ 29 (+45%)
midi degradation toolkitA toolkit for generating datasets of midi files which have been degraded to be 'un-musical'.
Stars: ✭ 29 (+45%)
PushMeBabyiOS Push Notification Debug App. You can use this app during iOS Push Notification (development or production) to push notifications on your device from your Mac.
Stars: ✭ 47 (+135%)