blob: c20f1e583a0859e7802a8b742b03a0ecead812d5 (
plain)
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
|
#+TITLE: Thanks!
#+SERIES: ../meta.html
#+SERIES_NEXT: ../cleopatra.html
This website could not exist without many awesome free software
projects. Although I could not list them all even if I wanted, my
desire is at least to try keeping up-to-date a curated description of
the most significant ones.
#+BEGIN_EXPORT html
<nav id="generate-toc"></nav>
<div id="history">site/posts/Thanks.org</div>
#+END_EXPORT
* Authoring Content
- [[https://www.gnu.org/software/emacs][Emacs]] ::
Emacs is an extensible editor which I use daily to author this website
content, and write the code related to this website (and any code, really). It
is part of the [[https://www.gnu.org/gnu/gnu.html][GNU project]].
- [[https://orgmode.org/][Org mode]] ::
Org mode is a major mode of Emacs which I use to author several posts. It has
initially been written by [[https://staff.science.uva.nl/~dominik/][Carsten Dominik]], and is currently maintained by
[[http://bzg.fr/][Bastien Guerry]].
- [[https://coq.inria.fr/][Coq]] ::
Coq is a theorem prover and a proof assistant built by [[https://www.inria.fr/fr][Inria]]. Many of my posts
on Coq are regular Coq file processed by ~coqdoc~.
* Static Website Generation
- [[https://soupault.neocities.org][soupault]] ::
Soupault is a static website generator and HTML processor written by [[https://www.baturin.org/][Daniil
Baturin]].
- [[https://cleopatra.soap.coffee][~cleopatra~]] ::
~cleopatra~ is a generic, extensible toolchain with facilities for
literate programming projects using Org mode and more. I have
written it for this very website.
* Frontend
- [[https://katex.org][\im \KaTeX \mi]] ::
\im \KaTeX \mi is the “fastest” math typesetting library for the web, and is
used to render inline mathematics in my posts at build time. It has been
created by [[https://github.com/xymostech][Emily Eisenberg]] and
[[https://sophiebits.com/][Sophie Alpert]], with the help of
[[https://github.com/KaTeX/KaTeX/graphs/contributors][many contributors]].
|