まとめ
- [Haskell] Building a CPU with Haskell - Part 1 :: Will Yager
- [Go][モバイル] Matcha - Mobile apps in Go
- [JavaScript] GitHub - cherow/cherow: A fast, Typescript-based ECMAScript parser
- JavaScript 製の ECMAScript パーサ
- パフォーマンスに重点を置いているらしい → Cherow: Speed Comparisons
- [数学] HoTTSQL
- WebSite: Cosette: An Automated SQL Solver
- Paper: https://arxiv.org/abs/1607.04822
- 解説ブログ
- Homotopy Type Theory (ホモトピー型理論)の実用アプリケーション
- アプリは SQL の Equivalence をチェックするツール
- yabai