2 search results for "author:"Opale Sjöstedt""

Showing 1 - 2
  1. floatml
    Documentation
    Floats (f16, f32, f64, f128) for OCaml
    Opale Sjöstedt
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  2. soteria
    Documentation
    Soteria is a toolkit for writing symbolic bug-finding tools
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk> Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>
    0.2.3
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository