vcache-project/vCache

Reliable and Efficient Semantic Prompt Caching with vCache

Language: Python - Size: 2.46 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 32 - Forks: 0

codee-com/open-catalog

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

Language: Fortran - Size: 2.75 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 93 - Forks: 10

ligurio/molly

Framework for distributed system's verification, with fault injection.

Language: Lua - Size: 410 KB - Last synced at: 13 days ago - Pushed at: 7 months ago - Stars: 10 - Forks: 2

tudasc/MPI-Corrbench

A benchmark suite to evaluate MPI correctness tools.

Language: C - Size: 609 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 9 - Forks: 4

pl3onasm/Programming-fundamentals

Imperative programming

Language: C - Size: 141 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 14 - Forks: 3

ElNiak/Toward-verification-of-QUIC-extensions

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 protocol is being finalised within the IETF and deployed by Google, Cloudlfare, Facebook and many others.

Size: 3.39 GB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 2

resonatehq/durable-promise-test-harness

This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.

Language: Go - Size: 12.7 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1

sgrprmnk/Swiggy

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

Language: Java - Size: 17.6 KB - Last synced at: 22 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

pqnelson/ml

A Study in Implementing Functional Programming Languages

Language: C - Size: 104 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0

topicland/TopicLand

Human-verified knowledge graphs with AI.

Language: Vue - Size: 1.98 MB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

guergabo/durable-promise-test-harness Fork of resonatehq/durable-promise-test-harness

A verification system that checks implementations for conformance to the Durable Promise Specification.

Size: 9.74 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ernius/mergesort

Merge sort correctness proof

Language: Agda - Size: 800 KB - Last synced at: over 1 year ago - Pushed at: about 10 years ago - Stars: 10 - Forks: 0

klassen-software-solutions/ksscontract

C++ tools to assist with "programming by contract"

Language: C++ - Size: 129 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

abcdjdj/proof_correctness

A collection of proofs of correctness for various algorithms in LaTeX

Language: TeX - Size: 494 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

klassen-software-solutions/gocontract

GO tools to assist with "programming by contract"

Language: Go - Size: 17.6 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

aqjune/twinsem

Language: Coq - Size: 498 KB - Last synced at: 20 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0