Awesome List Updates on May 31, 2020
5 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Coq
Projects / Libraries
- Coq record update (⭐42) - Library which provides a generic way to update Coq record fields.
Projects / Plugins
- Hierarchy Builder (⭐95) - Collection of commands for declaring Coq hierarchies based on packed classes.
Projects / Type Theory and Mathematics
- Graph Theory (⭐32) - Formalized graph theory results.
Resources / Community
2. Awesome Aws
Open Source Repos / Kinesis
- amazon-kinesis-client 🔥🔥🔥 (⭐612) Client library for Amazon Kinesis.
3. Awesome Pinned Gists
External Services
- toggl-box (⭐7) - Update a pinned gist to contain your weekly Toggl time tracking stats
4. Awesome Ios
Reactive Programming
- Verge (⭐632) - Verge is a faster and scalable state management library for UIKit and SwiftUI
5. Awesome Flame
Other Articles & Tutorials
- Killing gnats with Flutter and Flame - Build your first game with ads and i18n. By Bo Hellgren
- Flutter Web and Flame (⭐135) - Hands on with Flame for web. By Aseem Wangoo
Open Source / Casual
- Snaake! (⭐75) - A simple casual snake game. By lucasnlm
- Prev: Jun 01, 2020
- Next: May 30, 2020