Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
Обновлено 2024-09-02 08:32:55 +03:00
LLVM bindings for .NET Standard written in C# using ClangSharp
Обновлено 2024-04-30 16:50:24 +03:00
Formally verified implementation of Alive in Lean
Обновлено 2023-07-14 23:12:48 +03:00