A framework for the elicitation, specification, formalization and analysis of requirements.

• UpdatedJun 10, 2025
• JavaScript

Source code analyzer that helps you to make your Go programs more consistent.

• UpdatedMay 29, 2025
• Go

Source code analyzer that helps you to maintain variable/field naming conventions inside your project.

• UpdatedMay 30, 2019
• Go

dbaTDPMon - Troubleshoot Database Performance and Monitoring

• UpdatedJun 16, 2025
• TSQL

[CVPR 2025] Official Repository of the paper "On the Consistency of Video Large Language Models in Temporal Comprehension"

• UpdatedOct 13, 2025
• Python

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 boost one with easy to use syntax, faster compilation, and easier to read error messages.

• UpdatedOct 20, 2022
• C++

Create a consistently structured and feature enriched config object for your NodeJS package/project.

• UpdatedJul 8, 2023
• JavaScript

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 specifications of learned ontologies.

• UpdatedFeb 2, 2022

Cassandra 日常运维经验积累

• UpdatedMar 24, 2018
• Java

Framework to transform owl ontologies into data and train models to perform consistency checking

• UpdatedApr 22, 2025
• Python

MetaLoom // Cortex is an un-opinionated media processing tool.

• UpdatedOct 6, 2025
• Java

Checking Consistency Models

• UpdatedOct 27, 2019

Check language in LaTeX file

• UpdatedMar 24, 2025
• Python

semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.

• UpdatedOct 2, 2018
• C++

Detecting hallucinations in LLM-generated answers using cross-checking consistency across models. Implements and extends the SAC3 method to smaller open-source models.

• UpdatedJun 19, 2025
• Jupyter Notebook

Sudoku solver

• UpdatedFeb 18, 2022
• Jupyter Notebook

Fork of snl2fl

• UpdatedOct 18, 2018
• Java

Regularized Linear Kramers Kronig GUI

• UpdatedMay 25, 2024
• Visual Basic .NET

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 and consistency too.

• UpdatedAug 9, 2022
• Python

PRAM consistency checker, extended by support for loading Jepsen traces

• UpdatedOct 12, 2024
• Java