Skip to content

@vellvm vellvm

Change the repository type filter

All

    Repositories list

    8 repositories

    • vellvm

      Public
      The Vellvm (Verified LLVM) coq development.
      LLVM
      •
      Other
      •40•453•121•5•Updated Jan 6, 2026Jan 6, 2026

    • c2rust-tests

      Public
      LLVM IR test cases from the c2rust project
      LLVM
      •
      Other
      •1•0•0•1•Updated Dec 10, 2025Dec 10, 2025

    • ctrees

      Public
      An itree-like data-structure to additionally support internal non-determinism
      Rocq Prover
      •
      MIT License
      •8•20•16•2•Updated Nov 25, 2025Nov 25, 2025

    • ticl

      Public
      Library for structural temporal logic proofs over coinductive, free monads with effects and choice.
      coqlogicverification
      Rocq Prover
      •
      MIT License
      •8•9•0•0•Updated Aug 21, 2025Aug 21, 2025

    • monad

      Public
      Utilities and reasoning principles for monads in Coq
      Rocq Prover
      •
      GNU General Public License v3.0
      •0•7•1•0•Updated Aug 1, 2025Aug 1, 2025

    • micro-vellvm-concurrency

      Public
      Coq
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

    • ollvm

      Public
      An higher-level LLVM binding for OCaml
      OCaml
      •
      Other
      •19•14•0•0•Updated Apr 4, 2017Apr 4, 2017

    • vellvm-legacy

      Public
      Coq
      •1•33•9•1•Updated Feb 18, 2015Feb 18, 2015