Awesome List Updates on Jul 31 - Aug 06, 2023

45 awesome lists updated this week.

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

1. Awesome Theoretical Computer Science

Books

• Sipser. Introduction to Theory of Computation - A standard text for introducing theory of computation for undergrads.

Workshops / Monograph

• Simons Institute. Information Theory Program - It aims to strengthen the ties between computation and communication communities. It explores (1) information theoretic techniques in complexity theory and combinatorics, (2) Coding theory and applications, and (3) information theory, machine learning, and big data.

Popular Science / Lecture Videos Playlist

• Aaronson. Quantum Computing Since Democritus - It covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory,computability and complexity theory, quantum computing, cryptography, the information content of quantum states, and the interpretation of quantum mechanics.

2. Awesome V

Games

• Puzzle Vibes (⭐17) - A jigsaw-like puzzle game written in V using shy.

Game development

• shy (⭐62) - A foundation that helps you being creative in V.

3. Awesome Deno

Modules / CLI utils

• tui (⭐298) - Module which allows easy creation of Terminal User Interfaces.

4. Awesome Flutter

Text & Rich Content / Image Picker

• Fleather (⭐265) - Soft & gentle rich text editor

5. Awesome Docker

Monitoring

• HertzBeat (⭐6.4k) - An open-source real-time monitoring system with custom-monitor and agentless.

Wrappers / Other

• Preevy (⭐2.1k) - Preview environments for Docker and Docker Compose projects. Test your changes and get feedback from devs and non-devs (Product/Design) by deploying pull requests to the your cloud provider as part of your CI pipeline.

6. Awesome Privacy

Password Managers

• Proton Pass - Open-source and encrypted password manager by Proton.

7. Awesome Tailwindcss

UI libraries, components & templates

• 📁 Astro Template Cactus (⭐1.3k) - Tailwind CSS Astro starter template.

8. Awesome Jax

Libraries / New Libraries

• SCICO (⭐136) - Scientific computational imaging in JAX.

9. Awesome Electronics

Other Lists / Help

• TCAD Central - List of Technology CAD (TCAD) software and resources from the maker of DEVSIM.

10. Awesome Zsh Plugins

Plugins / superconsole - Windows-only

• pr-user (⭐1) - Creates a global variable that can be used in prompts.

• zplug-blame (⭐1) - A zplug (⭐5.9k)-specific plugin that displays how long each of your plugins took to load.

Themes / superconsole - Windows-only

• gbt (⭐554) - Go Bullet Train is a very customizable prompt builder inspired by Bullet Train and oh-my-zsh (⭐180k) that runs much faster. Includes many different status cars. Includes a prompt-forwarding (⭐554) feature than enables the user to forward their user-defined prompt to a remote machine and have the same-looking prompt across all machines via SSH but also in Docker, Kubectl, Vagrant, MySQL or in Screen without the need to install anything remotely.

• nostalgia (⭐0) - Minimalist theme inspired by Windows CMD prompt. Includes decorators for user@hostname, git status, current directory and python virtualenv.

• xbira (⭐0) - Based on bira (⭐180k), includes decorators for git status, user@hostname, exit status of last command run and the current directory.

11. Awesome Lowcode

Visual programming

• Observable - Push the limits of data visualization.

12. Android Security Awesome

Tools / Online Analyzers

• Koodous - Performs static/dynamic malware analysis over a vast repository of Android samples and checks them against public and private Yara rules.

• AMAaaS - Free Android Malware Analysis Service. A bare-metal service features static and dynamic analysis for Android applications. A product of MalwarePot.

Tools / Static Analysis Tools

• Androwarn (⭐503) - detect and warn the user about potential malicious behaviors developed by an Android application.

• PSCout - A tool that extracts the permission specification from the Android OS source code using static analysis

• RiskInDroid (⭐155) - A tool for calculating the risk of Android apps based on their permissions, with an online demo available.

• JAADAS (⭐349) - Joint intraprocedural and interprocedural program analysis tool to find vulnerabilities in Android apps, built on Soot and Scala

Tools / App Vulnerability Scanners

• QARK (⭐3.3k) - QARK by LinkedIn is for app developers to scan apps for security issues

Tools / Dynamic Analysis Tools

• Mobile-Security-Framework MobSF (⭐19k) - Mobile Security Framework is an intelligent, all-in-one open-source mobile application (Android/iOS) automated pen-testing framework capable of performing static, dynamic analysis and web API testing.

• AppUse – custom build for penetration testing

