Awesome List Updates on Jun 01 - Jun 07, 2020

60 awesome lists updated this week.

🏠 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

Official Coq Zulip chat

2. Awesome Flame

Open Source / Casual

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

3. Awesome Ada

VSCode Extensions / Apache License

adacore-ada - Language Support for Ada. It includes Language Server for Ada (⭐229).

4. Awesome Ci

Name: RazorOps

Description: RazorOps is a Container-Native CI/CD platform. Instantly build, test and deploy Docker images to Kubernetes

Features: Languages: Docker, Ruby, Python, Node.js, JavaScript, PHP, Go, Rust, Java, etc

Supported repositories: GitHub, BitBucket, GitLab, Webhooks

Documentation: Documentation

Price: Pricing - Free for Open Source, Free plan with limitations

Stars:

5. Awesome Xamarin

TDD/BDD

VSMac-CodeCoverage (⭐73) - Gather code coverage results for your unit test projects from Visual Studio for Mac.

Tools

VSMac-CodeDistribution (⭐9) - A Visual Studio for Mac extension that visualises code distribution between projects. Particularly useful for Xamarin projects to understand the amount of code shared between platforms.

6. Awesome List

Networking

Real-Time Communications (⭐342) - Network protocols for near simultaneous exchange of media and data.

Testing

Playwright (⭐829) - Node.js library to automate Chromium, Firefox and WebKit with a single API.

7. Awesome Ponyfills

Numbers

number-is-nan (⭐26) - Number.isNaN

is-finite (⭐18) - Number.isFinite

is-integer (⭐12) - Number.isInteger

8. Awesome Db Tools

Schema / Changes

yuniql (⭐414) - Yet another schema versioning and migration tool just made with native .NET Core 3.0+ and hopefully better.

9. Awesome Opensource Documents

Programming Languages / C

C Programming (Site, cc-sa) - comprehensive look at the C programming language and its features

Programming Languages / Ruby

Ruby Regexp (⭐78) (Site (⭐78), cc-nc-sa) - step by step guide to Ruby regular expressions

Programming Languages / Javascript

Eloquent JavaScript (Site, cc-nc) - about JavaScript, programming, and the wonders of the digital

JavaScript RegExp (⭐90) (Site (⭐90), cc-nc-sa) - step by step guide to JavaScript regular expressions

Programming Languages / Python

Think Python (⭐868) (Site, cc-nc) - How to Think Like a Computer Scientist

Automate the Boring Stuff with Python (Site, cc-nc-sa) - learn how to use Python to write programs that do in minutes what would take you hours to do by hand - no prior programming experience required

Practical Python Programming (⭐8k) (Site, cc-sa) - covers foundational aspects of Python programming with an emphasis on script writing, data manipulation, and program organization

Python Basics (⭐538) (Site, cc-nc-sa) - Introduction to Python

Google's Python Class (Site, cc) - this is a free class for people with a little bit of programming experience who want to learn Python (Note that this course is designed for Python 2.6 or later, not Python 3.x)

Think DSP (⭐3k) (Site, cc-nc) - introduction to Digital Signal Processing in Python

Python re(gex)? (⭐1.3k) (Site (⭐1.3k), cc-nc-sa) - step by step guide to learning Python regular expressions

10. Awesome Powershell

Editors and IDEs

PoshTools for Visual Studio - Provides IntelliSense, script debugging, and Pester testing support for PowerShell to Visual Studio.

Misc

WSLab (⭐994) - Windows Server rapid lab deployment scripts.

11. Awesome Sre

Newsletters

DevOpsLinks - A weekly newsletter about SRE, SysAdmin and DevOps news, tools, tutorials and opinions.

SRE Weekly - Weekly Site Reliability Newsletter.

O’Reilly Systems Engineering and Operations Newsletter - Weekly systems engineering and operations news and insights from industry insiders.

12. Awesome Discord Communities

Windows

Microsoft Community
Notable Channels: #general-chat, #insiders-chat, #tech-support, #purchase-advice, #development, #it-pros, #servers, #surface, #office, #unix
Language: English

Linux Distributions

Gaming on Linux↴

Arch Linux [unofficial]
Notable Channels: #news, #home, #arch-support, #other-distros, #programming, #ricing, #wallpapers
Language: English \

Fedora Linux
Notable Channels: #home, #man-pages, #silverblue-containers, #server-rhel-centos, #arm-raspberry, #showcase, #gaming-general, #hardware-for-linux
Language: English

Gentoo Linux
Notable Channels: #chat, #support, #screenshots, #general-development, #ebuilds, #resources, #containers
Language: English, 日本語 \

Linux Mint Community
Notable Channels: #support-mint, #support-lmde, #support-other-os, #support-nos, #general, #tech-talk, #user-created-content
Language: English

Manjaro Linux
Notable Channels: #kde, #xfce, #gnome, #manjaro-arm, #help-general, #help-installation, #programming, #customizations
Language: English

openSUSE
Notable Channels: #support, #chat, #project, #packaging, #factory, #admin, #artwork, #docs, #gnome, #xfce
Language: English, français, Deutsch, italiano, polski, español, Nederlands \

Ubuntu Hideout
Notable Channels: #tech-talk, #coding-cave, #system-installation, #software-installation, #desktop-environment, #hardware-drivers, #networking, #programming
Language: English

13. Awesome Ember

Packages / a11y

ember-a11y-refocus (⭐18) - Provides an unobtrusive navigation narration element for Ember applications.

Packages / Charts

ember-charts (⭐785) - A charting library built with the Ember.js and d3.js frameworks.

Packages / Control flow

Generators
- ember-concurrency (⭐691) - Ember.js Addon that enables you to write concise, worry-free, cancelable, restartable, asynchronous tasks.
- ember-master-tab (⭐11) - A library that provides a service which helps running a function on only one tab of an Ember application.

Packages / Examples

An ember integration for building visual programming editors with blockly. (⭐4)

14. Awesome Prisma

15. Awesome Php

Table of Contents / Asset Management

Symfony Asset (⭐3.1k) - Manages URL generation and versioning of web assets.

Symfony Encore (⭐2.2k) - A simple but powerful API for processing and compiling assets built around Webpack.

16. Awesome Typescript

💵 Paid Courses / Chrome Extensions

Angular with TypeScript (Manning)

17. Awesome Lidar

Manufacturers

Livox - LIDAR manufacturer.
- YouTube channel
- GitHub organization

18. Open Source Flutter Apps

Contents / Tools

Enigma Signal Meter (⭐23) - Align your satellite dish by reading signal from satellite receiver by Krkadoni

19. Awesome Cybersecurity Blueteam

Cloud platform security / Security Orchestration, Automation, and Response (SOAR)

Falco - Behavioral activity monitor designed to detect anomalous activity in containerized applications, hosts, and network packet flows by auditing the Linux kernel and enriched by runtime data such as Kubernetes metrics.

20. Awesome Coins

☤ Universal GUI Apps / Physical Coin Wallets

DeBank - DeFi wallet, view assets and debts in Ethereum DeFi projects.

21. Awesome Embedded Rust

Board support crates / 1BitSquared

onebitsy - Board support crate for the 1bitsy STM32F4-based board -

22. Android Security Awesome

Tools / Dynamic Analysis Tools

Droidbox (⭐749)

23. Awesome Software Patreons

Open Source Projects

F-Droid, #2, #3 - An installable catalogue of FOSS applications for the Android platform.

Open Source Projects / Messaging and social media

Secure Scuttlebutt - A distributed and secure peer-to-peer protocol and social network.

Open Source Projects / Open Source Art

MyPaint - Painting and drawing program that works nicely with pressure-sensitive tablets, and its dynamic brush engine library.

24. Awesome Transit

GTFS Validators / Ruby

GTFSVTOR (⭐27) - An open-source GTFS validator implemented in Java licensed under GPLv3 maintained by Mecatran.

25. Awesome Flutter

UI

Animated Selection Slide (⭐369) An animated selection widget by swiping by Sezgin Bilgetay.

Flutter Tags (⭐505) - Tags with different customizations by Di Natale Antonino.

Text & Rich Content / Image Picker

TeX (⭐266) - Render Mathematics Equations with full HTML and JavaScript support by Shahzad Akram

Top / Game Engine resources

GitJournal (⭐3.4k) - Journaling your data in a Git Repo by Vishesh Handa

26. Awesome Eslint

Configs / Configs by Well-Known Companies/Organizations

Airbnb-typescript (⭐1k) - Airbnb's ESLint config with TypeScript support.

