Type qualifiers for C
☆16Sep 21, 2011Updated 14 years ago
Alternatives and similar repositories for Cqual
Users that are interested in Cqual are comparing it to the libraries listed below
Sorting:
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Jun 10, 2021Updated 4 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆30Jul 18, 2014Updated 11 years ago
- Tool for providing static analysis of items in Clang's compilation database.☆12May 11, 2021Updated 4 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- A cookiecutter template for a best-practices Python project☆30Feb 13, 2026Updated 2 weeks ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 7 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Aug 21, 2025Updated 6 months ago
- ☆17Sep 23, 2024Updated last year
- Configuration files that allow cppcheck to provide better static analysis results☆17Aug 7, 2018Updated 7 years ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 6 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated 10 months ago
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 10 years ago
- CHERI ISA Specification☆26Jan 22, 2026Updated last month
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Sep 2, 2018Updated 7 years ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Feb 4, 2020Updated 6 years ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Feb 17, 2026Updated 2 weeks ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆62Nov 24, 2025Updated 3 months ago
- A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.☆21Sep 22, 2020Updated 5 years ago
- CHERI-RISC-V model written in Sail☆65Jul 10, 2025Updated 7 months ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆55May 24, 2025Updated 9 months ago
- Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC☆22Apr 11, 2019Updated 6 years ago
- Tetris in a small virtual machine (11 lines of C)☆22Oct 27, 2024Updated last year
- Advent of Code 2020 solutions in Lean 4☆27Jan 5, 2021Updated 5 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 2 years ago
- A Julia library for automated deduction in Euclidean geometry.☆24Aug 20, 2022Updated 3 years ago
- A [ functional stack ] based language.☆30Oct 30, 2023Updated 2 years ago