index
:
webserver
master
My web server
git daemon user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
unicode: Add 'approx' alias for ALMOST EQUAL TO
Tom Smeding
2024-09-18
*
nlen: More Nederlands
Tom Smeding
2024-09-01
*
nlen: Better client
Tom Smeding
2024-09-01
*
Allow failing modules if they miss data files
Tom Smeding
2024-07-22
*
Update UnicodeData.txt URL
Tom Smeding
2024-07-22
*
publications: Note extended version of dualrev
Tom Smeding
2024-07-22
*
statusbot: .well-known retry mechanism
Tom Smeding
2024-07-10
*
statusbot: ratelimit
Tom Smeding
2024-07-04
*
Add statusbot module
Tom Smeding
2024-07-02
*
unicode: More results; aliases
Tom Smeding
2024-04-21
*
unicode: Dark mode
Tom Smeding
2024-04-21
*
nlen: Fix json
Tom Smeding
2024-04-21
*
nlen: AD
Tom Smeding
2024-04-13
*
nlen
Tom Smeding
2024-03-25
*
sendmail -> msmtp
Tom Smeding
2024-03-01
*
blog: Add timestamp to posts
Tom Smeding
2024-03-01
*
blog: Misc fixes
Tom Smeding
2024-03-01
*
publications: Upgrade efficient chad to popl
Tom Smeding
2023-11-29
*
more
Tom Smeding
2023-11-18
*
more
Tom Smeding
2023-11-18
*
Fix bug some more
Tom Smeding
2023-11-18
*
Fix bug
Tom Smeding
2023-11-18
*
changes: Don't send file contents uselessly
Tom Smeding
2023-11-12
*
I like languages too
Tom Smeding
2023-09-17
*
publications: Add Efficient CHAD preprint
tomsmeding
2023-08-18
*
nlen
Tom Smeding
2023-07-11
*
unicode: Invisible spaces between table columns for neat copying
Tom Smeding
2023-06-13
*
unicode: Recognise multiple index literals in input
Tom Smeding
2023-06-12
*
unicode: Don't span history, replace history state
Tom Smeding
2023-06-12
*
index: Fix spelling
Tom Smeding
2023-05-27
*
changes: Add link to online page to email
Tom Smeding
2023-03-12
*
Remove commented-out AD intro here (moved to blog/ad/intro)
Tom Smeding
2023-03-01
*
index.html: Some text about my research
Tom Smeding
2023-02-24
*
index: Add email
Tom Smeding
2023-01-31
*
Update publications
Tom Smeding
2023-01-05
*
timetrack3: Day counts are not useful
Tom Smeding
2022-11-16
*
timetrack3: Modern JS
Tom Smeding
2022-09-07
*
timetrack3
Tom Smeding
2022-09-06
*
Updates
Tom Smeding
2022-09-05
*
Update CHAD publication (TOPLAS)
Tom Smeding
2022-08-23
*
Typo
Tom Smeding
2022-08-08
*
index: Pointer cursor on <summary>
Tom Smeding
2022-08-07
*
Dark mode on index.html
Tom Smeding
2022-08-07
*
Load publications from publications.json
Tom Smeding
2022-08-07
*
nlen: More
Tom Smeding
2022-08-07
*
Add publications to homepage
tomsmeding
2022-08-05
*
Reorder social links
tomsmeding
2022-08-05
*
nlen: opladen
Tom Smeding
2022-04-27
*
changes: Special case some websites
Tom Smeding
2022-04-21
*
unicode: Up UnicodeData.txt
Tom Smeding
2022-04-13
[next]