-
Notifications
You must be signed in to change notification settings - Fork 389
Expand file tree
/
Copy pathplanet-sources.yml
More file actions
299 lines (299 loc) · 8.54 KB
/
Copy pathplanet-sources.yml
File metadata and controls
299 lines (299 loc) · 8.54 KB
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
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
- id: practicalocaml
name: Practical OCaml
url: https://practicalocaml.com/rss/
disabled: true
- id: ocamlpro
name: OCamlPro
url: https://ocamlpro.com/blog/feed
- id: ahrefs
name: Ahrefs
url: https://medium.com/feed/ahrefs/tagged/ocaml
- id: tarides
name: Tarides
url: https://tarides.com/feed.xml
publish_all: false
- id: janestreet
name: Jane Street Tech Blog
url: https://blog.janestreet.com/feed.xml
publish_all: false
- id: hannes
name: Hannes Mehnert
url: https://hannes.robur.coop/atom
- id: cwn
name: Caml Weekly News
url: https://alan.petitepomme.net/cwn/cwn.rss
- id: andrej
name: Andrej Bauer
url: http://math.andrej.com/feed.xml
publish_all: false
- id: ujamjar
name: Andy Ray
url: http://www.ujamjar.com/ocaml.xml
disabled: true
- id: ashishagarwal
name: Ashish Agarwal
url: http://ashishagarwal.org/tag/ocaml/feed/
- id: cameleon
name: Cameleon news
url: http://www.blogger.com/feeds/7617521785419311079/posts/default
publish_all: false
- id: inria
name: Caml INRIA
url: http://caml.inria.fr/news.en.rss
- id: coherentpdf
name: Coherent Graphics
url: https://coherentpdf.com/blog/?tag=ocaml&feed=rss2
- id: coq
name: Coq
url: https://coq.inria.fr/rss.xml
publish_all: false
disabled: true
- id: rocq
name: Rocq Prover
url: https://rocq-prover.org/news.xml
publish_all: false
- id: cburnout
name: Cranial Burnout
url: http://www.blogger.com/feeds/9108979482982930820/posts/default/-/OCaml
- id: erratique
name: Daniel Bünzli
url: https://erratique.ch/feeds/news.atom
publish_all: false
- id: dbaelde
name: David Baelde
url: http://www.blogger.com/feeds/17133288/posts/default/-/ocaml
- id: dutherenverseauborddelatable
name: David Teller
url: https://dutherenverseauborddelatable.wordpress.com/category/ocaml/feed/
- id: mega-nerd
name: Erik de Castro Lopo
url: http://www.mega-nerd.com/erikd/Blog/index.rss20
publish_all: false
- id: emillon
name: Etienne Millon
url: http://blog.emillon.org/feeds/ocaml.xml
- id: frama-c
name: Frama-C
url: http://frama-c.com/rss.xml
publish_all: false
- id: gallium
name: Gagallium
url: http://gallium.inria.fr/blog/index.rss
publish_all: false
- id: gaius
name: Gaius Hammond
url: https://gaius.tech/category/ocaml/feed/
disabled: true
- id: reynard
name: Gemma Gordon (OCaml Labs)
url: http://reynard.io/feed.xml
disabled: true
- id: camlcity
name: Gerd Stolpmann
url: http://blog.camlcity.org/blog/rss
- id: hongboz
name: Hong bo Zhang
url: https://hongboz.wordpress.com/feed/
publish_all: false
- id: ambassadortothecomputers
name: Jake Donham
url: http://ambassadortothecomputers.blogspot.com/feeds/posts/default?alt=rss
publish_all: false
- id: kcsrk
name: KC Sivaramakrishnan
url: https://kcsrk.info/atom-ocaml.xml
- id: lpw25
name: Leo White
url: http://lpw25.net/rss.xml
publish_all: false
- id: skjegstad
name: Magnus Skjegstad
url: http://www.skjegstad.com/feeds/ocaml.tag.atom.xml
- id: 0branch
name: Marc Simpson
url: https://blog.0branch.com/rss.xml
publish_all: false
- id: syntaxexclamation
name: Matthias Puech
url: https://syntaxexclamation.wordpress.com/tag/ocaml/feed/
- id: mgiovannini
name: Matías Giovannini
url: http://www.blogger.com/feeds/5888658295182480819/posts/default
publish_all: false
- id: mlin
name: Mike Lin
url: http://www.blogger.com/feeds/3693082774051755513/posts/default/-/OCaml
- id: mcclurmc
name: Mike McClurg
url: https://mcclurmc.wordpress.com/feed/
publish_all: false
# Feed is valid Atom, but mirage.io emits HTML (not XHTML) inside it, so
# the <img> tags are not self-closed and syndic rejects the whole feed as
# malformed XML ("Neither Atom nor RSS2 feed"). Not a cmarkit bug: the
# mirage.io site generator should render with cmarkit's xhtml_renderer,
# which self-closes void elements. See dbuenzli/cmarkit#32 and #3753.
- id: mirage
name: MirageOS
url: https://mirage.io/feed.xml
# Feed is dead (see #3753); disabled so it is no longer scraped, but the
# already-archived posts are kept.
- id: ocaml-book
name: OCaml Book
url: http://ocaml-book.com/blog?format=rss
disabled: true
- id: ocamllabs
name: OCaml Labs compiler hacking
url: http://ocamllabs.io/compiler-hacking/rss.xml
- id: ocamlcore
name: OCamlCore.com
url: http://www.ocamlcore.com/wp/feed/?amp;language=en&language=en
- id: ocsigen
name: Ocsigen project
url: https://ocsigen.org/feed.xml
- id: orbitz
name: Orbitz
url: http://functional-orbitz.blogspot.com/feeds/posts/default/-/planetocaml?alt=rss
- id: pdonadeo
name: Paolo Donadeo
url: http://www.donadeo.net/facets/programming-languages/objective-caml/feed/
- id: psellos
name: Psellos
url: http://psellos.com/atom.xml
publish_all: false
- id: rjones
name: Richard Jones
url: https://rwmj.wordpress.com/tag/ocaml/feed/
- id: rgrinberg
name: Rudi Grinberg
url: http://rgrinberg.com/blog/atom.xml
publish_all: false
- id: smondet
name: Sebastien Mondet
url: https://seb.mondet.org/b/OCaml.rss
- id: sfletcher
name: Shayne Fletcher
url: http://blog.shaynefletcher.org/feeds/posts/default/-/OCaml
- id: szacchiroli
name: Stefano Zacchiroli
url: https://upsilon.cc/~zack/tags/ocaml/index.rss
- id: vouillon
name: Jérôme Vouillon
url: https://vouillon.github.io/blog/tags/ocaml/index.xml
- id: talex5
name: Thomas Leonard
url: http://roscidus.com/blog/blog/categories/ocaml/atom.xml
- id: tvaroquaux
name: Till Varoquaux
url: http://www.blogger.com/feeds/6115529230232389198/posts/default
publish_all: false
- id: yansnotes
name: Yan Shvartzshnaider
url: http://yansnotes.blogspot.com/feeds/posts/default/-/ocaml
- id: ocamljava
name: OCaml-Java
url: http://www.ocamljava.org/feed.xml
- id: typeocaml
name: Xinuo Chen
url: http://typeocaml.com/rss/
- id: drup
name: Gabriel Radanne
url: http://drup.github.io/feed-ocaml.xml
- id: bap
name: The BAP Blog
url: https://binaryanalysisplatform.github.io/feed.xml
publish_all: false
- id: baturin
name: Daniil Baturin
url: https://baturin.org/blog/atom-ocaml.xml
- id: signalsandthreads
name: Signals and Threads
url: https://feeds.simplecast.com/L9810DOa
publish_all: false
- id: robur.coop
name: Robur Cooperative
url: https://blog.robur.coop/feed.xml
# Feed is dead (blog.osau.re no longer resolves, see #3753); disabled so it is
# no longer scraped, but the already-archived posts are kept.
- id: dinosaure
name: Romain Calascibetta
url: https://blog.osau.re/feed.xml
publish_all: false
disabled: true
# Feed is dead (see #3753); disabled so it is no longer scraped, but the
# already-archived posts are kept.
- id: emilpriver
name: Emil Privér
url: https://priver.dev/tags/ocaml/index.xml
disabled: true
- id: melange
name: Melange Blog
url: https://melange.re/blog/feed.rss
- id: chshersh
name: Dmitrii Kovanikov
url: https://chshersh.com/atom.xml
publish_all: false
- id: lthms
name: "Thomas Letan’s Blog"
url: https://soap.coffee/~lthms/tags/ocaml.xml
- id: debajyatidey
name: Debajyati's Blog
url: https://debajyatidey.hashnode.dev/rss.xml
publish_all: false
disabled: true
- id: bbatsov
name: Bozhidar Batsov
url: https://batsov.com/feeds/OCaml.xml
- id: jonludlam
name: Jon Ludlam's Blog at recoil.org
url: https://jon.recoil.org/atom.xml
publish_all: false
- id: patricoferris
name: Patrick Ferris' OCaml Blog
url: https://patrick.sirref.org/ocaml-blog/atom.xml
- id: dra27
name: David Allsopp's Blog
url: https://www.dra27.uk/feed.xml
publish_all: false
- id: anil
name: Anil Madhavapeddy's Blog
url: https://anil.recoil.org/news.xml
publish_all: false
- id: xvw
name: "Xavier Van de Woestyne's Blog"
url: https://xvw.lol/tags/en/ocaml.xml
- id: yawaramin
name: Yawar Amin
url: https://dev.to/feed/yawaramin
publish_all: false
- id: tsmc
name: Tim McGilchrist
url: https://lambdafoo.com/rss.xml
publish_all: false
- id: aguluman
name: Chukwuma Akunyili
url: https://fearful-odds.rocks/feed.xml
publish_all: false
- id: tunbury
name: Marc Elvers
url: https://www.tunbury.org/atom.xml
publish_all: false
- id: terrateam
name: Terrateam Blog
url: https://terrateam.io/rss-ocaml.xml
publish_all: true
- id: ryan
name: ryan.freumh.org
url: https://ryan.freumh.org/ocaml.xml
publish_all: false
- id: chrisarmstrong
name: Chris Armstrong
url: https://www.chrisarmstrong.dev/tags/ocaml/feed.xml
publish_all: false
- id: samoht
name: Thomas Gazagnaire
url: https://gazagnaire.org/feed.xml
# Mixed OCaml/Scala blog; publish_all: false keeps only the caml-related posts.
- id: gilwath
name: Benjamin Thuillier
url: https://gilwath.com/atom.xml
publish_all: false