22 search results for "tag:"form""

Showing 1 - 22
  1. 0.3.0
    MIT
    Used by 0 other packages
    26 Feb 2025
  2. binsec

    No documentation

    0.10.1
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Jul 2025
  3. 0.0.1
    MIT
    Used by 1 other packages
    21 Dec 2023
  4. esa

    No documentation

    0.1.0
    MIT
    Used by 0 other packages
    10 Jul 2025
  5. 0.10.0
    ISC
    Used by 364 other packages
    10 Mar 2025
  6. frama-c

    No documentation

    31.0
    LGPL-2.1-only
    Used by 5 other packages
    29 Jun 2025
  7. frama-c-metacsl

    No documentation

    0.9~beta
    LGPL-2.1-only
    Used by 0 other packages
    23 Jun 2025
  8. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    0.0.18~beta
    LGPL-2.1-only
    Used by 0 other packages
    23 Jun 2025
  9. 0.1.0
    MIT
    Used by 0 other packages
    23 Dec 2023
  10. 3.1.0
    MPL-2.0
    Used by 0 other packages
    21 Aug 2021
  11. 0.2.0
    MPL-2.0
    Used by 0 other packages
    31 Dec 2024
  12. 0.0.1
    MIT
    Used by 1 other packages
    15 Feb 2024
  13. 0.04
    restrictionless Zlib
    Used by 2 other packages
    31 Dec 2020
  14. 0.01
    restrictionless Zlib
    Used by 0 other packages
    31 Dec 2020
  15. 0.02
    restrictionless Zlib
    Used by 0 other packages
    31 Dec 2020
  16. 0.3.0
    CeCILL-B
    Used by 0 other packages
    09 Jul 2024
  17. 1.0.0
    CC0-1.0
    Used by 1 other packages
    13 Jan 2022
  18. OCaml library and executable to work with the scfg configuration file format
    0.5
    ISC
    Used by 1 other packages
    05 Feb 2025
  19. trace-tef

    No documentation

    A simple backend for trace, emitting Catapult/TEF JSON into a file
    0.10
    MIT
    Used by 8 other packages
    28 May 2025
  20. why3

    No documentation

    1.8.1
    LGPL-2.1-only
    Used by 7 other packages
    09 Jun 2025
  21. why3-coq

    No documentation

    1.8.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jun 2025
  22. why3-ide

    No documentation

    1.8.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jun 2025