issues
search
tlaplus
/
foundation
TLA+ Foundation
23
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Establish and announce 2024 TLA+ grant program
#8
juliaferraioli
closed
2 months ago
0
Add May 2024 minutes
#7
hythloda
closed
3 months ago
2
Add link to conference website(s)
#6
juliaferraioli
opened
5 months ago
0
Migrate foundation website to Hugo
#5
juliaferraioli
closed
5 months ago
2
Wrote job posting for TLA+ infra/release engineer
#4
ahelwer
closed
1 year ago
6
One-pager (pitch) why companies would want to join our foundation
#3
lemmy
opened
2 years ago
1
Collect a list of potential foundation members
#2
lemmy
opened
2 years ago
1
Initial draft of mission statement of the TLA+ Foundation
#1
lemmy
closed
2 years ago
9