22 search results for "tag:"form""

Showing 1 - 22
  1. 0.8.2
    LGPL-2.1-or-later
    Used by 0 other packages
    11 Mar 2024
  2. 0.0.1
    MIT
    Used by 1 other packages
    21 Dec 2023
  3. 0.9.0
    ISC
    Used by 351 other packages
    25 Oct 2021
  4. 28.1
    LGPL-2.1-only
    Used by 4 other packages
    04 Mar 2024
  5. frama-c-base

    No documentation

    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  6. 0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  7. 0.6
    LGPL-2.1-only
    Used by 0 other packages
    26 Feb 2024
  8. Frama-C plug-in based on Clang for parsing C++ files
    0.0.15
    LGPL-2.1-only
    Used by 0 other packages
    03 Apr 2024
  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. libc

    No documentation

    0.0.1
    MIT
    Used by 1 other packages
    15 Feb 2024
  12. 0.04
    restrictionless Zlib
    Used by 2 other packages
    31 Dec 2020
  13. 0.01
    restrictionless Zlib
    Used by 0 other packages
    31 Dec 2020
  14. 0.02
    restrictionless Zlib
    Used by 0 other packages
    31 Dec 2020
  15. 0.2.0
    CeCILL-B
    Used by 0 other packages
    15 May 2023
  16. 1.0.0
    CC0-1.0
    Used by 1 other packages
    13 Jan 2022
  17. OCaml library and executable to work with the scfg configuration file format
    0.2
    ISC
    Used by 3 other packages
    23 Jan 2023
  18. trace-tef

    No documentation

    A simple backend for trace, emitting Catapult/TEF JSON into a file
    0.7
    MIT
    Used by 6 other packages
    11 Mar 2024
  19. 1.7.2
    LGPL-2.1-only
    Used by 7 other packages
    22 Apr 2024
  20. why3-base

    No documentation

    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  21. 1.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  22. 1.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024