Expressive static types and invariant checks for JavaScript.
A simple forAll implementation in node.js. Based on node-quickcheck.
Property-based testing for JavaScript.
Property-based testing library (à lá QuickCheck/ScalaCheck).
KateX plugin for Vuepress
ES2017 ready LINQ features written in TypeScript
[](https://www.netlify.com) [](https://app.netlify.com/sites/translati
A CommonJs and ESM frontend to 7-Zip, downloads binaries in for Linux, Windows, and Mac OSX, with methods to create SFX self extracting 7z archives targeting different platforms.
Migrate from FunC to Tolk with a single npx command
A typesafe graphql client for purescript.
[](https://github.com/nvie/rule-of-law/actions)
Write high level features.
A type inference library written in TypeScript
Property-based testing library for TypeScript, inspired by Hedgehog
Opvious CLI
be-based is a package that contains a client-side web component decorator, a trans-render transformer [TODO], and a HTMLRewriter class [TODO].
Hedgehog will eat all your bugs.
$(dsand).$ is front-end framework on white_cats
he validation-helpers package is a lightweight and versatile set of JavaScript functions designed to streamline data validation tasks in web applications. It offers a collection of convenient methods to validate common data types, ensuring data integrity
ES6 ready LINQ features written in TypeScript
A JavaScript library for validating Fitch-style natural deduction proofs
PureScript wrapper around oboe.js
Highlight.js grammar for KAOS specifications, functional dependencies, and relational constraints
Transform ES6 modules to UMD modules with per environment dependencies
Safe Rust bindings to the Vampire theorem prover for first-order logic
The Formal Language Where Code Verifies Itself
This crate provides a few representations of SMT scripts and other functionalities.
Declarative quantifiers for filtering, validation, and testing in Rust.
Intermediate representation (IR) and AST types for TensorLogic
A macro system for creating type operators in Rust and writing type-level logic.
CLI Corpus Test Runner
A formal methods-inspired specification language combining Alloy, TLA+, Cucumber, and Design by Contract
Static analysis tool for the Intent design constraint language — machine-verifiable architectural constraints for codebases
A declarative, prefix-notation DSL for formal verification of structured data.
Abstract algebraic structures for Rust
Direct MiniZinc to Selen Solver
No description provided.
No description provided.
No description provided.