digger/codemeta.json at master · 2xs/digger · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
{
    "@context": [
        "https:\/\/doi.org\/10.5063\/schema\/codemeta-2.0"
    ],
    "@type": "SoftwareSourceCode",
    "name": "digger",
    "description": "This repository contains a tool to convert Coq code written in a ``C-style'' (imperative style based on a monad, with full application of functions) into the corresponding C code or to an intermediate representation (deep) output as Coq source code. It starts from the Coq code extracted as JSON by the internal extraction facility.",
    "dateCreated": "2016-10-03",
    "datePublished": "2024-01-30",
    "license": [
        "https://spdx.org/licenses/CECILL-2.1"
    ],
    "url": "https:\/\/hal.science\/hal-04427164",
    "identifier": [],
    "applicationCategory": [
        "info"
    ],
    "keywords": [
        "Computer Science",
        "Provable Security",
        "Security",
        "Formal Methods"
    ],
    "codeRepository": "https:\/\/github.com\/2xs\/digger",
    "relatedLink": [
        "https:\/\/github.com\/2xs\/pipcore",
        "https:\/\/github.com\/2xs\/pipcore-mpu"
    ],
    "programmingLanguage": [
        "Haskell",
        "C",
        "Coq",
        "Makefile",
        "Shell"
    ],
    "runtimePlatform": [
        "Cabal",
        "Stack"
    ],
    "operatingSystem": [
        "GNU\/Linux",
        "MacOS"
    ],
    "version": "1",
    "softwareVersion": "1.0.0",
    "dateModified": "2024-01-30",
    "developmentStatus": "Inactif",
    "author": [
        {
            "@type": "Person",
            "givenName": "Gilles",
            "familyName": "Grimaud",
            "affiliation": [
                {
                    "@type": "Organization",
                    "name": "Université de Lille"
                },
                {
                    "@type": "Organization",
                    "name": "CRIStAL"
                },
                {
                    "@type": "Organization",
                    "name": "2XS"
                }
            ]
        },
        {
            "@type": "Person",
            "givenName": "Samuel",
            "familyName": "Hym",
            "affiliation": [
                {
                    "@type": "Organization",
                    "name": "Université de Lille"
                },
                {
                    "@type": "Organization",
                    "name": "CRIStAL"
                },
                {
                    "@type": "Organization",
                    "name": "2XS"
                }
            ]
        },
        {
            "@type": "Person",
            "givenName": "Ve\u00efs",
            "familyName": "Oudjail",
            "affiliation": [
                {
                    "@type": "Organization",
                    "name": "Université de Lille"
                },
                {
                    "@type": "Organization",
                    "name": "CRIStAL"
                },
                {
                    "@type": "Organization",
                    "name": "2XS"
                }
            ]
        }
    ]
}