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

Showing 1 - 6
  1. ephemeral

    No documentation

    Visualize spacecraft trajectories
    NASA Space Spacecraft Moon Plotting Trajectory
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    10 Apr 2026
  2. lstar

    No documentation

    Automata learning with from lstar-rocq
    Charles Averill <charlesaverill20@gmail.com>
    2.0
    MIT
    Used by 0 other packages
    17 Jun 2026
  3. lstar-rocq

    No documentation

    Formally-verified automata learning in Rocq
    Charles Averill <charlesaverill20@gmail.com>
    2.0
    MIT
    Used by 1 other packages
    17 Jun 2026
  4. ppx_unreachable
    Documentation
    A tool for denoting unreachable control flow paths
    Charles Averill
    1.1
    MIT
    Used by 1 other packages
    08 Jun 2025
  5. scope
    Documentation
    OCaml Image File Viewer
    Charles Averill
    1.1
    MIT
    Used by 0 other packages
    11 Sep 2025
  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
    13 Sep 2025