~brettgilio

Missouri, USA

https://brettgilio.com/

Science educator interested in functional programming, type theory, and other stuff.

Trackers

~brettgilio/org-webring

Last active 9 months ago

~brettgilio/orcircd

Last active 10 months ago

~brettgilio/ocaml-ident

Last active 10 months ago

~brettgilio/ocaml-precis

Last active 10 months ago

#14 Correct validation for Planet/Syndicates 9 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED FIXED

#13 Future-proofing 9 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED WONT_FIX

#5 Get documentation from TEXINFO 9 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED WONT_FIX

#12 Fetch arXiv documents 9 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED INVALID

#10 Add post pinning support 9 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED IMPLEMENTED

#268 Repository pinning 10 months ago

Ticket created by ~brettgilio on ~sircmpwn/sr.ht

It may be preferable for visual organization if hub.sr.ht, git.sr.ht, and hg.sr.ht had an option to pin up-to 3 repositories. Preference above all would be hub.sr.ht for projects with many repositories, where one specific git/hg source is considered the "main project".

Visual demarcation could be moving the repository to the top of the list, darkening the border around the listing, and adding a svg or unicode pin symbol.

#11 Add to MELPA 10 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED WONT_FIX

#15 Implement support for RDF parsing 10 months ago

Ticket created by ~brettgilio on ~brettgilio/org-webring

Some RSS-style feeds such as https://export.arxiv.org/rss/math.CT requires special RDF parsing.

#3 generate CSS from defcustoms 10 months ago

on ~brettgilio/org-webring

REPORTED RESOLVED WONT_FIX

#14 Correct validation for Planet/Syndicates 10 months ago

Ticket created by ~brettgilio on ~brettgilio/org-webring