Wikimedia (⭐28) - Shareable config for Wikimedia's style guide, used by MediaWiki.

Configs / Other Prominent Configs (100 stars or so)

Canonical (⭐576) - Shareable config for Canonical style guide (⭐18).

Standard (⭐2.6k) - Shareable config for JavaScript Standard Style (⭐29k).

XO (⭐266) - Shareable config for XO (⭐7.6k).

Configs / Other Configs

Ash-Nazg (⭐6) - One config to rule them all!

Cecilia (⭐6) - ESLint configuration for awesome projects.

ES (⭐28) - Shareable config for very strict code.

Hardcore (⭐401) - The most strict (but practical) ESLint config out there.

Problems (⭐67) - Shareable config that only catches actual problems, and doesn't enforce stylistic preferences.

Supermind (⭐4) - Shareable config for Supermind style.

Plugins / Libraries

jQuery (⭐31) - Linting rules for jQuery, including versioned configs for deprecated features.

Plugins / Testing Tools

AVA (⭐227) - Linting rules for AVA.

Cucumber (⭐7) - Linting rules for Cucumber.

27. Awesome Ciandcd

secure tools

Deepfence Enterprise - Full life cycle Cloud Native Workload Protection platform for kubernetes, virtual machines and serverless.

Deepfence Threat Mapper (⭐2.3k) - Powerful runtime vulnerability scanner for kubernetes, virtual machines and serverless.

28. Awesome Elixir

Framework Components

surface (⭐2k) - A server-side rendering component library for Phoenix.

Queue

broadway (⭐2.4k) - Concurrent and multi-stage data ingestion and data processing with Elixir.

29. Awesome Quantum Computing

Development Tools

Paddle Quantum (⭐536) - Baidu's python toolkit for quantum machine learning.

Books

Quantum Computing: An Applied Approach - A hands on introduction into quantum computing that explains the foundations of quantum computing to the mathematics behind quantum systems.

30. Awesome Ros2

Packages / Client libraries

ros2_rust (⭐613) - Rust bindings for ROS2. $ros2\_rust$

31. Awesome Pinned Gists

External Services

book-box (⭐17) - Update a pinned gist to contain your latest reads from goodreads

covid-box (⭐11) - Update a gist to contain global or country specific coronavirus stats.

shortcut-box (⭐10) - Update a pinned gist to contain random IDE shortcut

toggl-box (⭐7) - Update a pinned gist to contain your weekly Toggl time tracking stats

youtube-box (⭐8) - Update a pinned gist to show your latest YouTube videos

32. Awesome Keycloak

Talks

2020 Please-open.it : oauth2 dans le monde des ops (french)

Tools

oidc-bash-client (⭐96)

33. Awesome Nextjs

Essentials

Blog

Learn

Extensions

next-connect (⭐1.6k) - The Express/Connect-compatible router and middleware layer for Next.js.

34. Awesome Broadcasting

Codecs

Lame - A high quality MPEG Audio Layer III (MP3) encoder.

Opus - A totally open, royalty-free, highly versatile audio codec.

TwoLame - An MPEG Audio Layer 2 (MP2) encoder.

Animation, Graphics & Video Playout

Macadam (⭐107) - Blackmagic Node.js bindings that support HTML/CSS (via Electron) and SVG (via Sevruga (⭐4)) graphics.

Radio Production

LibreTime - Radio broadcast & automation platform (fork of Airtime).

Software-defined radio

Gqrx SDR - An open source software defined radio receiver (SDR).

35. Awesome Swift

Video / Barcode

MobilePlayer (⭐3.1k) - A powerful and completely customizable media player for iOS.

36. Public Apis

Games & Comics

API: FIFA Ultimate Team

Description: FIFA Ultimate Team items API

Auth: No

HTTPS: Yes

CORS: Unknown

Geocoding

API: Geoapify

Description: Forward and reverse geocoding, address autocomplete

Auth: apiKey

HTTPS: Yes

CORS: Yes

37. Awesome Creative Coding

Books

Synthèse d'images avec OpenGL (ES) - Book in french, which covers OpenGL, OpenGL ES and WebGL.

Hands-On Music Generation with Magenta - Explore the role of deep learning in music generation and assisted music composition.

Online Books

XEM WebGL Guide - Step-by-step guide to WebGL.

Web Programming • Libraries

