Awesome List Updates on Sep 10, 2020
11 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Mental Health
- 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 (⭐28) - Non-constructive alternative to Coq's standard library.
Projects / Tools
- coq2html (⭐24) - Alternative HTML documentation generator for Coq.
Projects / Type Theory and Mathematics
- Completeness and Decidability of Modal Logic Calculi (⭐5) - Soundness, completeness, and decidability for the logics K, K*, CTL, and PDL.
- CoqPrime (⭐25) - Library for certifying primality using Pocklington and Elliptic Curve certificates.
- Finmap (⭐44) - Extension of Mathematical Components with finite maps, sets, and multisets.
- Gaia (⭐21) - 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. Free for Dev
- Vercel — Build, deploy, and host web apps with free SSL, global CDN, and unique Preview URLs each time you
git push. Perfect for Next.js and other Static Site Generators.
5. Awesome Raspberry Pi
- Atlas toolkit (⭐215) - 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.
6. 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).
7. Awesome Vue
Components & Libraries / UI Components
- vue-ultimate-skeleton-cards (⭐87) - The Ultimate, fully-customizable Skeleton Card plugin for Vue 🚀
8. Awesome Web Performance Budget
- Shoptalk Show - A podcast about building websites.
9. Awesome Vulkan
- MangoHud (⭐4.3k) - Vulkan and OpenGL overlay for monitoring FPS, temperatures, CPU/GPU load. [MIT]
10. Open Source Flutter Apps
Contents / Health and Fitness
Contents / Personalization
11. Awesome Open Source Supporters
requires-approval- Authentication and SSO Made Simple.