Skip to content
#

correctness

Star

Here are 6 public repositories matching this topic...

Language: Python
Filter by language
All 28 Python 6 Go 4 C 3 Java 2 Zig 2 Agda 1 C++ 1 Rocq Prover 1 Fortran 1 Lua 1

chigwell / data-convertible

Sponsor
Star 1

A new package that provides a structured and reliable way to process user input related to common developer utilities such as JSON, Base64, URL, and hash operations. It uses an LLM to interpret user r

consistency data-transformation error-messages correctness base64-encoding conversational-interface json-validation json-processing url-encoding formatted-output input-processing developer-utilities llm-interpretation developer-assistance hash-operations validated-output structured-results encoding-tasks manual-effort-reduction json-prettify
  • Updated Dec 21, 2025
  • Python

chigwell / vrscene-parser

Sponsor
Star 1

A new package would process textual descriptions of virtual reality scenes or environments and return structured, validated outputs that describe the scene in a standardized format. It would use an LL

nlp json automation validation consistency correctness metadata-extraction content-tagging semantic-understanding llm-interpretation structured-data-output schema-enforcement text-to-structured vr-scene-description standardized-schema automated-scene-generation vr-development-workflow llm-powered-generation
  • Updated Dec 21, 2025
  • Python

sarabarj11 / MACs-message-authentication-codes

Star 1

https://ieeexplore.ieee.org/document/10794713 doi:10.1109/UNet62310.2024.10794713 #MAC #KeyExchangeProtocol #MessageAuthenticationCode #Authentication #LearningWithErrors #LWE #KEP #Cryptography #Cryptanalysis #Validity #Correctness #postquantumcryptography

python mac cryptography crypto cryptanalysis ieee authentification validity correctness kep message-authentication-code learning-with-errors postquantumcryptography lwe-encryption
  • Updated Jul 17, 2025
  • Python

Improve this page

Add a description, image, and links to the correctness topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the correctness topic, visit your repo's landing page and select "manage topics."

Learn more