Newest stories submitted by agnishom.

  1. 17
    Delta Chat: A Messenger which is cross compatible with email and PGP email privacy web delta.chat
    agnishom avatar via agnishom 6 days ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  2. 5
    Regular Expressions which query Oracles formalmethods arxiv.org
    agnishom avatar via agnishom 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 10
    Verified and Efficient Matching of Regular Expressions with Lookaround formalmethods github.com/agnishom
    agnishom avatar authored by agnishom 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments