forked from ericwhyne/darpa_open_catalog
-
Notifications
You must be signed in to change notification settings - Fork 0
/
PLANX-software.json
executable file
·163 lines (163 loc) · 4.73 KB
/
PLANX-software.json
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
[
{
"DARPA Program":"PLAN X",
"Program Teams":[
"Raytheon BBN Technologies"
],
"Contributors":[
""
],
"Sub-contractors":[
""
],
"Software":"avro-golang-compiler",
"Internal Link":"",
"External Link":"",
"Public Code Repo":"",
"Instructional Material":"",
"Stats":"",
"Description":"This repository contains a modification of the Avro Java compiler to generate golang code that uses the Avro C bindings to actually parse serialized Avro containers. (Java, C, Golang)",
"Internal Code Repo":"",
"License":[
"ALv2"
],
"Languages":[
"Java",
"C",
"Golang"
],
"Platform Requirements":[
""
],
"Dependent modules":[
""
],
"Dependent module URLs":[
""
],
"Component modules":[
""
],
"Component module URLs":[
""
],
"Industry":[
""
],
"Functionality":[
""
],
"Categories":[
"Data Formatting"
],
"New Date":"20150406",
"Update Date":""
},
{
"DARPA Program": "PLAN X",
"Program Teams": [
"Domain-specific languages team"
],
"Contributors": [
"Galois, Inc.",
"Kestrel Institute"
],
"Sub-contractors": [
""
],
"Software": "Mistral Compiler",
"Internal Link": "",
"External Link": "https://github.com/GaloisInc/mistral",
"Public Code Repo": "https://github.com/GaloisInc/mistral",
"Instructional Material": "",
"Stats": "mistral",
"Description": "Mistral is an experimental language and compiler for highly concurrent, distributed programming, with an emphasis on\nthe specification and maintenance of a virtual overlay network and communication over that network. The current Mistral compiler supports the first generation of Mistral, so not all features we architected for the language are supported at present. This open source package includes our compiler and an interpreter. Use of Mistral for running programs on distributed systems requires a run-time system not included in this package. Thus this Mistral package allows only for experimentation with the language.",
"Internal Code Repo": "",
"License": [
"BSD3"
],
"Languages": [
"Haskell"
],
"Platform Requirements": [
"Linux",
"Mac OS X"
],
"Dependent modules": [
""
],
"Dependent module URLs": [
""
],
"Component modules": [
""
],
"Component module URLs": [
""
],
"Industry": [
"Software Development"
],
"Functionality": [
"Compiler"
],
"Categories": [
"Compiler"
],
"New Date": "20150406",
"Update Date": ""
},
{
"DARPA Program": "PLAN X",
"Program Teams": [
"Galois, Inc."
],
"Contributors": [
"Galois, Inc."
],
"Sub-contractors": [
""
],
"Software": "Lua Native Big Number Library",
"Internal Link": "",
"External Link": "https://github.com/GaloisInc/polarbn",
"Public Code Repo": "https://github.com/GaloisInc/polarbn",
"Instructional Material": "",
"Stats": "polarbn",
"Description": "The PolarBN library is a big number library for use in cryptographic applications. PolarBN is a Lua wrapper for the bignum library in PolarSSL. The wrapper is written in C, using the standard Lua headers. Compared to the two standard Lua big number libraries, PolarBN is substantially faster than lbc, and does not require openssl-dev, as does lbn.",
"Internal Code Repo": "",
"License": [
"MIT"
],
"Languages": [
"Lua",
"C"
],
"Platform Requirements": [
""
],
"Dependent modules": [
""
],
"Dependent module URLs": [
""
],
"Component modules": [
""
],
"Component module URLs": [
""
],
"Industry": [
"Software Development"
],
"Functionality": [
"Cryptographic big number library"
],
"Categories": [
"Library"
],
"New Date": "20150406",
"Update Date": ""
}
]