Pinned Repositories
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
aws-verification-model-for-libcrypto
Partial verification model for openssl.
cbmc
C Bounded Model Checker
cbmc-quantifiers
simple uses of quantifiers for loop verification
cbmc-starter-kit
The CBMC stater kit makes it easy to add CBMC verification to a software project.
cbmc-viewer
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
coreHTTP
Client implementation of a subset of HTTP 1.1 protocol designed for embedded devices.
coreJSON
A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers
ebpf-docs
eBPF Standard Documentation
FreeRTOS
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
remi-delmas-3000's Repositories
remi-delmas-3000/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
remi-delmas-3000/aws-verification-model-for-libcrypto
Partial verification model for openssl.
remi-delmas-3000/cbmc
C Bounded Model Checker
remi-delmas-3000/cbmc-quantifiers
simple uses of quantifiers for loop verification
remi-delmas-3000/cbmc-starter-kit
The CBMC stater kit makes it easy to add CBMC verification to a software project.
remi-delmas-3000/cbmc-viewer
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
remi-delmas-3000/coreHTTP
Client implementation of a subset of HTTP 1.1 protocol designed for embedded devices.
remi-delmas-3000/coreJSON
A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers
remi-delmas-3000/ebpf-docs
eBPF Standard Documentation
remi-delmas-3000/FreeRTOS
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
remi-delmas-3000/FreeRTOS-1
FreeRTOS port for Arduino Uno
remi-delmas-3000/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
remi-delmas-3000/kani
Kani Rust Verifier
remi-delmas-3000/kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
remi-delmas-3000/kani-verifier-blog
remi-delmas-3000/lemma-functions-in-cbmc
Trying to express lemma functions with CBMC's contract system
remi-delmas-3000/s2n-tls
s2n : an implementation of the TLS/SSL protocols
remi-delmas-3000/shadow-map
remi-delmas-3000/stacked-borrows
A model of stacked borrows for code instrumentation and verification
remi-delmas-3000/stateful-contracts
Modelling stateful contracts in CBMC
remi-delmas-3000/unbounded-proofs-with-cbmc
Proofs for unbounded data structures using CBMC