Skip to content

@vellvm vellvm

Change the repository type filter

All

    Repositories list

    5 repositories

    • vellvm

      Public
      The Vellvm (Verified LLVM) coq development.
      LLVM
      •
      Other
      •34•399•111•3•Updated Nov 15, 2024Nov 15, 2024

    • ticl

      Public
      Library for structural temporal logic proofs over coinductive, free monads with effects and choice.
      coqlogicverification
      Coq
      •
      MIT License
      •5•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • ctrees

      Public
      An itree-like data-structure to additionally support internal non-determinism
      Coq
      •
      MIT License
      •5•14•15•0•Updated Oct 8, 2024Oct 8, 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