3 search results for "tag:"compilation""

Showing 1 - 3
  1. config
    Documentation
    Ergonomic, lightweight conditional compilation through attributes
    conditional compilation target_os target_arch arch os system
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.3
    MIT
    Used by 3 other packages
    05 May 2024
  2. coq-of-ocaml
    Documentation
    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    06 Jan 2023
  3. rune
    Documentation
    Automatic differentiation and JIT compilation for OCaml
    automatic-differentiation jit-compilation machine-learning deep-learning optimization
    Thibaut Mattio
    1.0.0~alpha1
    ISC
    Used by 5 other packages
    02 Oct 2025