VeriFFI

★ 49 Open GitHub ↗

VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project

Explore Similar Repositories

Softuni_DevTasks : A collection of coding tasks and projects for students to practice programming in Python, Java, C#, and JavaScript. Perfect for learning and mastering key programming concepts!
CppND-System-Monitor-Project-Updated : System Monitor Project from the Object Oriented Programming Course of the Udacity C++ Nanodegree Program
code-playground : This repository is a collection of my learning journey in various programming languages, including Ruby, JavaScript, Java, and C++. Dive into code snippets, projects, and resources aimed at aiding your learning experience.
Payroll-Management-System : Payroll management system project in C++ is a console application with the use of Object Oriented Programming with graphics.
CPP_Until_I_lose_My_Mind : Welcome to the "CPP Until I Lose My Mind" repository! This collection features a variety of C++ projects designed to demonstrate key programming concepts.
// repository documentation