• Xposed - equivalent of doing Stub-based code injection but without any modifications to the binary

• Inspeckage (⭐2.9k) - Android Package Inspector - dynamic analysis with API hooks, start unexported activities, and more. (Xposed Module)

• MARA (⭐643) - Mobile Application Reverse Engineering and Analysis Framework

• ARTist - a flexible open-source instrumentation and hybrid analysis framework for Android apps and Android's Java middleware. It is based on the Android Runtime's (ART) compiler and modifies code during on-device compilation.

• AndroPyTool (⭐371) - a tool for extracting static and dynamic features from Android APKs. It combines different well-known Android app analysis tools such as DroidBox, FlowDroid, Strace, AndroGuard, or VirusTotal analysis.

• PAPIMonitor (⭐76) – PAPIMonitor (Python API Monitor for Android apps) is a Python tool based on Frida for monitoring user-select APIs during the app execution.

• Android_application_analyzer (⭐162) - The tool is used to analyze the content of the Android application in local storage.

Tools / Reverse Engineering

• Android OpenDebug (⭐133) – make any application on the device debuggable (using cydia substrate).

Tools / Fuzz Testing

• An Android port of the Melkor ELF fuzzer (⭐61)

• IntentFuzzer

Tools / Market Crawlers

• Google Play crawler (Java) (⭐584)

• Google Play crawler (Python) (⭐891)

• Google Play crawler (Node) (⭐273) - get app details and download apps from the official Google Play Store.

Tools / Misc Tools

• AppMon (⭐1.6k)- AppMon is an automated framework for monitoring and tampering with system API calls of native macOS, iOS, and Android apps. It is based on Frida.

• Android Mobile Device Hardening (⭐210) - AMDH scans and hardens the device's settings and lists harmful installed Apps based on permissions.

Academic/Research/Publications/Books / Research Papers

• Android security-related presentations (⭐171)

Exploits/Vulnerabilities/Bugs / Malware

• androguard - Database Android Malware wiki

• Kharon Malware Dataset - 7 malware which have been reverse-engineered and documented

• Android PRAGuard Dataset - The dataset contains 10479 samples, obtained by obfuscating the MalGenome and the Contagio Minidump datasets with seven different obfuscation techniques.

13. Awesome Cpp

Game Engine

• quakeforge (⭐52) - Actively maintained branch of the original Quake engine code with 20+ years of development. [GPL-2.0]

• ezEngine (⭐1.7k) - Is a free, open-source game engine written in C++. Its philosophy is to be modular and flexible, such that it can be adapted to many different use cases. [MIT] website

Graph

• CXXGraph (⭐599) - free C++(17) graph header-only library for representation and algorithms execution. [AGPL-3.0]

• Graaf (⭐310) - A general-purpose lightweight C++20 graph library. [MIT] website

14. Awesome Scientific Writing

Word Processors

• Visual Studio Code - Popular IDE with Markdown support.
  • Markdown All in One (⭐3k) - Extension for enhanced Markdown support in VSCode, such as preview and auto completion to name a few.
  • Markdown Preview Enhanced (⭐4.2k) - Pandoc integration and utilities.

Illustrations

• app.diagrams.net - Open source, online, desktop and container deployable diagramming software named draw.io.

Spell Checking and Linting

• LanguageCheck (⭐105) - Analyses scientific LaTeX papers, suggesting improvements from a list of common mistakes/ambiguities, tense consistency, a vs. an, spell check, and paragraph topic sentences.

Tutorials / Books

• Scott Selisker - Plain Text Workflow for Academic Writing with Atom.

15. Awesome Micropython

AI

• emlearn-micropython (⭐128) - Efficient Machine Learning engine for MicroPython.

16. Awesome Db Tools

API / Samples

• VulcanSQL (⭐687) - Write templated SQL to automatically exposing RESTful APIs from your database/data warehouse/data lake.

HA/Failover/Sharding / Zabbix

• ShardingSphere (⭐20k) - Distributed SQL transaction & query engine for data sharding, scaling, encryption, and more - on any database.

17. Awesome Stacks

Rock Solid Modern Rails ↗ / Resources

• Cloud 66 - 🛠️ Cloud 66 gives you everything you need to build, deploy, and manage your Rails applications on any cloud without the headache of the “server stuff”.

18. Awesome Cli Apps

Development / Devops

• flog (⭐1.2k) - A fake log generator for log formats such as apache-common, apache error and RFC3164 syslog.

Development / Boilerplate

• mevn-cli (⭐826) - Light speed setup for MEVN (Mongo Express Vue Node) Apps.

