6 search results for "author:"Charles Averill""

Showing 1 - 6
  1. ephemeral
    Documentation
    Visualize spacecraft trajectories
    NASA Space Spacecraft Moon Plotting Trajectory
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  2. lstar
    Documentation
    Automata learning with lstar-rocq
    Charles Averill <charlesaverill20@gmail.com>
    3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. lstar-rocq
    Documentation
    Formally-verified automata learning in Rocq
    Charles Averill <charlesaverill20@gmail.com>
    3.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  4. ppx_unreachable
    Documentation
    A tool for denoting unreachable control flow paths
    Charles Averill
    1.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  5. scope
    Documentation
    OCaml Image File Viewer
    Charles Averill
    1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  6. tinyfiledialogs
    Documentation
    OCaml bindings to tinyfiledialogs
    GUI Dialogs File Dialog Color Picker Cross-Platform TinyFileDialogs Open File Dialog Save File Dialog Select Folder Message Box Input Box
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository