checkedc / checkedc-forkLinks
This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
☆27Updated 11 months ago
Alternatives and similar repositories for checkedc-fork
Users that are interested in checkedc-fork are comparing it to the libraries listed below
Sorting:
- CN separation logic refinement type system for C☆34Updated this week
- Unison's source code☆108Updated last year
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Cerberus C semantics☆69Updated last month
- MimIR is my Intermediate Representation☆75Updated last week
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 4 months ago
- ☆14Updated last year
- ☆70Updated this week
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆28Updated 4 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 2 months ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 3 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- A term rewriting system for experimental programming language development.☆44Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆75Updated last week
- Runtime support for LLVM's GC Statepoints☆43Updated 5 years ago
- Symbolic execution tool for Sail ISA specifications☆78Updated 2 weeks ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆36Updated last month
- Public snapshots of "ACSL by Example"☆114Updated 4 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago
- ☆27Updated 4 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated last week
- System for verifying the correctness of generated Copilot programs☆17Updated 4 months ago
- The Steel separation logic library for F*☆36Updated last month
- The Pulse separation logic DSL for F*☆24Updated last week
- ☆31Updated 2 weeks ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆48Updated 6 months ago
- Benchmark repository of polyglot effect handler examples☆27Updated last month