ntastNotion Abstract Syntax Tree specification.
Stars: â 101 (+40.28%)
WtfjsðĪŠ A list of funny and tricky JavaScript examples
Stars: â 24,594 (+34058.33%)
Webrtc PcWebRTC 1.0 API
Stars: â 323 (+348.61%)
xapi-profilesA set of documents addressing the structure of and supporting services for xAPI Profiles.
Stars: â 47 (-34.72%)
DeepstateA unit test-like interface for fuzzing and symbolic execution
Stars: â 603 (+737.5%)
hitchstoryType-safe, StrictYAML based BDD framework for python.
Stars: â 24 (-66.67%)
DesignEwasm Design Overview and Specification
Stars: â 827 (+1048.61%)
QuicktheoriesProperty based testing for Java 8
Stars: â 483 (+570.83%)
EstreeThe ESTree Spec
Stars: â 3,867 (+5270.83%)
jsfCreates fake JSON files from a JSON schema
Stars: â 46 (-36.11%)
Specs2Software Specifications for Scala
Stars: â 696 (+866.67%)
PropcheckProperty based Testing for Elixir (based upon PropEr)
Stars: â 272 (+277.78%)
Common FlowAn attempt to gather a sensible selection of the most common usage patterns of git into a single and concise specification.
Stars: â 33 (-54.17%)
ehn-dcc-schemaSchema for the ehn DCC payload
Stars: â 151 (+109.72%)
Haskell HedgehogRelease with confidence, state-of-the-art property testing for Haskell.
Stars: â 584 (+711.11%)
Sdmx RestThis repository is used for maintaining the SDMX RESTful web services specification.
Stars: â 50 (-30.56%)
eggplantA behaviour driven development (BDD) library for Clojure. Simplicity is key.
Stars: â 16 (-77.78%)
ExpectoA smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
Stars: â 495 (+587.5%)
compose-refCompose specification reference implementation
Stars: â 69 (-4.17%)
FluentFluent â planning, spec and documentation
Stars: â 818 (+1036.11%)
aoc-mgx-formatAge of Empires: The Conquerors - Savegame File Format
Stars: â 56 (-22.22%)
XcodegenA Swift command line tool for generating your Xcode project
Stars: â 5,032 (+6888.89%)
JqfJQF + Zest: Coverage-guided semantic fuzzing for Java.
Stars: â 340 (+372.22%)
vscode-tlaplusTLA+ language support for Visual Studio Code
Stars: â 213 (+195.83%)
Static LandSpecification for common algebraic structures in JavaScript based on Fantasy Land
Stars: â 699 (+870.83%)
TsdocA doc comment standard for TypeScript
Stars: â 3,785 (+5156.94%)
Webpub Manifestð A JSON based Web Publication Manifest format used at the core of the Readium project
Stars: â 46 (-36.11%)
DisciplineFlexible law checking for Scala
Stars: â 286 (+297.22%)
Compose SpecThe Compose specification
Stars: â 603 (+737.5%)
Scalapropsproperty based testing library for Scala
Stars: â 262 (+263.89%)
3d TilesSpecification for streaming massive heterogeneous 3D geospatial datasets ð
Stars: â 1,054 (+1363.89%)
Fable.JesterFable bindings for jest and friends for delightful Fable testing.
Stars: â 28 (-61.11%)
Stream dataData generation and property-based testing for Elixir. ðŪ
Stars: â 597 (+729.17%)
swagger-testProperty based testing tool for Swagger APIs
Stars: â 32 (-55.56%)
PvpHaskell Package Version Policy (PVP)
Stars: â 24 (-66.67%)
swagger-conformancePython based tool for testing whether your API conforms to its Swagger schema
Stars: â 51 (-29.17%)
HypothesisHypothesis is a powerful, flexible, and easy to use library for property-based testing.
Stars: â 5,571 (+7637.5%)
asl-interpreterExample implementation of Arm's Architecture Specification Language (ASL)
Stars: â 78 (+8.33%)
Solid SpecThe Solid spec and architecture
Stars: â 1,100 (+1427.78%)
specificationSoftware Bill of Material (SBOM) standard designed for use in application security contexts and supply chain component analysis
Stars: â 129 (+79.17%)
OpencypherSpecification of the Cypher property graph query language
Stars: â 534 (+641.67%)
biolink-modelSchema and generated objects for biolink data model and upper ontology
Stars: â 83 (+15.28%)
fixture-monkeyLet Fixture Monkey generate test instances including edge cases automatically
Stars: â 177 (+145.83%)
NormData specification and generation
Stars: â 486 (+575%)
leancheckenumerative property-based testing for Haskell
Stars: â 38 (-47.22%)
QcstmA simple state-machine framework for OCaml based on QCheck
Stars: â 50 (-30.56%)
snabbkaffeCollection of utilities for trace-based testing
Stars: â 35 (-51.39%)
GopterGOlang Property TestER
Stars: â 458 (+536.11%)
runtypes-generateTransform runtypes type to jsverify arbitrary for generate sample of data
Stars: â 39 (-45.83%)
SchemathesisA modern API testing tool for web applications built with Open API and GraphQL specifications.
Stars: â 768 (+966.67%)
Queue InteropPromoting the interoperability of message queue objects.
Stars: â 399 (+454.17%)
Api Blueprint BoilerplateMinimalistic boilerplate to quick-start API specification using API Blueprint description language.
Stars: â 71 (-1.39%)
Design DocumentArchitectural specification and design of p2ðž
Stars: â 56 (-22.22%)
Quick check.jsA JS implementation of quick_check
Stars: â 48 (-33.33%)
Java AlmanacThe history and future of Java.
Stars: â 710 (+886.11%)
BlockingqueueTutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Stars: â 343 (+376.39%)