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
Reliable and Efficient Semantic Prompt Caching with vCache
Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
The opinionated high performance professional-grade AI package for Go
Merge sort correctness proof
Framework for distributed system's verification, with fault injection.
A benchmark suite to evaluate MPI correctness tools.
Curated list of materials on testing SQL database engines
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. …
This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.
A Study in Implementing Functional Programming Languages
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
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
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
Book: Understanding Testing Frameworks to prove Correctness in Enterprise Services
🚀 Optimize LLM usage with PromptCache, a smart middleware that cuts costs and speeds up responses by caching repetitive queries.
https://ieeexplore.ieee.org/document/10794713 doi:10.1109/UNet62310.2024.10794713 #MAC #KeyExchangeProtocol #MessageAuthenticationCode #Authentication #LearningWithErrors #LWE #KEP #Cryptography #Cryptanalysis #Validity #Correctness #postquantumcryptography
🐅 Build a reliable, high-performance chat backend with TigerChat, ensuring safety and speed for every conversation, from DMs to community rooms.
A collection of proofs of correctness for various algorithms in LaTeX
TrueJ is a Java-like language that uses the Variable-Value approach to increase a programmer's understanding and confidence in their programs
Add a description, image, and links to the correctness topic page so that developers can more easily learn about it.
To associate your repository with the correctness topic, visit your repo's landing page and select "manage topics."