Files and Directories / Directory Navigation

• tere (⭐1.8k) - A faster alternative to using cd and ls.

Version Control / Git

• Lazygit (⭐62k) - Simple TUI for git commands.

19. Awesome Selfhosted

Software / Communication - Custom Communication Systems

• Screego - Screego is a simple tool to quickly share your screen to one or multiple people via web browser. (Demo, Source Code (⭐8.7k)) GPL-3.0 Docker/Go

20. Awesome Dotnet

Caching

• FastCache (⭐168) - 10X faster alternative to MemoryCache for .NET

21. Awesome Tmux

Tools and session management

• tmux-nav-master (⭐6) Easy cross-navigation between tmux and other terminal applications.

Themes

• tmux-base16-statusline (⭐28) Statusline based on base16-shell (⭐253)

• tmux-colors-solarized (⭐1.1k) A color theme for the tmux terminal multiplexer using Ethan Schoonover’s Solarized color scheme

• tmux-dark-notify (⭐67) - Make tmux's theme follow macOS dark/light mode.

• tmux-power (⭐618) 8 powerline style themes for tmux, easily to expand.

• tmux-snazzy (⭐18) Elegant tmux theme with bright colors

• tmux-themepack (⭐1.7k) Various themes for tmux

• tokyo-night-tmux (⭐455) tokyo-night theme for tmux

• tomorrow (⭐47): 5 flavors of Tomorrow theme based on specifications from Tomorrow Theme (⭐14k) (i.e. dark/blue and light).

Plugins

• tmux-keylocker (⭐5) Lock away your tmux keybinds temporarely.

22. Awesome Pentest

Vulnerability Databases / Social Engineering Tools

• CISA Known Vulnerabilities Database (KEV) - Vulnerabilities in various systems already known to America's cyber defense agency, the Cybersecurity and Infrastructure Security Agency, to be actively exploited.

23. Awesome Cl

Theorem provers

• ACL2 - a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models.
  • used in the industry since the 1990s.
  • it supports a subset of the ANSI standard Common Lisp programming language.
  • "Companies that have used ACL2 regularly include AMD, Centaur Technology, IBM, Intel, Kestrel Institute, Motorola/Freescale, Oracle and Rockwell Collins." (source)
  • Proofpad (⭐11), an online IDE for ACL2.
  • ACL2-kernel (⭐5), a Jupyter Kernel for ACL2.
  • ACL2 Sedan, an Eclipse plugin that provides a modern IDE for ACL2, used with students at universities.
    • paper: Using ACL2 to teach students about software testing.

24. Awesome Keycloak

Talks

• 2022 Secure digital transformation via keycloak's FAPI - DevConf.cz Mini | June 2022

Community Extensions

• rciam/keycloak-group-management (⭐14)

Example Projects

• FAPI demo from DevConf.cz Mini: Secure digital transformation via keycloak's FAPI (⭐4)

25. Awesome Jupyter

Hosted Notebook Solutions

• qBraid Lab - JupyterLab deployment providing curated software tools and integrations for quantum computing.

26. Awesome Flame

App Releases / Casual

• Jade Rapids - Android - Swim with your pug up Jade Rapids collecting treats and dodging obstacles. By Philip Lalonde

App Releases / Educational

• Mathonaut - Android, iOS - A platform game in which you play around math. By Skyost

27. Awesome Polars

Blog posts / Miscellaneous

• Pandas vs Polars: A database speed test. Who wins? - A blog post that compares the run-time of reading a database into a dataframe using Pandas versus using Polars by Thomas Reid.

28. Awesome React Components

Table

• mantine-datatable (⭐1.1k) - demo/docs - Lightweight table component for Mantine UI applications, with lots of features

Menu

• mantine-contextmenu (⭐155) - demo/docs - Context-menu hook/component for applications built with Mantine UI.

Miscellaneous

• react-mrz-scanner (⭐5) - A React component to scan MRZ on passports, visa cards, etc. It is based on Dynamsoft Label Recognizer.

Form Components / Input Types

• react-multi-email (⭐314) - demo - Format multiple emails as the user types.

29. Awesome Agi Cocosci

MIT / Commonsense Knowledgebase

• Josh Tenenbaum - Department of Brain and Cognitive Sciences, CSAIL, MIT, Computational Cognitive Science Group (CoCoSci Group) - MIT.

• Rebecca Saxe - Department of Brain and Cognitive Sciences, MIT, Social Cognitive Neuroscience Laboratory (SaxeLab) - MIT.

• Laura Schulz - Department of Brain and Cognitive Sciences, MIT, Early Childhood Cognition Lab - MIT.

• Leslie Kaelbling - Department of Electrical Engineering and Computer Science, CSAIL, MIT, The Learning & Intelligent Systems Group - MIT.

• Armando Solar-Lezama - Department of Electrical Engineering and Computer Science, CSAIL, MIT, Computer-Aided Programming Group - MIT.

SIT / Commonsense Knowledgebase

• Mark Ho - Department of Computer Science, Stevens Institute of Technology (SIT), Computation and Decision-Making Lab - SIT.

30. Awesome Terraform

Community Modules / Miscellaneous

• terraform-kubestack (⭐692) - Kubestack is a framework for Kubernetes platform engineering teams to define the entire cloud native stack in one Terraform code base and continuously evolve the platform safely through GitOps.

• terraform-nixos (⭐369) - A set of Terraform modules that are designed to deploy NixOS.

• typhoon (⭐2k) - Minimal and free Kubernetes distribution with Terraform.

Tools / Community providers

• terraform-aws-clickops-notifier (⭐319) - Get notified when actions are taken in the AWS Console.

31. Awesome Web Archiving

Tools & Software / WARC I/O Libraries

• jwarc (⭐49) - Read and write WARC files with a type safe API (Java).

32. Awesome Yew

Projects

• Ubiquity (⭐201) - An open-source, cross-platform markdown editor; built with Yew, Tauri, Tailwind, and DaisyUI. Web App.

33. Awesome Crypto Papers

Specific topics / Public key cryptography: General and DLP

• Secure Communications Over Insecure Channels - Paper by R. Merkle, predated "New directions in cryptography" though it was published after it. The Diffie-Hellman key exchange is an implementation of such a Merkle system.

Specific topics / Public key cryptography: Elliptic-curve crypto

• Recommendations for Discrete Logarithm-Based Cryptography: Elliptic Curve Domain Parameters (NIST SP 800-186) - Official NIST guide how securely implement elliptic curves. It also includes math shortcuts, optimizations and possible security risk of wrong algorithm implementation. (February 2023)

34. Awesome Generative Deep Art

Generative AI history, timelines, maps, and definitions

• The state of AI in 2023: Generative AI’s breakout year | McKinsey

Large Language Models (LLMs)

• A jargon-free explanation of how AI large language models work | Ars Technica

Inbox: Stable Diffusion / Stable Diffusion Deployed Web Tools

• ComicsMaker.ai: Stable diffusion-based comic book generator with support for text2img, img2img, inpainting and controlnet

35. Awesome Ios

Alert & Action Sheet

• LCActionSheet (⭐824) - A simple ActionSheet. WeChat, Weibo and QQ all use similar styles. Fully support Swift.

36. Awesome Go

Advanced Console UIs

• bubble-table (⭐504) - An interactive table component for bubbletea.

Utilities

• dive (⭐51k) - A tool for exploring each layer in a Docker image.

Other Software / Libraries for creating HTTP middlewares

• GoNB (⭐882) - Interactive Go programming with Jupyter Notebooks (also works in VSCode, Binder and Google's Colab).

37. Awesome Fantasy

Epic Fantasy / Chronicles of the Unhewn Throne (2014) by Brian Staveley [4.1]

• The Emperor's Blades

• The Providence of Fire

• The Last Mortal Bond

Epic Fantasy / Redwall (1986) by Brian Jacques [4.1] 🔥

• Redwall [4.1] 🔥

• Mossflower [4.1]

• Mattimeo [4.1]

• Mariel [4.1]

• ... 21 total

Epic Fantasy / The Demon Cycle (2008) by Peter V. Brett [4.2] 🔥

• The Warded Man 🔥

• The Desert Spear

• The Daylight War

• The Skull Throne

• The Core

38. Awesome Ansible

Tools

• Automation Controller - Automation Controller (formerly Ansible Tower) by Red Hat helps you scale IT automation, manage complex deployments and speed productivity. Extend the power of Ansible to your entire team.

• AWX (⭐15k) - AWX provides a web-based user interface, REST API, and task engine built on top of Ansible. It is the upstream project for Automation Controller, a commercial derivative of AWX.

• squest - Self-service portal for Automation Controller job templates.

39. Awesome Game Engine Dev

Specialty Topics / Shaders

• Dithering
  • 📚 Dithering on the GPU - Ordered dithering in glsl using 8x8 Bayer Dithering.

Tools / Software / Color / Palettes

• 🌎 Lospec - Database of palettes for pixel art.

40. Awesome Selenium

Driver / Desktop GUI Automation (non-browser-centric)

• Appium for Mac - Appium/WebDriver implementation for automating Mac OS X desktop.

Cloud Services / Desktop GUI Automation (non-browser-centric)

• TestGrid - End to End testing of mobile apps & websites on 1000+ real browsers & OS. Request Free Trial.

41. Awesome Vite

Templates / React

• vite-react-ssr-boost-template (⭐33) - Template for creating React 18 SSR/SPA apps with TypeScript, Mobx, React Router, Head Manager, Suspense, Streaming. Also included CI/CD, ESLint, Prettier, Stylelint, Husky, Semantic Release.

Vue / Integrations

• @vitejs/plugin-vue (⭐595) - Official Vue 3 support.

Vue / Routing

• vite-plugin-vue-routes (⭐1) - File-based routing, similar to SvelteKit and Next.js App Router.

React / Routing

• generouted (⭐1.2k) - Client-side type-safe file-based routing and global modals — supports layouts, loaders, code-splitting and more.

Fastify / Integrations

• vite-plugin-fastify (⭐11) - Fastify plugin for Vite with Hot-module Replacement.

Fastify / Routing

• vite-plugin-fastify-routes (⭐6) - File-based routing, similar to SvelteKit and Next.js App Router.

Libraries / Community

• vite-ssr-boost (⭐107) - Server side rendering library for create awesome app based on react-router.

Frameworks / Community

• @fastify/fastify-dx (⭐897) - Allowing you to serve static or live (SSR).

42. Awesome Neovim

(requires Neovim 0.5)

• aznhe21/actions-preview.nvim (⭐469) - Fully customizable previewer for LSP code actions.

Note Taking / Diagnostics

• ada0l/obsidian/ (⭐41) - Base Obsidian functionality.

Keybinding / Diagnostics

• echasnovski/mini.nvim#mini.clue (⭐7.5k) - Module of mini.nvim to show next key clues. Has opt-in triggers, shows next key information after customizable delay, allows hydra-like submodes, and more.

43. Urban and Regional Planning Resources

Public Data Resources / Equity and Environmental Justice

• USDOT Equitable Transportation Community Explorer - The U.S. DOT Equitable Transportation Community (ETC) Explorer is an interactive web application that uses 2020 Census Tracts and data, to explore the cumulative burden communities experience, as a result of underinvestment in transportation, in the following five components: Transportation Insecurity, Climate and Disaster Risk Burden, Environmental Burden, Health Vulnerability, and Social Vulnerability.

Public Data Resources / OpenStreetMap

• Overture Maps - A joint mapping consortium looking to power current and next-generation map products by creating reliable, easy-to-use, and interoperable open map data. Builds on OpenStreetMap and other datasets to expand access to open data.

44. Free for Dev

Authentication, Authorization, and User Management

• Logto - Develop, secure, and manage user identities of your product - for both authentication and authorization. Free for up to 5,000 MAUs with open-source self-hosted option available.

Monitoring

• sitesure.net - Website and cron monitoring - 2 monitors free

Crash and Exception Handling

• Semaphr — Free all-in-one kill switch for your mobile apps.

Forms

• forms.app — Create online forms with powerful features like conditional logic, automatic score calculator, and AI. Collect up to 100 responses with a free plan, embed your forms on a website, or use them with a link.

45. Awesome Langchain

Ports to other languages

• Langchain Go (⭐7.1k): Golang Langchain

• LangchainRb (⭐1.9k): Ruby Langchain

• LangChain4j (⭐8.3k): LangChain for Java

Open Source Projects / Other / Chatbots

• DB GPT (⭐17k): Interact your data and environment using the local GPT, no data leaks, 100% privately, 100% security

• Code Interpreter API (⭐3.8k): About Open source implementation of the ChatGPT Code Interpreter

Other LLM Frameworks / Videos Playlists

• Autochain (⭐1.9k): Build lightweight, extensible, and testable LLM Agents with AutoChain.

• TypeChat (⭐8.5k): TypeChat is a library that makes it easy to build natural language interfaces using types.

• Marvin (⭐5.8k): ✨ Build AI interfaces that spark joy

• LMQL (⭐4k): A programming language for large language models.

• LLMFlow (⭐699): Simple, Explicit and Transparent LLM Apps

• Prev: Aug 07 - Aug 13, 2023
• Next: Jul 24 - Jul 30, 2023