Stars
290
Forks
27
Language
None
Last Updated
Apr 14, 2024
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Rust | 3 | Reference implementations for the pact specifications | Apr 23, 2021 | |
Rust | 70 | Reference implementations for the pact specifications | Jul 05, 2022 | |
None | 9 | Specifications of the protocols and the experiments on their verification | Jul 30, 2020 | |
Ruby | 381 | Documentation format and verification | Jan 13, 2022 | |
Ruby | 27 | Cross-platform, generic language, Pact provider verification tool | Jun 15, 2022 | |
TeX | 18 | GEXF Format Specifications | Apr 06, 2022 | |
C# | 12 | FORMULA 2.0: Formal Specifications for Verification and Synthesis | Jan 31, 2022 | |
Bikeshed | 2 | Introduction Notes for implementers of WBCSD PACT Technical Specifications | Dec 13, 2023 | |
None | 6 | Common Trace Format requirements and specifications | Feb 07, 2023 | |
Ruby | 54 | A Ruby and CLI client for the Pact Broker. Publish and retrieve pacts and verification … | Jun 03, 2022 | |
None | 13 | Describes how to comply to the CEOS CARD4L specifications (SAR and Optical) with STAC | Mar 21, 2023 | |
HTML | 17 | WOFF File Format specifications | Jun 26, 2022 | |
HTML | 3 | Data Format specifications and converters for DL | Jan 28, 2023 | |
None | 2 | Repository for AGS themes and format specifications | Oct 09, 2022 | |
Go | 2 | Describes the Juju 2.0 serialization format of a model | May 07, 2021 | |
None | 3 | File format specifications, Presentation materials and other information | Mar 18, 2021 | |
Rust | 3 | Format numbers according to runtime specifications. | May 25, 2022 | |
Haskell | 14 | EUROCONTROL asterix specifications in structured format. | Apr 29, 2023 | |
Ruby | 16 | Allows pact verification against a running provider at a configurable base URL | Aug 17, 2020 | |
Java | 4 | Concordion Tutorial using Java fixtures and Markdown format specifications | Mar 01, 2022 | |
HTML | 38 | Specifications used in the MISP project including MISP core format | Apr 05, 2022 | |
C++ | 2 | BTOR2MLIR: A Format for Hardware Verification | May 17, 2023 | |
C | 80 | Review and verification of Brotli compressed data format specification. | Jul 20, 2022 | |
Python | 2 | Specifications of output format for "Jeiss" FIBSEMs | Jan 17, 2023 | |
C | 6 | Encodes and decodes CWT, EAT and similar format tokens. It supports COSE format signing and … | May 18, 2023 | |
Shell | 29 | A standalone pact command line executable using the ruby pact implementation and Travelling Ruby | Jul 06, 2022 | |
Rust | 5 | The pact embedded language | Jan 28, 2023 | |
None | 20 | A collection of specifications and grammars for Neorg's file format, `norg`. | Dec 02, 2022 | |
JavaScript | 21 | ⇄ Directory of asynchronous API specifications in AsyncAPI format | Jun 02, 2022 | |
None | 2 | :book: Deniable Encrypted Keys Database (DEKDB) format specifications | Feb 15, 2020 | |
Java | 2 | This is a Parser That parses OpenAPI definitions in JSON or YAML format and Generates … | Mar 19, 2022 | |
Python | 16 | An Exchange Format for Verification Witnesses (MOVED, please follow the link) | Jan 28, 2023 | |
Makefile | 5 | The pact broker helm chart | Jun 21, 2022 | |
Python | 11 | our pact with the devil | Mar 19, 2022 | |
Haskell | 522 | The Pact Smart Contract Language | Aug 30, 2022 | |
Coq | 4 | Modeling the Pact core language | Apr 21, 2023 | |
None | 3 | Verification of various properties of algorithms using NuSMV tool with LTL specifications | Apr 17, 2018 | |
Vim script | 4 | Describes the best coding practices and guidelines | Jul 07, 2022 | |
TypeScript | 186 | An HTML superset/Markdown subset source format for ECMAScript and related specifications | Aug 05, 2022 | |
Bikeshed | 68 | Next-generation file format (NGFF) specifications for storing bioimaging data in the cloud. | Aug 04, 2022 | |
Rust | 659 | deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! | Apr 23, 2023 | |
Ruby | 3 | XML support for the Pact gem | Jul 23, 2018 | |
Haskell | 8 | LSP server for the Pact language | Mar 27, 2023 | |
TypeScript | 2 | Frontend for the PACT Online Catalog | Dec 13, 2023 | |
Racket | 2 | This library handles a 'tabtree' file format, that nicely describes knowledge graphs | May 27, 2022 | |
Python | 118 | Description Describes the IndicNLP corpus and associated datasets | Jul 06, 2022 | |
None | 2 | This specification describes the OCD format. OCD files are intended to be used for managing … | Sep 21, 2016 | |
None | 3 | A collection of file format specifications for Angel Studios games | Jan 07, 2022 | |
Python | 453 | Python version of Pact. Enables consumer driven contract testing, providing a mock service and DSL … | Aug 27, 2022 | |
C# | 650 | .NET version of Pact. Enables consumer driven contract testing, providing a mock service and DSL … | Aug 29, 2022 |