Awesome List Updates on Oct 23, 2022

10 awesome lists updated today.

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

1. Awesome Generative Deep Art

Inbox: Stable Diffusion / Web UI for Stable Diffusion via Google Colab

• StableDiffusion_WebUI_Simplified.ipynb: versão em português do notebook para rodar a Web UI do Stable Diffusion no Google Colab de graça

2. Awesome Job Boards

Programming / JavaScript

• JSJobbs

3. Awesome Crypto Papers

Specific topics / Secret key cryptography

• The Galois/Counter Mode of Operation (GCM) - Original paper introducing GCM, by by David A. McGrew and John Viega.

Specific topics / Zero Knowledge Proofs

• How to Prove a Theorem So No One Else Can Claim It - By Manuel Blum.

• Zero Knowledge Protocols and Small Systems - A good intro into Zero knowledge protocols.

4. Awesome Micropython

Code Generation / SRAM

• micropython-package-template (⭐9) - GitHub workflow supported MicroPython package template with deploys to the Python Package Index on a push to the main branch and test deploys to the Test Python Package Index on PRs.

5. Awesome Coq

Projects / Tools

• Trakt (⭐16) - Generic goal preprocessing tool for proof automation tactics.

Resources / Course Material

• Introduction to the Theory of Computation - Formalization to support an undergraduate course on the theory of computation, including languages and Turing machines.

6. Awesome Design Systems

• : Alaska Airlines

  Components: 👍

  Voice & Tone: 👍

  Designers Kit: 👍

  Source code *: 🐙

• : BLiP

  Components: 👍

  Voice & Tone:

  Designers Kit:

  Source code *: 🐙 (⭐4)

• : Bolt Design System

  Components: 👍

  Voice & Tone:

  Designers Kit:

  Source code *: 🐙 (⭐291)

• : CA Technologies Mineral UI

  Components: 👍

  Voice & Tone:

  Designers Kit:

  Source code *: 🐙 (⭐560)

• : City of Boston Fleet

  Components: 👍

  Voice & Tone: 👍

  Designers Kit:

  Source code *: 🐙 (⭐22)

• : Foundation

  Components: 👍

  Voice & Tone: 👍

  Designers Kit: 👍

  Source code *: 🐙 (⭐30k)

• : Meetup Swarm

  Components: 👍

  Voice & Tone: 👍

  Designers Kit: 👍

  Source code *: 🐙 (⭐22)

• : Mozilla Protocol

  Components: 👍

  Voice & Tone:

  Designers Kit:

  Source code *: 🐙 (⭐273)

• : NHS.UK Service Manual

  Components: 👍

  Voice & Tone: 👍

  Designers Kit:

  Source code *:

• : Nordhealth

  Components: 👍

  Voice & Tone:

  Designers Kit: 👍

  Source code *:

• : Nutanix

  Components: 👍

  Voice & Tone:

  Designers Kit:

  Source code *:

• : Oracle Redwood

  Components: 👍

  Voice & Tone:

  Designers Kit: 👍

  Source code *:

• : Vimeo Design System

  Components: 👍

  Voice & Tone:

  Designers Kit:

  Source code *: 🐙 (⭐46)

• : VMware Clarity Design System

  Components: 👍

  Voice & Tone: 👍

  Designers Kit: 👍

  Source code *: 🐙 (⭐6.4k)

7. Awesome Zsh Plugins

Themes / superconsole - Windows-only

• normanius (⭐0) - Derived from bira (⭐180k). Includes decorators for git status, user@host, python virtualenv, and ruby rvm version.

8. Static Analysis

Multiple languages / Other

• emerge (⭐910) — Emerge is a source code and dependency visualizer that can be used to gather insights about source code structure, metrics, dependencies and complexity of software projects. After scanning the source code of a project it provides you an interactive web interface to explore and analyze your project by using graph structures.

• Snyk Code ©️ — Snyk Code finds security vulnerabilities based on AI. Its speed of analysis allow us to analyse your code in real time and deliver results when you hit the save button in your IDE. Supported languages are Java, JavaScript, Python, PHP, C#, Go and TypeScript. Integrations with GitHub, BitBucket and Gitlab. It is free to try and part of the Snyk platform also covering SCA, containers and IaC.

9. Awesome Python

GUI Development

• PyQt - Python bindings for the Qt cross-platform application and UI framework.

10. Awesome Privacy

Notes and Tasks

• SiYuan (⭐36k) - A local-first personal knowledge management system.

• Prev: Oct 24, 2022
• Next: Oct 22, 2022