Semantic model for aspects of ELF static linking and DWARF debug information
☆64Oct 3, 2026Updated 3 weeks ago
Alternatives and similar repositories for linksem
Users that are interested in linksem are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deprecated Bedrock Bit Vector Library. Example replacement:☆30Aug 2, 2026Updated 2 months ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- A toy ELF parser/validator☆18Dec 18, 2024Updated last year
- Lenses in Coq☆17Oct 7, 2022Updated 4 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆97Oct 13, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆44Sep 28, 2026Updated last month
- ☆19Sep 26, 2026Updated last month
- ☆14Dec 27, 2023Updated 2 years ago
- A formally verified implementation of differential dynamic logic in Coq☆22May 16, 2022Updated 4 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 7 years ago
- Lem semantic definition language☆166Jun 10, 2026Updated 4 months ago
- ☆18Mar 17, 2025Updated last year
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 6 years ago
- TLS client program☆11Jun 10, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Cerberus C semantics☆103Oct 22, 2026Updated last week
- Reflection library for Coq☆12Sep 26, 2019Updated 7 years ago
- ☆12Apr 9, 2020Updated 6 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- Access hint databases from tactics.☆12Apr 22, 2020Updated 6 years ago
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Sep 14, 2026Updated last month
- Ltac2 tutorial☆47Nov 14, 2022Updated 3 years ago
- A HTTP client relying solely on the OCaml standard library, for use when bootstrapping opam☆13Jul 8, 2019Updated 7 years ago
- A simple cache system for mmap in OCaml☆14Jan 21, 2026Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Fast char sets☆21May 2, 2026Updated 5 months ago
- Define Grafana dashboards with ReasonML☆18Jan 31, 2020Updated 6 years ago
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 3 years ago
- OCaml code for generating and analysing pcap (packet capture) files☆20May 31, 2025Updated last year
- s-expression codecs and updates for OCaml☆12Mar 23, 2017Updated 9 years ago
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated last week
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- Verify naive = datafrog-opt, in rust/polonius☆17Jun 26, 2025Updated last year
- Portable clock implementation for Unix and Xen☆17Apr 24, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 9 years ago
- Parsing gigabytes of JSON per second☆27Sep 24, 2026Updated last month
- CN separation logic refinement type system for C☆63Updated this week
- GoNative project: formal machines models in Coq☆37Aug 3, 2017Updated 9 years ago
- Symbolic execution tool for Sail ISA specifications☆100Sep 23, 2026Updated last month
- OCaml bindings for batsat (https://github.com/c-cube/batsat)☆12Mar 23, 2022Updated 4 years ago
- Sail architecture definition language☆962Updated this week