OGL.js (⭐3.6k) - JavaScript 3D library (WebGL).

Schools • Workshops / Other

UAL Creative Computing Institute - school in London working at the intersection of creativity and computational technologies

Blogs • Websites / Other

jsdo.it-archives (⭐11) - Compilation of WebGL experiments including comparisons on WebGL frameworks and physics engine (oimo.js, cannon.js, ammo.js)

WebAudio Weekly - Newsletter to know everything about the WebAudio API

38. Awesome Cheminformatics

Resources / Blogs

Cheminformatics 2.0 - Blog of Alex M. Clark, a research scientist at Collaborative Drug Discovery.

Depth-First - Blog of Richard L. Apodaca, a chemist living in La Jolla, California.

39. Awesome Aws

Open Source Repos / Kinesis

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

Open Source Repos / S3

bloomreach/s4cmd 🔥🔥🔥🔥 (⭐1.3k) - S3 command line tool, faster than S3cmd for large files.

Open Source Repos / DevOps

k1LoW/awspec 🔥🔥🔥🔥 (⭐1.2k) - RSpec tests your resources.

40. Awesome Actions

GitHub Tools and Management / Docker Container Actions

Update Configured GitHub Actions to the Latest Versions (⭐8)

Remove Old Artifacts (⭐238)

Expose Git Commit Data As Environment Variables (⭐34)

Monitoring / Code Coverage

Check bundlephobia (⭐46) - Comments new and modified package size according to bundlephobia.io website and rejects PR on threshold surpassed.

41. Awesome Ios

TextField & TextView / Collection View Layout

CHIOTPField (⭐276) - A set of textfields that can be used for One-time passwords, SMS codes, PIN codes, etc.

Reactive Programming

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

42. Awesome Micropython

Communications / MQTT

MQBoard (⭐118) - A micro-framework for using MQTT with asyncio on MicroPython boards, primarily on the ESP32.

sonoff-mqtt by davea (⭐59) - MicroPython scripts to control Sonoff/ESP8266 using MQTT.

micropython-thingspeak-mqtt-esp8266 (⭐26) - Publish and Subscribe to ThingSpeak using MQTT with MicroPython running on ESP8266/ESP32 platforms.

IO / GPIO

micropython-debounce-switch (⭐8) - MicroPython Class for Debouncing Switches.

Debugging / SRAM

esp32-backtrace (⭐24) - ESP32 Exception Stack Backtrace Analyzer.

43. Awesome Deep Learning

Researchers / Datasets

MIT Vision Texture - Image archive (100+ images) (Formats: ppm)

Researchers / Miscellaneous

CNN Explainer

44. ALL About RSS

Self Hosted Readers / Outline Processor Markup Language

Feedsubs ⁶³³

FeedFox ⁶⁰⁹

specifically from (a certain platform) / Links on social streams

Filter RSS ³⁷⁷ : Create an RSS feed from all the links shared on your social streams.

Siftlink ⁶²⁸ : monitors your friend stream on Twitter, pulls out the links and creates an RSS feed for you

Podcast RSS feed submission page for audio platforms / Crypto or Blockchain relevant

Google Podcasts Manager ⁶³⁷

Discussion Forums / Crypto or Blockchain relevant

/r/podcasts : a subreddit

Podcast node at V2EX

Sponsors / Sharing APP Promo codes with my Telegram Channel subscribers

@spianslabs ⁶³⁶

45. Awesome Qsharp

Q/A

Q# tag on Stack Overflow

Q# tag on Quantum Computing StackExchange

46. Awesome Fp Js

Libraries

rubico (⭐262) - 🏞 [a]synchronous functional syntax

Resources / Books

scriptum (⭐380) - a no-frills functional programming library and a online course based on it

47. Awesome Nlg

Neural Natural Language Generation

This Word Does Not Exist (⭐1k) - This is a project allows people to train a variant of GPT-2 that makes up words, definitions and examples from scratch.

48. Awesome Irc

Bots / Self-hosted

EveIRC (⭐9) - Extendable chat/channel/server-managenent service-providing bot. Using the Cinch Framework (⭐1k). Ruby

49. Awesome React Native

UI

react-native-hole-view ★6 (⭐210) - Component for cutting out click-through holes in any view. Perfect for making tutorial-like overlay

50. Awesome Css

Frameworks 🎨 / Editor's Draft ✒️

