|
|
OCaml |
3 |
A ppx to display Gospel specifications in Odoc generated documentation. |
Apr 30, 2023 |
|
|
JavaScript |
35 |
A runtime type assertion library. |
Nov 21, 2021 |
|
|
Clojure |
2 |
Macros for runtime assertion in Clojure(Script). |
Mar 28, 2023 |
|
|
TypeScript |
13 |
runtime type checking and documentation |
Apr 28, 2020 |
|
|
JavaScript |
78 |
Runtime type checking for JavaScript |
Sep 19, 2022 |
|
|
TypeScript |
2 |
Runtime type checking for TypeScript |
Oct 20, 2021 |
|
|
JavaScript |
56 |
Runtime type checking for JSDoc |
Jan 26, 2021 |
|
|
JavaScript |
13 |
Parse Vega specifications to runtime dataflows. |
Aug 07, 2019 |
|
|
Rust |
3 |
Format numbers according to runtime specifications. |
May 25, 2022 |
|
|
TypeScript |
8 |
Powerful and easy runtime type checking |
Aug 21, 2022 |
|
|
JavaScript |
3 |
Runtime type checking in pure javascript. |
May 30, 2022 |
|
|
JavaScript |
60 |
Runtime type-checking for JavaScript functions |
Apr 14, 2023 |
|
|
PureScript |
23 |
Purescript refinement types with runtime checking |
Jan 27, 2022 |
|
|
JavaScript |
2 |
The Gospel of John |
Feb 12, 2023 |
|
|
JavaScript |
2 |
The gospel of Matthew |
Mar 05, 2023 |
|
|
Java |
2 |
BIMserver plugin that can do model checking based on (runtime configurable) Java code |
Jun 08, 2021 |
|
|
OCaml |
7 |
A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs … |
Sep 06, 2022 |
|
|
JavaScript |
25 |
assertion DSL based on functional idioms. |
Jan 28, 2023 |
|
|
JavaScript |
6 |
Extends Chai with an assertion for deeply matching objects (i.e. subset equality checking) |
Feb 02, 2022 |
|
|
TypeScript |
4 |
Pipedream platform globals (typing and runtime type checking) |
Mar 20, 2022 |
|
|
Coq |
2 |
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog] |
Jan 07, 2023 |
|
|
Julia |
10 |
Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl |
Nov 12, 2021 |
|
|
JavaScript |
4182 |
Runtime type checking for React props and similar objects |
Aug 11, 2022 |
|
|
None |
2 |
Runtime type checking for React props and similar objects |
Jul 30, 2020 |
|
|
Ruby |
5 |
Fast, easy, and simple runtime type checking for Ruby |
Apr 19, 2023 |
|
|
None |
2 |
Runtime type checking for React props and similar objects |
May 01, 2023 |
|
|
Ruby |
2 |
helper for checking the current ruby runtime/engine/version |
Dec 21, 2013 |
|
|
C++ |
95 |
Runtime type and bounds-error checking for C/C++ |
Jan 06, 2023 |
|
|
Lua |
22 |
A runtime type-checking system to validate API functions. |
Apr 30, 2023 |
|
|
JavaScript |
4 |
Expect assertion interface for Nightwatch.js based on chaijs |
Jan 20, 2022 |
|
|
JavaScript |
11 |
Framework-agnostic assertion library based on pure functions |
Oct 22, 2016 |
|
|
Python |
6 |
Facilitates using beartype runtime type-checking with the AWS SDK. |
Feb 20, 2023 |
|
|
Python |
3 |
MOVED. Provides support for boto3 with beartype runtime type-checking. |
Jan 28, 2023 |
|
|
Python |
47 |
Framework-agnostic library for checking array/tensor shapes at runtime. |
May 22, 2023 |
|
|
JavaScript |
15 |
Gospel Hymns and Songs(GHS) for developers |
Jul 09, 2022 |
|
|
C++ |
8 |
Assertion library |
Apr 10, 2022 |
|
|
JavaScript |
234 |
Assertion library |
Jul 23, 2022 |
|
|
R |
3 |
Assertion tools. |
Jan 22, 2023 |
|
|
Python |
2 |
A django-based Popolo specifications implementation |
Apr 10, 2019 |
|
|
Coq |
23 |
Kami based processor implementations and specifications |
Jul 08, 2022 |
|
|
PHP |
2 |
BDD assertion library based on PHPUnit, inspired by Chai. |
Dec 15, 2022 |
|
|
TypeScript |
4 |
Deno module for checking which runtime the code is running in. |
Apr 01, 2022 |
|
|
Elixir |
399 |
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects. |
Aug 11, 2022 |
|
|
JavaScript |
116 |
[DEPRECATED, use babel-plugin-tcomb instead] Runtime type checking for Flow |
Jul 01, 2021 |
|
|
Python |
1775 |
Unbearably fast near-real-time runtime type-checking in pure Python. |
Apr 28, 2023 |
|
|
Python |
6 |
Python 3.5+ runtime type checking for integration testing and data validation |
Oct 17, 2022 |
|
|
Python |
544 |
Python 3.5+ runtime type checking for integration testing and data validation |
May 18, 2023 |
|
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |