Skip to content

@vellvm vellvm

Change the repository type filter

All

    Repositories list

    8 repositories

    • ctrees

      Public
      An itree-like data-structure to additionally support internal non-determinism
      Rocq Prover
      •
      MIT License
      •9•21•17•2•Updated Apr 17, 2026Apr 17, 2026

    • vellvm

      Public
      The Vellvm (Verified LLVM) coq development.
      LLVM
      •
      Other
      •40•467•121•4•Updated Apr 15, 2026Apr 15, 2026

    • ticl

      Public
      Library for structural temporal logic proofs over coinductive, free monads with effects and choice.
      coqlogicverification
      coqlogicverification
      Rocq Prover
      •
      MIT License
      •9•10•0•0•Updated Mar 9, 2026Mar 9, 2026

    • vellvm-legacy

      Public
      Rocq Prover
      •1•34•9•0•Updated Jan 27, 2026Jan 27, 2026

    • c2rust-tests

      Public
      LLVM IR test cases from the c2rust project
      LLVM
      •
      Other
      •1•0•0•1•Updated Dec 10, 2025Dec 10, 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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.