Awesome List Updates on Sep 10, 2020

7 awesome lists updated today.

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

1. Awesome Coq

Projects / Libraries

• TLC (⭐39) - Non-constructive alternative to Coq's standard library.

Projects / Tools

• coq2html (⭐31) - Alternative HTML documentation generator for Coq.

Projects / Type Theory and Mathematics

• Completeness and Decidability of Modal Logic Calculi (⭐10) - Soundness, completeness, and decidability for the logics K, K*, CTL, and PDL.

• CoqPrime (⭐39) - Library for certifying primality using Pocklington and Elliptic Curve certificates.

• Finmap (⭐48) - Extension of Mathematical Components with finite maps, sets, and multisets.

• Gaia (⭐30) - Implementation of books from Bourbaki's Elements of Mathematics, including set theory and number theory.

Resources / Community

• Planet Coq link aggregator

Resources / Books

• Program Logics for Certified Compilers - Book that explains how to construct program logics using separation logic, accompanied by a formal model in Coq which is applied to the Clight programming language and other examples.

Resources / Course Material

• Foundations of Separation Logic - Introduction to using separation logic to reason about sequential imperative programs in Coq.

2. Awesome Raspberry Pi

Tools

• Atlas toolkit (⭐272) - Very lightweight and easy to install toolkit to write in Python single-page web applications to pilot your RPi, without having to install a web server.

3. Awesome Composer

Packagist-compatible repositories / IRC

• Cloudsmith - A fully managed package management SaaS with PHP/Composer support (and many others).

4. Awesome Web Performance Budget

Articles

• JavaScript Start-up Performance - Performance Budget by Addyosmani.

Podcasts

• Shoptalk Show - A podcast about building websites.

Books

• Web Performance Warrior

• Designing for Performance

5. Awesome Vulkan

Apps

• Q2RTX (⭐1.3k) - NVIDIA’s implementation of RTX ray-tracing in Quake II. [LICENSE (⭐1.3k)]

Tools

• MangoHud (⭐7.4k) - Vulkan and OpenGL overlay for monitoring FPS, temperatures, CPU/GPU load. [MIT]

6. Open Source Flutter Apps

Contents / Health and Fitness

• Covid-Care (⭐10) - Live Update With Change State country india by J-J-GAJJAR

Contents / Personalization

• Wallbay (⭐114) - Wallpaper App developed in Flutter using Pexels API by Tekeshwar Singh.

7. Awesome Open Source Supporters

Miscellaneous

• LoginRadius requires-approval - Authentication and SSO Made Simple.

• Prev: Sep 11, 2020
• Next: Sep 09, 2020