-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitmodules
119 lines (119 loc) · 3.78 KB
/
.gitmodules
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
[submodule "dep/elaboration-zoo"]
path = dep/elaboration-zoo
url = https://github.com/AndrasKovacs/elaboration-zoo/
[submodule "dep/grammars-v4"]
path = dep/grammars-v4
url = https://github.com/antlr/grammars-v4
ignore = dirty
[submodule "dep/lambdapi"]
path = dep/lambdapi
url = https://github.com/ilya-klyuchnikov/lambdapi/
ignore = dirty
[submodule "dep/pi-forall"]
path = dep/pi-forall
url = https://github.com/sweirich/pi-forall/
ignore = dirty
[submodule "dep/compilers-course"]
path = dep/compilers-course
url = https://github.com/h0tk3y/compilers-course
ignore = dirty
[submodule "dep/simplelanguage"]
path = dep/simplelanguage
url = https://github.com/graalvm/simplelanguage
ignore = dirty
[submodule "dep/normalization-by-evaluation"]
path = dep/normalization-by-evaluation
url = https://gist.github.com/ekmett/492f05ee9d9be5c964de67598577df1f
[submodule "dep/fsharp-tapl"]
path = dep/fsharp-tapl
url = https://github.com/jack-pappas/fsharp-tapl
ignore = dirty
[submodule "dep/smalltt"]
path = dep/smalltt
url = https://github.com/zarybnicky/smalltt
[submodule "dep/truffleruby"]
path = dep/truffleruby
url = https://github.com/oracle/truffleruby
ignore = dirty
[submodule "dep/setoidtt"]
path = dep/setoidtt
url = https://github.com/AndrasKovacs/setoidtt
[submodule "dep/trufflesqueak"]
path = dep/trufflesqueak
url = https://github.com/hpi-swa/trufflesqueak
ignore = dirty
[submodule "dep/graalphp"]
path = dep/graalphp
url = https://github.com/abertschi/graalphp
ignore = dirty
[submodule "dep/mumbler"]
path = dep/mumbler
url = https://github.com/cesquivias/mumbler
[submodule "dep/TruffleSOM"]
path = dep/TruffleSOM
url = https://github.com/smarr/TruffleSOM
ignore = dirty
[submodule "dep/graaljs"]
path = dep/graaljs
url = https://github.com/oracle/graaljs
ignore = dirty
[submodule "dep/yona"]
path = dep/yona
url = https://github.com/yona-lang/yona/
[submodule "dep/enso"]
path = dep/enso
url = https://github.com/enso-org/enso
ignore = dirty
[submodule "dep/prolog-truffle"]
path = dep/prolog-truffle
url = https://gitlab.forge.hefr.ch/tony.licata/prolog-truffle
[submodule "dep/fastr"]
path = dep/fastr
url = https://github.com/oracle/fastr
ignore = dirty
[submodule "dep/graalpython"]
path = dep/graalpython
url = https://github.com/graalvm/graalpython
ignore = dirty
[submodule "dep/normalization-bench"]
path = dep/normalization-bench
url = https://github.com/AndrasKovacs/normalization-bench
[submodule "dep/peacod"]
path = dep/peacod
url = https://github.com/sstewartgallus/peacod
[submodule "dep/cadenza"]
path = dep/cadenza
url = https://github.com/ekmett/cadenza
[submodule "dep/dynsem"]
path = dep/dynsem
url = https://github.com/metaborg/dynsem/
[submodule "dep/GoLang-Compiler"]
path = dep/GoLang-Compiler
url = https://github.com/PDZaninov/GoLang-Compiler/
[submodule "dep/enso-benchmarks"]
path = dep/enso-benchmarks
url = https://github.com/enso-org/benchmarks
[submodule "dep/Minimal-PiSigma"]
path = dep/Minimal-PiSigma
url = https://github.com/derrickturk/MinPS
[submodule "dep/peacod2"]
path = dep/peacod2
url = https://github.com/sstewartgallus/jsystemf
[submodule "dep/hs-callbypushvalue"]
path = dep/hs-callbypushvalue
url = https://github.com/sstewartgallus/hs-callbypushvalue
[submodule "dep/trufflestg"]
path = dep/trufflestg
url = https://github.com/acertain/trufflestg/
[submodule "dep/qir"]
path = dep/qir
url = https://gitlri.lri.fr/jlopez/qir.git
[submodule "dep/shen-truffle"]
path = dep/shen-truffle
url = https://github.com/ragnard/shen-truffle/
[submodule "montuno"]
path = montuno
url = git@github.com:zarybnicky/montuno.git
[submodule "doc/defence"]
path = doc/defence
url = git@gist.github.com:623af655ec7bd903faa5cbaf01e38aff.git