Alona EM aDot

0 Followers · 0 Following

• Joined on 2021-12-14

Repositories

9

Projects Packages Public Activity Starred Repositories

aDot created repository aDot/t3x

2022-05-12 13:45:20 +00:00

aDot pushed to trunk at aDot/pdfs

• c5a1d40c7c Add small c paper

2022-05-12 11:36:32 +00:00

aDot pushed to trunk at aDot/lalrpop_codespan

• 11133bc7de Init

2022-01-16 16:49:45 +00:00

aDot created branch trunk in aDot/lalrpop_codespan

2022-01-16 16:49:44 +00:00

aDot created repository aDot/lalrpop_codespan

2022-01-16 16:49:09 +00:00

aDot pushed to trunk at aDot/nemicosm

• 09952b5193 Lowering I

2022-01-16 02:13:13 +00:00

aDot pushed to trunk at aDot/nemicosm

• e4e044e733 Parsable!
• 6fcfea664f Basic HIDL
• 5a5199f91f Gah
• Compare 3 commits »

2022-01-16 01:26:09 +00:00

aDot pushed to trunk at aDot/nemicosm

• f3b147a6a3 Recieve first call

2022-01-15 20:14:59 +00:00

aDot pushed to trunk at aDot/nemicosm

• 56add49645 Back to rustls

2022-01-12 21:29:47 +00:00

aDot pushed to trunk at aDot/nemicosm

• 3aa8364f47 Use native-tls. Get UUIDs!
• 98cc51d860 Try with rustls
• Compare 2 commits »

2022-01-11 03:45:41 +00:00

aDot pushed to trunk at aDot/nemicosm

• 7791a63b1f TLS over TCP (using HTTP for now)

2022-01-11 02:17:37 +00:00

aDot pushed to trunk at aDot/nemicosm

• d9f7dc78d8 Simpler DNS

2022-01-11 01:34:49 +00:00

aDot deleted branch master from aDot/nemicosm

2022-01-11 01:34:43 +00:00

aDot pushed to master at aDot/nemicosm

• d9f7dc78d8 Simpler DNS

2022-01-11 01:32:46 +00:00

aDot created branch master in aDot/nemicosm

2022-01-11 01:32:46 +00:00

aDot created branch trunk in aDot/nemicosm

2022-01-11 01:19:56 +00:00

aDot pushed to trunk at aDot/nemicosm

• b6db0835fc DNS client

2022-01-11 01:19:56 +00:00

aDot created repository aDot/nemicosm

2022-01-11 01:19:44 +00:00

aDot pushed to trunk at aDot/pdfs

• 261f6d4938 Lambda papers

2022-01-02 23:39:28 +00:00

aDot created branch trunk in aDot/pdfs

2022-01-02 23:39:28 +00:00