GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → ocaml-gospel → ortac

ocaml-gospel / ortac

Licence: MIT license
Runtime assertion checking based on Gospel specifications

Programming Languages

ocaml
1615 projects
Standard ML
205 projects

Labels

specificationruntime-verificationverfication

Projects that are alternatives of or similar to ortac

donate-spec
The Missing Donation Specification for Open Source Software
Stars: ✭ 13 (-18.75%)
Mutual labels:  specification
standard-components
A specification for functional UI components
Stars: ✭ 52 (+225%)
Mutual labels:  specification
bmson-spec
Technical specification for bmson format
Stars: ✭ 22 (+37.5%)
Mutual labels:  specification
f2e-spec
Alibaba Front-end Coding Guidelines and Relevant Tools
Stars: ✭ 548 (+3325%)
Mutual labels:  specification
webspicy
A technology agnostic specification and test framework that yields better coverage for less testing effort.
Stars: ✭ 42 (+162.5%)
Mutual labels:  specification
adamant.language.reference
The Adamant Programming Language Reference
Stars: ✭ 18 (+12.5%)
Mutual labels:  specification
Specs
The Filecoin protocol specification
Stars: ✭ 249 (+1456.25%)
Mutual labels:  specification
openapi-types.ts
Generated TypeScript definitions based on GitHub's OpenAPI spec
Stars: ✭ 30 (+87.5%)
Mutual labels:  specification
tinyspec
Simple syntax for describing REST APIs
Stars: ✭ 95 (+493.75%)
Mutual labels:  specification
pactum
Create API specifications and documentation using Python
Stars: ✭ 24 (+50%)
Mutual labels:  specification
specifications-ITS-REST
openEHR REST API Specifications
Stars: ✭ 20 (+25%)
Mutual labels:  specification
spec-pattern
Specification design pattern for JavaScript and TypeScript with bonus classes
Stars: ✭ 43 (+168.75%)
Mutual labels:  specification
specifications
Track specification elaboration.
Stars: ✭ 17 (+6.25%)
Mutual labels:  specification
MARCspec
📄 MARCspec - A common MARC record path language
Stars: ✭ 21 (+31.25%)
Mutual labels:  specification
BrAPI
Repository for version control of the BrAPI specifications
Stars: ✭ 50 (+212.5%)
Mutual labels:  specification
flyteidl
Specification of the IR for Flyte workflows and tasks. Also Interfaces for all backend services. https://docs.flyte.org/projects/flyteidl/en/stable/
Stars: ✭ 27 (+68.75%)
Mutual labels:  specification
klever
Read-only mirror of the Klever Git repository
Stars: ✭ 18 (+12.5%)
Mutual labels:  specification
sortcheck
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
Stars: ✭ 23 (+43.75%)
Mutual labels:  runtime-verification
spec
[OLD!] RGB Protocol specifications for Bitcoin-based digital assets
Stars: ✭ 149 (+831.25%)
Mutual labels:  specification
Specs-on-Spec
A collection of language specifications which don't belong anywhere else
Stars: ✭ 13 (-18.75%)
Mutual labels:  specification
View All Similar Projects ➔

ortac - OCaml Runtime Assertion Checking.

Disclamer: This project is still experimental. No support will be provided at this point, and its behaviour is still unstable.

Installation

opam pin add -y https://github.com/ocaml-gospel/gospel.git
opam pin add -y https://github.com/ocaml-gospel/ortac.git
opam install ortac
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].