Awesome List Updates on Sep 10, 2020
10 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Mental Health
Applications
- Moodpath - Interactive, app-based screening, created to recognize symptoms of depression.
- Wake Up Time - Calculates optimal times to wake up based on your body's sleep cycles.
2. Awesome Embedded Rust
Driver crates / Other
- embedded-ccs811 - I2C - Gas and VOC sensor driver for monitoring indoor air quality - Intro blog post -
3. Awesome Coq
Projects / Libraries
- TLC (⭐34) - Non-constructive alternative to Coq's standard library.
Projects / Tools
- coq2html (⭐27) - Alternative HTML documentation generator for Coq.
Projects / Type Theory and Mathematics
- Completeness and Decidability of Modal Logic Calculi (⭐8) - Soundness, completeness, and decidability for the logics K, K*, CTL, and PDL.
- CoqPrime (⭐35) - Library for certifying primality using Pocklington and Elliptic Curve certificates.
- Finmap (⭐46) - Extension of Mathematical Components with finite maps, sets, and multisets.
- Gaia (⭐25) - Implementation of books from Bourbaki's Elements of Mathematics, including set theory and number theory.
Resources / Community
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.
4. Awesome Raspberry Pi
Tools
- Atlas toolkit (⭐236) - 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.
5. Awesome Composer
Private repositories / IRC
- fxpio/tug (⭐33) - Enables you to host a private Composer registry on AWS Serverless serving your private PHP packages, which are hosted on Github or Gitlab services.
Packagist-compatible repositories / IRC
- Cloudsmith - A fully managed package management SaaS with PHP/Composer support (and many others).
6. Awesome Vue
Components & Libraries / UI Components
- vue-ultimate-skeleton-cards (⭐89) - The Ultimate, fully-customizable Skeleton Card plugin for Vue 🚀
7. Awesome Web Performance Budget
Articles
- JavaScript Start-up Performance - Performance Budget by Addyosmani.
Podcasts
- Shoptalk Show - A podcast about building websites.
Books
8. Awesome Vulkan
Apps
- Q2RTX (⭐1.2k) - NVIDIA’s implementation of RTX ray-tracing in Quake II. [LICENSE (⭐1.2k)]
Tools
- MangoHud (⭐5k) - Vulkan and OpenGL overlay for monitoring FPS, temperatures, CPU/GPU load. [MIT]
9. 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 (⭐111) - Wallpaper App developed in Flutter using Pexels API by Tekeshwar Singh.
10. Awesome Open Source Supporters
Miscellaneous
- LoginRadius
requires-approval- Authentication and SSO Made Simple.
- Prev: Sep 11, 2020
- Next: Sep 09, 2020