Awesome List Updates on May 31, 2020

4 awesome lists updated today.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. Awesome Coq

Projects / Libraries

• Coq record update (⭐48) - Library which provides a generic way to update Coq record fields.

Projects / Plugins

• Hierarchy Builder (⭐99) - Collection of commands for declaring Coq hierarchies based on packed classes.

Projects / Type Theory and Mathematics

• Graph Theory (⭐36) - Formalized graph theory results.

Resources / Community

• Official Coq Zulip chat

2. Awesome Aws

Open Source Repos / Kinesis

• amazon-kinesis-client 🔥🔥🔥 (⭐650) Client library for Amazon Kinesis.

3. Awesome Ios

Reactive Programming

• Verge (⭐767) - Verge is a faster and scalable state management library for UIKit and SwiftUI

4. 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 (⭐137) - Hands on with Flame for web. By Aseem Wangoo

Open Source / Casual

• Snaake! (⭐82) - A simple casual snake game. By lucasnlm

• Prev: Jun 01, 2020
• Next: May 30, 2020