General
Examining open source leadership
A year into an open source leadership position at the UK GDS, Anna Shipman
shares the successes and winning strategy
that has enabled community growth and made open source in government
self-sustaining.
Editors
- Barliman – Barliman is a prototype “smart
editor” that performs real-time program synthesis to try to make the
programmer’s life a little easier. Barliman has several unusual features: given
a set of tests for some function foo, Barliman tries to “guess” how to fill in
a partially specified definition of foo to make all of the tests pass; given
a set of tests for some function foo, Barliman tries to prove that a partially
specified definition of foo is inconsistent with one or more of the tests; given
a fully or mostly specified definition of some function foo, Barliman will
attempt to prove that a partially specified test is consistent with, or
inconsistent with, the definition of foo.
- Note-taking software - Investigation
- Joplin is a free, open source note
taking and to-do application, which can handle a large number of notes
organized into notebooks
Dev
Ops