Greetings
1.
Initiatives
2.
Readmes
Initiatives
3.
G1: Make progress towards results
4.
G2: Make it "fun" to look at
5.
G3: Procrastinate about clojure
6.
G4: Procrastinate about dlog
7.
G5: Stop concentrating on "architecture"...
8.
G6: Delete architecture with LCM
9.
G7: Clojure
10.
G8: Build systems "don't matter"
11.
G9: Source code doesn't matter
12.
G10: maven-elijah-plugin
Readmes
13.
almost septagon
14.
elevated potential
15.
congenial robot
Overviews
16.
fluffy-umbrella overview
17.
septagon overview
18.
elevated overview
19.
rosetta overview
20.
congenial overview
Other
21.
correctness
22.
less noise
23.
more verification
Light
Rust
Coal
Navy
Ayu
petal-to-the-medal mdbook
Verification
See correctness.
Also, PIT, model checking and theorem-proving.