GitHub topics: consistency-checking

Repositories

NASA-SW-VnV/fret

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

Language: JavaScript - Size: 136 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 362 - Forks: 58

minjoong507/Consistency-of-Video-LLM

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

Language: Python - Size: 1.04 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 8 - Forks: 0

quasilyte/go-consistent

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

Language: Go - Size: 83 KB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 346 - Forks: 17

JustinMuecke/GLaMoR-DataPipeline

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

Language: Python - Size: 252 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

minzastro/latex_cleanup

Check language in LaTeX file

Language: Python - Size: 27.3 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

metaloom/cortex

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

Language: Java - Size: 88.3 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 1

rentadba/dbaTDPMon

dbaTDPMon - Troubleshoot Database Performance and Monitoring

Language: TSQL - Size: 57.9 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 21 - Forks: 13

quasilyte/go-namecheck

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

Language: Go - Size: 15.6 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 40 - Forks: 0

kallelay/rLKKTest

Regularized Linear Kramers Kronig GUI

Language: Visual Basic .NET - Size: 4.94 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rishi1999/CS-411-P1

Sudoku solver

Language: Jupyter Notebook - Size: 131 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

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.

Language: Python - Size: 2.23 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

machuangtao/CC4LO-RDB

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.

Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

pierreblavy2/unit_lite

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.

Language: C++ - Size: 62.5 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 6 - Forks: 0