A framework for the elicitation, specification, formalization and analysis of requirements.
Source code analyzer that helps you to make your Go programs more consistent.
Source code analyzer that helps you to maintain variable/field naming conventions inside your project.
dbaTDPMon - Troubleshoot Database Performance and Monitoring
[CVPR 2025] Official Repository of the paper "On the Consistency of Video Large Language Models in Temporal Comprehension"
Unit lite is an alternative to boost units that handles compile-time checking of unit consistency, multiples of units and unit pretty print. This library is designed to be more user friendly than the ...
Create a consistently structured and feature enriched config object for your NodeJS package/project.
This is a semi-automatic semantic consistency-checking method for learning ontology from RDB, in which the graph-based intermediate model is leveraged to represent the semantics of RDB and the specifi...
#计算机科学#Framework to transform owl ontologies into data and train models to perform consistency checking
MetaLoom // Cortex is an un-opinionated media processing tool.
Checking Consistency Models
Check language in LaTeX file
[WIP] Command-line tool to check GitHub repositories for inconsistencies.
semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.
Book store app (DOS course project) with backend implemented by Flask microservice and SQLite3 DB. The app supports both vertical and horizontal distributed servers over 5 VMs. It supports replication...
An Eclipse plugin to support consistency on conditional compilational source code.