A collaborative effort to consolidate expert knowledge on code guidelines for the correctness, modernization, security, portability, and optimization of code written in Fortran, C, and C++ programming languages
-
Updated
Feb 22, 2026 - Fortran
#
correctness
Here are 31 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
Reliable and Efficient Semantic Prompt Caching with vCache
machine-learning consistency cache chatbot openai llama gpt verified memcache correctness semantic-search similarity-search rag vector-search guarantees vector-database llm vllm semantic-cache llm-memory
-
Updated
Dec 17, 2025 - Python
Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
c recursion training-materials dafny correctness programming-fundamentals university-of-groningen imperative-programming exam-practice exam-solutions program-proofs
-
Updated
Jan 23, 2026 - C
The opinionated high performance professional-grade AI package for Go
-
Updated
Feb 19, 2026 - Go
Merge sort correctness proof
-
Updated
May 21, 2015 - Agda
Framework for distributed system's verification, with fault injection.
-
Updated
Jan 6, 2026 - Lua
A benchmark suite to evaluate MPI correctness tools.
-
Updated
Feb 13, 2025 - C
Curated list of materials on testing SQL database engines
-
Updated
Feb 10, 2026
Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protocol that have been fixed before finalising the protocol. In the transport layer, the QUIC protocol has been proposed to replace the HTTP/TLS/TCP stack. ...
-
Updated
Dec 30, 2021
This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.
golang distributed-systems concurrency load-testing performance-analysis correctness pseudo-random linearizability
-
Updated
Feb 20, 2026 - Go
A Study in Implementing Functional Programming Languages
c language parser interpreter compiler correctness acsl twelf hoare-logic abstract-machine functional-programming-language
-
Updated
Aug 17, 2019 - C
Design a class structure for a UNO game that allows multiple players to participate. The game should support the standard rules of UNO, including drawing cards, playing cards, skipping turns, reversing the direction of play, and declaring a winner
-
Updated
May 30, 2023 - Java
Build a reliable, high-performance chat backend with TigerChat, ensuring safety and speed for every conversation, from DMs to community rooms.
infrastructure distributed-systems backend messaging zig consensus chat-server deterministic correctness systems-programming zigzag distributed-consensus real-time-chat simulation-testing vsr replicated-state-machine viewstamped-replication tiger-style
-
Updated
Feb 23, 2026 - Zig
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
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
Book: Understanding Testing Frameworks to prove Correctness in Enterprise Services
-
Updated
Dec 16, 2025
Distributed, fault-tolerant real-time chat infrastructure with VSR consensus. Built with Tiger Style principles: correctness-first, deterministic, simulation-tested.
infrastructure distributed-systems backend messaging zig consensus chat-server deterministic correctness systems-programming zigzag fault-tolerant distributed-consensus real-time-chat simulation-testing vsr replicated-state-machine viewstamped-replication tiger-style
-
Updated
Oct 31, 2025 - Zig
Formal verification of certified null operations - when doing nothing is everything
automation integration tooling reliability mathematics systems operations proofs correctness formal-verification starred palimpsest rhodium-standard hyperpolymath-tools hyperpolymath my-coolest-projects null-operations
-
Updated
Feb 16, 2026 - Rocq Prover
Build a robust backend for reliable payment processing that ensures correctness, handles failures, and maintains idempotency across transactions.
go webhooks distributed-systems backend reconciliation postgresql payments ledger correctness system-design idempotency append-only async-workers crash-recovery payment-orchestration refunds-and-chargebacks exactly-once-intent at-most-once-payment
-
Updated
Feb 23, 2026 - Go
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.
Add this topic to your repo
To associate your repository with the correctness topic, visit your repo's landing page and select "manage topics."