Bonsai - A complete Utility First CSS Framework for less than 50kb.

51. Awesome Jamstack

Jamstack Sites Showcase

ProtonDB - React/MaterialUI/Firebase hosted on Netlify since August 2018. Prominent in Linux gaming community.

CMS

Kentico Kontent - A cloud-native headless CMS that scales.

Videos / Automation

React vs Vue, Gatsby vs Gridsome - building the same site - Ondrej Polesny.

Tutorials / Articles / Automation

State of Jamstack 2020 report

52. Colorful

Tools / Web App

Sorted colors - Sorted named CSS colors in a way that it shows related colors together.

53. Awesome Wardley Maps

Maps in the Wild

Context, Situation, Components, PaaS, Dead or Alive … it's all semantics isn't it? - tl;dr Caveat Emptor. Feb 4, 2014.

54. Awesome Playcanvas

Tutorials

Video Tutorials - YouTube playlist for short PlayCanvas tutorials.

55. Awesome Blazor

Games

DiabloBlazor (⭐94) - Blazor port of DiabloWeb, making it a double WebAssembly app: a WebAssembly (C#) PWA hosting a WebAssembly (C++) game. Demo.

Component bundles

DevExpress Blazor UI Components (⭐379) - A set of native UI Blazor components (including a Data Grid, Pivot Grid, Scheduler, and Charts) for both Blazor server-side and Blazor client-side platforms.

56. Awesome Crystal

Web Frameworks

runcobo (⭐49) - An api framework with simple, intuitive and consistent DSL, using jbuilder to render json

57. Awesome Engineering Team Management

Cognitive Tools / Collections

40 powerful concepts for understanding the world - Concepts are named and describe succinctly in the tweet thread.

Tools for better thinking - “Collection of thinking tools and frameworks to help you solve problems, make decisions and understand systems.”

Cognitive Tools / Problem Solving

First principles and asking why - “Our ability to think in abstractions can weaken our judgement, as those abstractions may no longer be as true as they once were. Also a similarly dangerous evolutionary trait is our ability to think in analogy, where we make assumptions based on the comparison of two things that are not actually related.” Elon Musk explains it better.

“People who excel at software design become convinced that they have a unique ability to understand any kind of system at all, from first principles, without prior training, thanks to their superior powers of analysis. Success in the artificially constructed world of software design promotes a dangerous confidence.” - A reminder of the needs of humility and recognition of limits in our industry, from a panel on the Moral Economy of Tech.

The Art of Powerful Questions - Catalyzing Insight, Innovation, and Action - “Leaders believe that they are being paid for fixing problems rather than for fostering breakthrough thinking.”

Cognitive Tools / Brainstorming

Yes, and… - “A rule-of-thumb in improvisational comedy (…). It is also used in business and other organizations as a principle that improves the effectiveness of the brainstorming process, fosters effective communication, and encourages the free sharing of ideas.”

Strong Opinions, Weakly Held — a framework for thinking - “Allow your intuition to guide you to a conclusion, no matter how imperfect — this is the 'strong opinion' part. Then – and this is the 'weakly held' part – prove yourself wrong.”

Cognitive Tools / Behavioral

Avoiding Intellectual Phase Lock - Anticipating an important result so much, humans by nature are susceptible to introduce subtle confirmation bias. To combat IPL, you might introduce random unknowns to suppress any attempt to game the system toward the object of your desire. I.e. avoid to cheat yourself to success.

Facilities / Standups

Noise, Cognitive Function, and Worker Productivity - “An increase of 10 dB reduces productivity by approximately 5%.”

Product Management / Product Strategy

Coglode: bite-size behavioral research analysis - Mostly applied behaviour insights to help you build up strategies and tactics on product, design and planning.

Product Management / User-Centered Design

The product roadmap is dead: welcome to the age of problem roadmaps - “Fall in love with your problems and not with your solutions.”

The Psychology of Design - An extensive list of cognitive biases and design principles with examples and tips to fine-tune your product and UX.

Product Management / Product Marketing

Marketing for Engineers (⭐13k) - Lots of resources to help bootstrap your marketing activities and solve practical tasks.

How the biggest consumer apps got their first 1,000 users - How the biggest apps out there started: from going to your user directly (both online and offline), creating FOMO and word-of-mouth, to build a community first and get press.