β πΊπΈ π¦ β 1A β 2A β SRΒ² SW Dev β π€ AI β βοΈ NIX β β FStar β π° CakeML β πͺ OCaml β C β π» W7ME β π 802.11AH β LoRa β η’士 β νκΆλ β ποΈ DYEL?
πΉπ TH πΊ HI πΎ Midwest
- Tweets 2,988
- Following 1,301
- Followers 4,497
- Likes 74,286