Awesome List Updates on Nov 04 - Nov 10, 2024

42 awesome lists updated this week.

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

1. Game Datasets

Dataset / Web

• Animal Crossing New Horizons Catalog - Comprehensive inventory of items, villagers, clothing, fish/bugs etc.

• Board Games Dataset - Attributes and the ratings from board games in BoardGameGeek.

• The Complete Pokemon Dataset - Pokemon data from all generations.

Dataset / Related

• Computer Games Dataset - Gaming World: A Comprehensive Computer Games Dataset.

• Nintendo Games - Nintendo games for all platforms scraped from metacritc.

• PC Games Sales - Dataset of the best selling PC games.

• Steam Video Games - Steam user interactions.

• Video Game Sales - Sales data from games.

2. Awesome Ddd

Sample Projects / .NET (C#/F#)

• LexiQuest-Modular-DDD (⭐6) - Modular application built with Clean Architecture and DDD principles which is ready to quickly get splitted into microserves.

• Modular.StarterTemplate (⭐4) - Starter template for a modular application in Clean Architecture DDD style with synchronous interaction between modules within single transaction. Perfect for ERP applications.

3. Awesome Neovim

Programming Languages Support / Diagnostics

• nvim-flutter/flutter-tools.nvim (⭐1.2k) - Build Flutter and Dart applications using the native LSP.

Color / Diagnostics

• max397574/colortils.nvim (⭐428) - A plugin providing utils to work with colors (picker, conversion) inside Neovim.

Tree-sitter Supported Colorscheme / Diagnostics

• zenbones-theme/zenbones.nvim (⭐949) - A collection of Vim/Neovim colorschemes designed to highlight code using contrasts and font variations.

Statusline / Diagnostics

• sschleemilch/slimline.nvim (⭐90) - A slim, minimal and opinionated Lua statusline.

Startup / Diagnostics

• max397574/startup.nvim (⭐481) - The fully customizable greeter for Neovim.

CSV Files / Diagnostics

• hat0uma/csvview.nvim (⭐359) - An asynchronous CSV/TSV table viewer with real-time updates, configurable comments and delimiters, and multiple display modes.

Neovim Lua Development / Diagnostics

• YaroSpace/lua-console.nvim (⭐72) - A handy scratch pad / REPL / debug console for Lua development and Neovim exploration and configuration.

Editing Support / Diagnostics

• csessh/stopinsert.nvim (⭐30) - Automatically exit Insert mode after inactivity.

4. Awesome Marketing

Blogs / Digital Asset Management (DAM)

• The Marketing Blog - A blog on Marketing Tools reviews

• Awesome Marketing Blog - Find anything about marketing

5. Awesome Jmeter

Tools / IDE Integration

• JMeter Viewer (⭐5) - Open JMeter test plans inside Intellij IDE.

Community / Forums

• JMeterPlugins Google Group

6. Awesome Icons

General

• Radix Icons (⭐2.5k) - A crisp set of 15×15 icons designed by the WorkOS team. (Website)

• Iconify Deign (⭐5.3k) - Most popular icon sets in one framework containg over 200,000 open source vector icons. (Website)

• React Icons (⭐12k) - Popular icon sets created especially for React projects. (Website)

Logos

• Simple icons (⭐23k) - Free SVG icons for popular brands. (Website)

Special

• IconicFonts (⭐54) - Over 50 pre-patched fonts featuring 60k icons as glyphs.

7. Awesome Ocaml

Program analysis

• Owi (⭐236) - Owi is a toolchain for working with WebAssembly (Wasm) in OCaml, featuring a powerful, parallel symbolic execution engine for Wasm. It also provides frontends for compiling and analyzing C and Rust programs.

• Smt.ml (⭐42) - Smt.ml is a frontend OCaml library that interfaces with multiple SMT solvers, enabling seamless integration of solvers like Z3, cvc5, Colibri2, Bitwuzla, and Alt-Ergo within OCaml programs.

8. Awesome Math

Foundations of Mathematics / Transition To Pure Rigour Math

• 📝 Book of Proof - Richard Hammak (Virginia Commonwealth University)

Geometry and Topology / Differential Geometry

• 📝 Notes on Differential Geometry and Lie Groups - Jean Gallier (University of Pennsylvania)

9. Awesome Opentofu

Features

• CanI.TF - Feature parity between Terraform and OpenTofu

10. Awesome Fastapi

Boilerplate / Other Tools

• Uvicorn Poetry FastAPI Project Template (⭐14) - Cookiecutter project template for starting a FastAPI application. Runs in a Docker container with Uvicorn ASGI server on Kubernetes. Supports AMD64 and ARM64 CPU architectures.

Docker Images / Other Tools

• uvicorn-gunicorn-poetry (⭐45) - Docker image with Gunicorn using Uvicorn workers for running Python web applications. Uses Poetry for managing dependencies and setting up a virtual environment. Supports AMD64 and ARM64 CPU architectures.

• uvicorn-poetry (⭐53) - Docker image with Uvicorn ASGI server for running Python web applications on Kubernetes. Uses Poetry for managing dependencies and setting up a virtual environment. Supports AMD64 and ARM64 CPU architectures.

11. Awesome Privacy

Notes and Tasks

• Google Keep
  • Google Keep Exporter (⭐302) or Keep To Markdown (⭐120) - Convert your Google Keep notes into a standard markdown + YAML header format.

12. Awesome Swift

Third party Guides

• About Swift (⭐84) - A playground about the Swift language.

REPL

• SwiftFiddle - Playground for making, sharing, and embedding Swift code.

Augmented Reality

• ARKit-CoreLocation (⭐5.5k) - Combines the high accuracy of AR with the scale of GPS data.

HTML / Barcode

• ZMarkupParser (⭐344) - Helps you convert HTML strings into NSAttributedString with customized styles and tags.

Testing / Barcode

• swift-testing-expectation (⭐67) - Create an asynchronous expectation in Swift Testing.

UI / Barcode

• SwiftUISkia (⭐43) - Skia based 2d graphics SwiftUI rendering library, based on Rust to implement software rasterization to perform rendering

Calendar / Barcode

• OBCalendar (⭐136) - OBCalendar is designed for simplicity and customization, it allows you to build beautiful and functional calendar interfaces effortlessly.

Pagination / Barcode

• iPages (⭐173) - Quickly implement swipable page views in SwiftUI 📝.

TextField / Barcode

• iTextField ⌨️ (⭐108) - A fully-wrapped UITextField that works entirely in SwiftUI 🦅.

13. Vertx Awesome

Articles

• Embracing Reactive Applications on JVM: a Deep Dive into Modern I/O Models and Vert.x

14. Awesome Integration

Resources / Certifications

• API Designer - Validate your understanding of API design basics and best practices.

• API Product Manager - Demonstrate your proficiency in managing APIs as products.

• API Security Architect - Validate your expertise in securing APIs using modern architectures.

15. Awesome Developer First

Environment & Secret Management

• Ubiq - Encryption APIs with secret management.

16. Awesome Ipfs

Apps

• hyprspace (⭐169) - A Lightweight VPN Built on top of IPFS + Libp2p for Truly Distributed Networks.

17. Awesome Go

Caches

• pocache (⭐225) - Pocache is a minimal cache package which focuses on a preemptive optimistic caching strategy.

Workflow Frameworks / Libraries for creating HTTP middlewares

• Cadence-client (⭐359) - A framework for authoring workflows and activities running on top of the Cadence orchestration engine made by Uber.

• Dagu (⭐2.4k) - No-code workflow executor. it executes DAGs defined in a simple YAML format.

• go-dag (⭐29) - A framework developed in Go that manages the execution of workflows described by directed acyclic graphs.

• workflow (⭐177) - A tech stack agnostic Event Driven Workflow framework.

Zero Trust / Libraries for creating HTTP middlewares

• OpenZiti (⭐3.4k) - A full, open source zero trust overlay network. Including numerous SDKs for numerous languages such as golang (⭐108) allowing you to embed zero trust principles directly into your applications. The OpenZiti Test Kitchen has numerous examples to draw inspiration from including a zero trust ssh client - zssh (⭐39)

18. Awesome Macos Screensavers

Clocks

Flip Clock Screensaver

A flip clock screensaver that can automatically dim the screen.

Free

19. Awesome Love2d

OO

• Object-Library (⭐4) - ObjectLibrary is a simple library for the LÖVE2D game engine that allows users to create objects with collision detection and optional textures.

• LowerClass (⭐7) - A MiddleClass Inspired library with extended features.

20. Awesome Rust

Registries / Web programming

• cenotelie/cratery (⭐161) - A lightweight private cargo registry with batteries included, built for organisations, including features similar to docs.rs and deps.rs.

Resources / Web programming

• A Brief History of Rust. Part 1 - From a developer's pursuit of software stability to a project that nearly destabilized its creator. Part 2. Part 3.

21. Static Analysis

Other / Other

• NodeJSScan — A static security code scanner for Node.js applications powered by libsast and semgrep that builds on the njsscan cli tool. It features a UI with various dashboards about an application's security status.

Programming Languages / Other

• pydocstyle ⚠️ — Check compliance with Python docstring conventions.

22. Awesome Polars

Blog posts / Miscellaneous

• Polars: A Modern DataFrame Library for High-Performance Data Analysis in Python - An article that presents data manipulation operations focusing on eager execution by Ardi Arunaditya.

• Using Polars in Rust for high-performance data analysis - An article that looks how to use Polars to build a basic data analysis application, which exposes data sets and querying capabilities via a REST-based Web API by @Mario Zupan.

• Pandas vs Polars: Performance Benchmarks for Common Data Operations - A blog post that compares performance on common data operations between Polars and Pandas by Vinod Chugani.

23. Awesome Network Analysis

Software / R

• ig.degree.betweenness (⭐39) - an igraph implementation of the Smith-Pittman community detection algorithm (2024).

24. Awesome Selfhosted

Software / Inventory Management

• Open QuarterMaster - Powerful inventory management system, designed to be flexible and scalable. (Source Code (⭐37)) GPL-3.0 deb/Docker

Software / Miscellaneous

• Geeftlist - Collaborative platform for managing, sharing and reserving gifts between friends and family. GPL-3.0 Docker

25. Awesome Tmux

Tools and session management

• sesh (⭐1.1k) Smart session manager for the terminal

Plugins

• tmux-easymotion (⭐34) EasyMotion-like plugin with pane jumping capabilities in tmux.

Plugins / Development and testing

• gotmux (⭐32) A golang library to interact with tmux.

26. Awesome Zsh Plugins

Plugins / superconsole - Windows-only

• alias-tips (⭐794) - An oh-my-zsh plugin to help remembering those aliases you defined once.

• anyframe (⭐193) - A peco/percol/fzf wrapper plugin for ZSH.

• assume-role (⭐6) - Allows you to assume AWS IAM roles easily. Includes completions.

• browse-commit (⭐17) - Lets you open any commit in your browser from the command line.

• cycle-jobs (⭐4) - The ZSH Cycle Jobs Plugin is a simple yet powerful tool that enhances your terminal workflow by allowing you to cycle through background jobs using a single keyboard shortcut. This plugin is particularly useful for developers and system administrators who frequently work with multiple background processes.

• history-on-success (⭐1) - Save yourself from repeating the same mistakes by filtering out your unsuccessful commands from your zsh history file. Based on a blog post by Dean Scarff.

• quiet-accept-zle (⭐14) - Enables you to run typed zsh command without triggering new prompt, history entry, or having output being outputed.

• wpm (⭐1) - Lets you test your typing speed in a terminal, track WPM, accuracy, and more. Results are saved in a handy JSON format for easy tracking.

Themes / superconsole - Windows-only

• catpuccin-kali (⭐0) - Inspired by oh-my-posh catpuccin theme. Includes decorators for username@hostname, current directory and git status.

• pentest-report (⭐14) - Designed for pentesters, offering a clean and efficient prompt to streamline daily tasks during audits and penetration testing. The theme includes decorators for real-time display of the date, time, IP address, current directory, and the result of the last executed command.

27. Awesome Web Archiving

Training/Documentation

• Training materials:
  • IIPC and DPC Training materials: module for beginners (8 sessions)
  • UNT Web Archiving Course (⭐22)
  • Continuing Education to Advance Web Archiving (CEDWARC)
  • A Whirlwind Tour of Common Crawl's Datasets using Python (⭐23)

Tools & Software / Acquisition

• ArchiveWeb.Page - A plugin for Chrome and other Chromium based browsers that lets you interactively archive web pages, replay them, and export them as WARC & WACZ files. Also available as an Electron based desktop application.

Tools & Software / Replay

• ReplayWeb.page - A browser-based, fully client-side replay engine for both local and remote WARC & WACZ files. Also available as an Electron based desktop application. (Stable)

Community Resources / Blogs and Scholarship

• Common Crawl Foundation Blog - rss

Community Resources / Slack

• Common Crawl Foundation Partners (ask greg zat commoncrawl zot org for an invite)

Web Archiving Service Providers / Self-hostable, Open Source

• Browsertrix - From Webrecorder, source available at https://github.com/webrecorder/browsertrix (⭐298).

28. Awesome Datascience

MOOC's

• Data Science for Beginners - Learn with AI tutor

• Machine Learning for Beginners - Learn with AI tutor

Podcasts / Book Deals (Affiliated)

• The Analytics Engineering Podcast

Comics / Book Deals (Affiliated)

• Data Science Cartoons

• Data Science: The XKCD Edition

29. Awesome Osint

Phone Number Research / GitHub

• InMobPrefix (⭐4) - Dataset, charts, models about mobile phone numbers prefixes in India along with their respective state, operator.

30. Awesome Angular

Analytics / Google Developer Experts

• ngx-clarity (⭐20) - A useful Angular library that automatically injects the script tag required to use Microsoft Clarity.

Internationalization / Google Developer Experts

• ngx-merge-json-translations (⭐1) - This builder helps merge the messages.json file, after running extract-i18n, into target files using specified locales taking care to delete removed keys and add new ones.

Free / Google Developer Experts

• LightNap (⭐82) - LightNap (lightweight .NET Core/Angular/PrimeNG) is a full stack starter kit designed to provide a boost to Single Page Applications (SPA). It includes built-in support for ASP.NET Core Identity, JWT token management, and administrative features for managing identity, offering a solid foundation to be extended for any application scenario.

Carousels / Google Developer Experts

• ngx-simple-gallery (⭐1) - A lightweight gallery library for Angular 18 that presents all images as thumbnails, expanding them to full size upon clicking or tapping.

Charts / Google Developer Experts

• ng-draw-flow (⭐13) - A library for creating interfaces based on displaying data as nodes. It allows you to create both simple diagrams and complex editors for building customised charts and graphs.

Form Controls / Google Developer Experts

• ngx-mat-birthday-input (⭐2) - An Angular Material library for entering a birthday.

• ngx-countries-dropdown (⭐7) - Angular library with customizable countries dropdown component with flags, dial code, language and currency details.

Media / Google Developer Experts

• ngx-video-timeline (⭐14) - Video playback progress bar component.

Ionic / Google Developer Experts

• ionic-component-snippets (⭐3) - This repository showcases demos and libraries that aren't officially supported by Ionic yet, but can be useful for developers and their apps.

31. Awesome for Beginners

Pug

• Rawsec Cybersecurity Inventory (label: difficulty::easy)
  An inventory of tools and resources that aims to help people to find everything related to CyberSecurity.

32. Awesome Theoretical Computer Science

Lecture Notes

• Barak. Introduction to TCS - A modern, brief, and accessible text which introduces theoretical computer science for undergrads. It includes topics not usually included in standard undergrad text-books.

Lecture Videos Playlists

• Yanofsky. Theoretical Computer Science - undergrad introduction to theory of computation

• Anil Ada. Great Ideas in Theoretical Computer Science. CMU - A series of lectures on selected notable topics in theoretical computer science.

• O'Donnell. Great Ideas in Theoretical Computer Science. CMU - A series of lectures on selected notable topics in theoretical computer science.

Books

• Moore & Mertens. The Nature of Computation - It spans complexity of mazes and games; optimization in theory and practice; randomized algorithms, interactive proofs, and pseudorandomness; Markov chains and phase transitions; and of quantum computing. It provides accessible explanations

Lecture Videos / Monograph

• Erik Demaine. Advanced Data Structures. MIT - It covers major results and current directions of research in data structure.

Lecture Videos Playlist / Monograph

• Parametarized Algorithms by Warsaw

Lecture Notes / Monograph

• Indyk & Daskalakis. Learning-augmented Algorithms. MIT

Big List / Monograph

• Algorithms with Predictions

General / Books

• Rosen. Discrete Mathematics and Its Applications - A canonical discrete math textbook, accessible for even high school students.

Probabilistic Method / Lecture Notes

• Yufei. Probabilistic Methods in Combinatorics. MIT and Yufei's Graph Theory book - Showing some combinatorial object exists and prove that a certain random construction works with positive probability. The course focuses on methodology as well as combinatorial applications.

Probabilistic Method / Lecture Videos Playlist

• Luke Postle. Probablistic Methods. Waterloo

Probabilistic Method / Books

• Alon & Spencer. The Probabilistic Method - A standard reference for researchers in probabilistic methods in combinatorics. Shows also connections to theoretical computer science.

Graph Theory / Lecture Videos Playlist

• Graph Theory by Waterloo

Other / Lecture Videos Playlist

• Mariconda & Tonolo. Discrete Calculus: Methods for Counting - An introduction to combinatorics, finite calculus, formal series, recurrences, and approximations of sums. Readers will find also deep insights into a range of less common topics rarely considered within a single book.

Lecture Notes / Lecture Videos Playlist

• Arora. The Computational Universe - Takes us on a broad sweep of scientific knowledge and related technologies: propositional logic of the ancient Greeks (microprocessors); quantum mechanics (silicon chips); network and system phenomena (internet and search engines); computational intractability (secure encryption); and efficient algorithms (genomic sequencing).

• 6.893 Philosophy and Theoretical Computer Science. MIT - It examines the relevance of modern theoretical computer science to traditional questions in philosophy, and conversely, what philosophy can contribute to theoretical computer science.

Books / Lecture Videos Playlist

• Feynman. Feynman And Computation: Exploring The Limits Of Computers

• Feynman’s Course on Computation - See also Preskill's update 40 years later here

• Knuth. Things a Computer Scientist Rarely Talks About - A general illustration of relations between faith and science.

• Floyd & Bokulich. Philosophical Explorations of the Legacy of Alan Turing: Turing 100 - Turing’s place in the history and philosophy of science.

Monographs / Lecture Videos Playlist

• Susskind. Three Lectures on Complexity and Black Holes - Important connections between thermodynamics and complexity are proposed and discussed. Pedagogically written, serves as a fundamental introduction to black holes and their complex physical interpretation

Papers / Lecture Videos Playlist

• Aaronson. Why Should Philosophers Care About Computational Complexity Theory - It argues that computational complexity theory leads to new perspectives on the nature of mathematical knowledge and other philosophical questions.

• Aharonov & Vazirani, Is Quantum Mechanics Falsifiable? A Computational Perspective on the Foundations of Quantum Mechanics - It describes how quantum mechanics can be tested in the limit of high complexity regime by extending the usual scientific paradigm to include.

• Walter Dean. Computational Complexity Theory and the Philosophy of Mathematics - It highlights the significance of complexity theory relative to questions traditionally asked by philosophers of mathematics while also attempting to isolate some new ones.

• Stanford Encyclopedia of Philosophy. Computational Complexity Theory - The foundations of complexity theory, and its potential significance on philosophy of computer science, philosophy of mathematics and epistemology.

• Philip Davis. Toward a Philosophy of Computation - Philosophical implication of mathematization and computerization of the world.

• Building Bridges I, Building Bridges II, Fete of Combinatorics and Computer Science - Collected works in celebration of Laszlo Lovasz, Connecting discrete math with computer science.

Aggregators / Lecture Videos Playlist

• Hermann's Conferences in TCS - TCS Conferences collected in one table.

• Salamon's List - Selected Conferences.

• Theory of Computing Blog Aggregator - A blog Aggregator for all blogs related to TCS.

Live / Lecture Videos Playlist

• Simons' Institute - Programs, Events, and workshops, that aim toward maximizing impact and engagement across the theoretical computer science community.

Archived / Lecture Videos Playlist

• Turing Laureates Lectures and Turing Laureates Interviews - ACM Turing Award Laureates delivers a lecture before a forum of their choice on a subject of their choice.

Associations / Lecture Videos Playlist

• ACM's SIGACT

• European Association of TCS

Jobs / Lecture Videos Playlist

• Rubinstein & Weinberg. Research Masters in TCS - A list of master programs in TCS.

• CS Theory Jobs - TCS Jobs announcements.

• Yaroslavtsev. Hires spreadsheet 2022 - A crowdsourced spreadsheet created to collect information about theory hires in year 2022.

Online Communities / Lecture Videos Playlist

• TCS Stack Exchange - Research-oriented Q&A of theoretical computer science.

• TCS Subreddit- Theoretical computer science's subreddit.

Podcasts / Lecture Videos Playlist

• Lex Fridman - Donald Knuth 1 | Donald Knuth 2 | Silvio Micali | Richard Karp | Scott Aaronson 1 | Scott Aaronson 2

• Berkeley in the 80s - Interviews with eminent figures in Berkeley.

• Simons' Theory Shorts - Short accessible videos which populate theory of computation.

• ACM ByteCast - Researchers, practitioners and innovators who are at the intersection of research and practice, sharing their experiences, lessons, visions for the future.

33. Awesome Cl

Miscellaneous

• eql, eql5, eql5-android - Embedded Qt4 and Qt5 Lisp, embedded in ECL, embeddable in Qt. Port of EQL5 to the Android platform. MIT.
  • EQL5 on the Android store

34. Awesome Transit

GTFS Data Collection and Maintenance Tools / Rust

• Amarillo (⭐10) - Aggregates and enhances carpooling-offers and publishes them as GTFS(-RT)

35. Awesome Cakephp

Skeleton

• BS flavored App template (⭐4) - An empty CakePHP project with BS5 and FontAwesome out of the box.

36. Free for Dev

APIs, Data, and ML

• Mintlify — Modern standard for API documentation. Beautiful and easy-to-maintain UI components, in-app search, and interactive playground. Free for 1 editor.

CI and CD

• cirun.io - Free for public GitHub repositories

• Terramate - Terramate is an orchestration and management platform for Infrastructure as Code (IaC) tools such as Terraform, OpenTofu, and Terragrunt. Free up to 2 users including all features.

Monitoring

• OntarioNet.ca CN Test — Check if a website is blocked in China by the Great Firewall. It identifies DNS pollution by comparing DNS results and ASN information detected by servers in China versus servers in the United States.

37. Awesome Qubes OS

Downloading, Installing, Upgrading, and Building

• Qubes OS 4.3 Weekly Alpha Builds - Qubes OS 4.3 Weekly Alpha Build download.

How-to guides

• How to resize dom0 - Just in case anyone needs help with this to resize dom0 from 20G to 50G.

• Inter-qube file copying (qfilecopy) - File copying with qfilecopy.

• Qubes Salt Beginner’s Guide - How to guide for beginners who enjoy an hands-on introduction with examples.

• Reverse Tethering & Screen Mirroring Qube for Android Device - Control your Android Device from Qubes OS while providing Network to the Android Device.

• How to migrate qubes to a new computer - How to efficiently migrate qubes to a new computer with a direct network connection

• USB MFP printer/scanner - How to get a USB MFP printer/scanner working in R4.2

Templates

• Manually Verifying Hashes of Installed Files - This guide explains how to manually verifying hashes of installed files.

• Pentesting: Parrot - Parrot Security is a Debian-based OS with over 600 tools for hacking, pentesting and software development. It is free, open source, secure, portable and customizable for various environments and devices

• Android VM options - There are multiple “android on PC” type distributions that one could try in a VM. Here are the 3!

• Ubuntu 2022.4 minimal - Ubuntu 22.04 (Jammy Jellyfish) Releasesis an open-source software platform that runs everywhere from the PC to the server and the cloud.

• Ubuntu 2024.4 minimal - Ubuntu 24.04.1 (Noble Numbat) ReleasesUbuntu is an open-source software platform that runs everywhere from the PC to the server and the cloud.

• GuixOS HVM - Install Guix OS in a standalone HVM

• Zoom Disp VM - Running Zoom in a DispVM.

• PrestiumOS HVM - Prestium OS is a Tails OS-like live linux distro.

• PiHole Cloudflared (⭐1) - PiHole Cloudflared in QubesOS with NextDNS (DNS over Https).

• Fedora template in-place upgrade - How to upgrade a Fedora template in-place.

VM-Hardening

• Kicksecure for DISP-sys* - How to create disposable sys-usb, sys-net, sys-firewall off a debian-11 minimal template with Kicksecure and other hardening features for DISP-sys*.

• Easily NAT qubes port to external network - A script to ease the work of doing a NAT to expose a qube port to the physical network interface.

• Install Qubes OS with boot partition and a detached LUKS header on USB - The encrypted disk will look like an unused/empty unpartitioned disk.

• Custom preferences for Brave browser in disposable qube - The initial_preferences json file can be used to configure the preferences that will be used by default in newly created profiles.

• Hardening sys-net - This guide works no matter whether or not you chose disposable sys-net or not. no nonsense guide, Lets get in!

• Nix in a Qubes OS AppVM - How to install Nix in an AppVm.

• No file indexing - Disable file indexing in disposable qubes

• Qubes Shutdown Idle Script (⭐5) - This is a simple script that watches the current qube for idleness and, if it's idle for more than 15 minutes (timeout time is defined in qubesidle.idleness_monitor), shuts it down.

Customization

• DPI scaling - Qubes OS passes on dom0’s screen resolution to VMs (this can be seen in the output of xrandr) but doesn’t pass on dom0’s dpi value.

• Sys-gui Customization - Minimal Fedora and Alternate Desktop Environments / Window Managers (DE/WMs)

• Tiling XFCE - Titled windows in XFCE with shortcut keys.

• Dark Theme - The following text describes how to change the default light theme to a dark theme.

• Rxvt Terminal - rxvt-unicode is an advanced and efficient vt102 emulator.

• CPU monitor per VMs - Individual VM monitoring.

• Custom App entries for the Q Menu - App menu shortcut troubleshooting.

• xfce dark mode - Xfce global dark mode in Qubes

GPU

• Gaming HVM) - HVM for gaming!

• Salt: automating NVIDIA GPU passthrough - This “guide” aims to explore and give a practical example of leveraging SaltStack to achieve the same goal as NVIDIA GPU passthrough into Linux HVMs for CUDA applications.

• Qubes SaltStack configuration of Videos Playback VM - An mpv salt start step-by-step easy guide.

• Improve video playback performance including YouTube (ytfzf) - This guide will show you how to install the mpv player and use it with maximum performance.

• GPU passthrough with lots of RAM - GPU passthru with max RAM

ML, LLM & AI

• Running local LLMs with or without GPU acceleration - This guide explains how to install text-generation-webui (oobabooga) on Qubes OS.

Clearnet & Anonymous Networking / Tor

• Snowflake Proxy in QubesOS - A Qubes-Whonix-17 Tor Control Panel snowflake proxy fix/installation guide.

• Qubes Tor onion services - Qubes OS Tor .onion links

• Onionizing Repositories - The guide explains how to configure experimental Tor onion services for APT repositories.

• Qubes OS Onion - Qubes OS onion address on the Tor network.

• QubesOS to be remotely manageable thru tor - QubesOS to be remotely manageable from on-demand, ephemeral, hidden onion service to dom0/AdminVM.

• Qubes-Whonix development notes - Whonix development notes.

• Tips on Remaining Anonymous - The wiki page provides guidelines and good habits for online privacy and security, with a focus on distinguishing between anonymity and pseudonymity.

Clearnet & Anonymous Networking / Anonymity

• LocalSend -Free, open-source app that allows you to securely share files and messages with nearby devices over your local network without needing an internet connection. Basically, a platform neutral “airdrop”.

• Tailscale Setup - How to create template and install Tailscale.

Clearnet & Anonymous Networking / Crypto

• Ultimate Guide on Using Trezor on Qubes - his guide explains how to use Trezor cryptocurrency hardware wallets on Qubes OS.

Qubes OS Server / Unikernel-like

• Admin API - The goals of the Admin API system is to provide a way for the user to manage the domains without direct access to dom0.

• Ansible - Automation with Ansible.

• Multi-user Qubes: Using sys-gui to make non-adminstrative user logins - Here we try to create restricted sys-guis, where they only need to see the parts that pertain to them. Basically a administrative gui login (dom0), and a restricted user sys-gui login.

• Qubes-network-server (⭐113) - Turn your Qubes OS into a networking server.

• Qubes-remote-desktop (⭐9) - SystemD services for creating VNC server session in dom0 or any Qube.

• Qubes Admin Policies/API - The qubes admin policies are core to modern qubes.

• Qubes core admin client - Qubes core admin client’s documentation!

• Qubes core admin - Qubes core-admin’s documentation!

• Qubes core stack - Introducing the Next Generation Qubes Core Stack.

• Port forwarding - Qubes-os port forwarding to allow external connections

• Opensnitch Nodes -A node is a daemon running on a machine. You can install the daemon on multiple machines, and manage them from the server

• Qubes sync git repositories with dom0 - This solution is intended have git repos easily in sync with dom0.

• Salt (management software) - Salt allows administrators to easily configure their systems.

• qvm-firewall - Manage VM outbound firewall.

• Qubes Admin python modules - Python Module Index

• Qubes network dom0 display - a simple script to run in dom0 (easy to audit) that will output a hierarchy tree of netvm and their qubes.

• Colored! network information - Colorful network information with iptables & ip.

• Visualize Qubes Configuration Without Trust - Visualize Qubes Configuration with the Qubes Admin API.

• SSH or VNC into Qubes dom0 - tutorial on how to SSH or VNC in to dom0

• qubes-remote-support-receiver dom0 scripts (⭐4) - Scripts to configure dom0 to allow remote connections.

• Web VNC - Running Qubes in the Browser

• VNC (⭐9) - SystemD services for creating VNC server session in dom0 or any qube.

Exploitation Tools / Unikernel-like

• sys-mitm (⭐40) - A man-in-the-middle Qube for your traffic analysis needs.

Optics and Extra Info / Qubes OS Summit - 3mdeb Summit videos

• Qubes OS Summit 2024 - Day 1

• Qubes OS Summit 2024 - Day 2

• Qubes OS Summit 2023 - Day 1

• Qubes OS Summit 2023 - Day 2

• Qubes OS summit 2022 - Day 1

• Qubes OS summit 2022 - Day 2

• Qubes OS-3mdeb mini-summit 2021 - Day 1

• Qubes OS-3mdeb mini-summit 2021 - Day 2

Optics and Extra Info / Xen project summit 2024 videos

• Demi Marie Obenour: Reasonably Secure GPU Acceleration

• Marek Marczykowski-Górecki: Host and Guest Suspend Under Xen - S3 and S0ix

• Marek Marczykowski-Górecki: Linux Stubdomains Status Update

• Full xen project summit 2024 playlist

Optics and Extra Info / Extra Info

• 3mdeb - We’re hands-on firmware experts with years of experience writing elegant, scalable and custom code for clients.

• Hipervisor From Scratch (⭐2.4k)- Source code of a multiple series of tutorials about the hypervisor.

• GPU Virtual Machine (GVM) - An OpenMdev Project (Qubes OS Summit 2022)

• Micah Lee presents - “Qubes OS: The Operating System That Can Protect You Even If You Get Hacked”

• Explaining Computers presents - “Qubes OS: Security Oriented Operating System”

Training and Materials / Extra Info

• Qubes OS for Anarchists - Qubes OS for Anarchists | Guide & Best Practices

• The Guardian's Deep Dive into Qubes OS: a Secure Solution for Whistleblowing and Journalism - The Guardian's engineering team recently shared their experience with Qubes OS, a security-focused desktop operating system.

38. PlacesToPostYourStartup

Websites

• Micro SaaS Examples - https://www.microsaasexamples.com/

39. Awesome Mac

Reading and Writing Tools / Journaling

• linked (⭐948) - Link your thoughts to days, distraction free.

Design and Product / Design Tools

• RawTherapee - A powerful cross-platform raw photo processing program!

Proxy and VPN Tools / Audio Record and Process

• Hiddify (⭐22k) - Multi-platform auto-proxy client, supporting Sing-box, X-ray, TUIC, Hysteria, Reality, Trojan, SSH etc.

40. Awesome Micropython

Audio

• micropython_nonblocking_buzzer (⭐1) - A nonblocking implementation of a buzzer class that allows you to play basic melodies or sound patterns without blocking the main loop while the sound is being played.

Communications / APIs

• micropython-telegram-bot (⭐42) - MicroPython telegram bot library: simple way to put your IoT projects on the cloud.

• MicroPython-GoogleSheet (⭐18) - Fetch, update or append data in Google Sheets using Google Apps Script API.

Communications / Bluetooth

• micropython_aioble_examples (⭐4) - A few aioble (asyncio BLE) examples of MicroPython using ESP32.

Communications / GSM

• SIM800L-micropython (⭐0) - MicroPython wrapper for common SIM800L AT commands.

• sim7600 (⭐7) - MicroPython library for SIM7600 module.

• sim900 (⭐3) - MicroPython library for SIM900 GSM/GPRS module.

Communications / NTP

• micropython-ntp (⭐13) - Robust NTP library for MicroPython.

Communications / Proxy

• uProxy (⭐6) - An asyncio-based, memory-efficient HTTP/HTTPS/SOCKS4/SOCKS5 forward proxy server for MicroPython, compatible with CPython.

Communications / Radio

• EByte_LoRa_E220_micropython_library (⭐24) - MicroPython LoRa EBYTE E220 devices.

• EByte_LoRa_E22_micropython_library (⭐8) - MicroPython LoRa EBYTE E22 devices.

• EByte_LoRa_E32_micropython_library (⭐7) - MicroPython LoRa EBYTE E32 devices.

Communications / RTC

• micropython_rx-8035 (⭐0) - A MicroPython Driver for Seiko Epson's RTC, RX-8035SA/LC.

Communications / Time

• ustrftime (⭐5) - A MicroPython implementation of time.strftime.

Communications / Web

• micropython-urouter (⭐51) - A lightweight HTTP request routing processing support library based on MicroPython. The previous name was micro-route.

Display / Fonts

• microfont (⭐61) - Text drawing library for MicroPython framebuffer.

Display / LCD TFT

• ST77xx-pure-MP (⭐35) - Pure MicroPython driver for ST77xx displays. Low memory requirements.

• upy-st7789 (⭐3) - A simple ST7789 driver written in MicroPython.

Display / LED Segment

• micropython-hpdl1414 (⭐1) - MicroPython HPDL-1414 Display Driver.

Display / LEDs

• micropython-ht16k33 (⭐44) - MicroPython driver for the HT16K33, a LED matrix, 7-Segment Numeric, and 14-Segment Alphanumeric display driver IC.

• micropython-rgbled (⭐15) - This wrapper module aims to reduce the work needed to work with NeoPixel (WS2812) and DotStar (APA102) RGB LED strips and matrices.

Display / OLED

• micropython-ssd1306 (⭐0) - MicroPython SPI & I2C Display Driver for SSD1306 monochrome OLED.

IO / ADC

• ads1115 (⭐0) - MicroPython module for managing ADS1115, multichannel, differential I2C ADC from TI.

• mcp3421 (⭐0) - MicroPython module for controlling MCP342X, 18-bit analog-to-digital converter with I2C interface.

• micropython-MCP3001 (⭐0) - MicroPython driver for the MCP3001 1-channel 10-bit ADC with SPI interface.

IO / DAC

• mpyDAC (⭐0) - MicroPython module for controlling MCP4725, 12-bit digital analog converter (CAP) with EEPROM memory.

IO / IO-Expander

• mcp23017 (⭐0) - MicroPython module for MCP23017, 16-Bit I/O Expander with Serial Interface.

• micropython-sx1509 (⭐1) - MicroPython SX1509 I/O Expander Library.

IO / Keyboard

• MicroPython-SimpleKeypad (⭐5) - MicroPython library for interfacing with a keypad matrix.

IO / Rotary Encoder

• micropython-8encoder (⭐2) - Driver for the I2C M5Stack 8-Encoder Unit.

• AS5600 (⭐2) - MicroPython module for controlling single-turn magnetic encoder AS5600.

IO / Waveform Generator

• AD9833-MicroPython-Module (⭐11) - MicroPython module to use the AD9833 programmable waveform generator.

Motion / Servo

• pca9685 (⭐0) - MicroPython module for managing a 16-channel SHIM controller, PCA9685

Sensors / Colour

• veml6040 (⭐0) - MicroPython module for managing a color sensor RGBW, VEML6040 from Vishay.

Sensors / Compass

• QMC5883 (⭐0) - MicroPython module for control QMC5883L geomagnetic sensor.

Sensors / Current

• INA_TI (⭐0) - MicroPython module for controlling INA219, INA226 - A two-directional current / power monitor with the I2C interface.

Sensors / Distance IR

• GP2Y0A21YK (⭐0) - GP2Y0A21YK MicroPython library.

Sensors / Distance Laser

• vl53l0x-nb (⭐7) - Fork of MicroPython driver for vl53l0x TOF sensor to add non-blocking mode.

Sensors / Light

• opt3001 (⭐0) - MicroPython module for OPT3001, external lighting sensor from Texas Instruments.

• ltr390uv (⭐0) - MicroPython module for LTR390UV, ambient light sensor in the visible and ultraviolet ranges.

Sensors / Load Cell

• hx711_mpy-driver (⭐8) - MicroPython Driver for the HX711 weighing sensor.

Sensors / Magnetometer

• MMC5603 (⭐0) - MicroPython module for MMC5603 geomagnetic sensor.

• HSCDTD008A (⭐0) - MicroPython module for HSCDTD008A geomagnetic sensor.

• RM3100 (⭐1) - MicroPython module for RM3100 geomagnetic sensor.

Sensors / Temperature Analog

• micropython-generic-thermistor (⭐3) - MicroPython Generic Thermistor Library for simplified temperature sensing using NTC thermistors with voltage dividers.

• micropython-simple-thermistor (⭐0) - Read NTC thermistor temperature wired in a potential divider.

Sensors / Temperature Digital

• MicroPython_SHT4X (⭐10) - MicroPython Driver for the Sensirion Temperature and Humidity SHT40 and SHT45 Sensor.

• bme680-pure-mp (⭐14) - Pure MicroPython Bosch BME680 sensor driver.

• SHT4X (⭐0) - MicroPython module for controlling the SHT4x - 4th generation relative humidity and temperature sensor.

Sensors / Touch Capacitive

• micropython-ft6x06 (⭐9) - Simple driver for FT6x06 capacitive touch sensor in pure Python.

Storage / Databases

• micropython-cratedb (⭐10) - MicroPython driver for CrateDB databases.

Storage / SD

• mp-sdcard-littleFS (⭐4) - MicroPython SD card driver that works with LittleFS2 (implements extended interface).

Logging / SRAM

• micropython-ulogger (⭐40) - Lightweight log module customized for MicroPython.

41. Awesome Cpp

Database

• Kuzu (⭐2.8k) - Embeddable property graph database management system built for query speed and scalability. Implements Cypher. [MIT] website

Video

• avcpp (⭐508) - Modern C++ wrapper around FFmpeg. [MIT]

42. Awesome Agi Cocosci

Abduction / Rationalization

• Rationalizing constraints on the capacity for cognitive control - Trends in Cognitive Sciences, 2021. [All Versions]. Humans are remarkably limited in: (i) how many control-dependent tasks they can execute simultaneously, and (ii) how intensely they can focus on a single task. These limitations are universal assumptions of most theories of cognition. Yet, a rationale for why humans are subject to these constraints remains elusive. This feature review draws on recent insights from psychology, neuroscience, and machine learning, to suggest that constraints on cognitive control may result from a rational adaptation to fundamental, computational dilemmas in neural architectures. The reviewed literature implies that limitations in multitasking may result from a trade-off between learning efficacy and processing efficiency and that limitations in the intensity of commitment to a single task may reflect a trade-off between cognitive stability and flexibility.

Abduction / Applications in AI

• Interpretation as abduction - Artificial Intelligence, 1993. [All Versions]. Abduction is inference to the best explanation. The authors have developed an approach to abductive inference, called “weighted abduction”, that has resulted in a significant simplification of how the problem of interpreting texts is conceptualized. The interpretation of a text is the minimal explanation of why the text would be true. More precisely, to interpret a text, one must prove the logical form of the text from what is already mutually known, allowing for coercions, merging redundancies where possible, and making assumptions where necessary. It is shown how such “local pragmatics” problems as reference resolution, the interpretation of compound nominals, the resolution of syntactic ambiguity and metonymy, and schema recognition can be solved in this manner. Moreover, this approach of “interpretation as abduction” can be combined with the older view of “parsing as deduction” to produce an elegant and thorough integration of syntax, semantics, and pragmatics, one that spans the range of linguistic phenomena from phonology to discourse structure.

Bayesian Modeling / Bayesian Induction

• Probabilistic machine learning and artificial intelligence - Nature, 2015. [All Versions]. Probabilistic modelling provides a framework for understanding what learning is, and has therefore emerged as one of the principal theoretical and practical approaches for designing machines that learn from data acquired through experience. The probabilistic framework, which describes how to represent and manipulate uncertainty about models and predictions, has a central role in scientific data analysis, machine learning, robotics, cognitive science and artificial intelligence. This Review provides an introduction to this framework, and discusses some of the state-of-the-art advances in the field, namely, probabilistic programming, Bayesian optimization, data compression and automatic model discovery.

• Generalization, similarity, and Bayesian inference - Behavioral and Brain Sciences, 2001. [All Versions]. [Preprint]. Shepard has argued that a universal law should govern generalization across different domains of perception and cognition, as well as across organisms from different species or even different planets. Starting with some basic assumptions about natural kinds, he derived an exponential decay function as the form of the universal generalization gradient, which accords strikingly well with a wide range of empirical data. However, his original formulation applied only to the ideal case of generalization from a single encountered stimulus to a single novel stimulus, and for stimuli that can be represented as points in a continuous metric psychological space. The authors recast Shepard's theory in a more general Bayesian framework and show how this naturally extends his approach to the more realistic situation of generalizing from multiple consequential stimuli with arbitrary representational structure. This framework also subsumes a version of Tversky's set-theoretic model of similarity, which is conventionally thought of as the primary alternative to Shepard's continuous metric space model of similarity and generalization.

Communications / Language Compositionality

• Language is primarily a tool for communication rather than thought - Nature, 2024. [All Versions]. This perspective brings recent evidence from neuroscience and allied disciplines to argue that in modern humans, language is a tool for communication, contrary to a prominent view that we use language for thinking. The authors begins by introducing the brain network that supports linguistic ability in humans. They then review evidence for a double dissociation between language and thought, and discuss several properties of language that suggest that it is optimized for communication. This perspective concludes that although the emergence of language has unquestionably transformed human culture, language does not appear to be a prerequisite for complex thought, including symbolic thought. Instead, language is a powerful tool for the transmission of cultural knowledge; it plausibly co-evolved with humans' thinking and reasoning capacities, and only reflects, rather than gives rise to, the signature sophistication of human cognition.

Domain Specific Language / Declarative DSL Applications

• A Domain-Specific Language for Product-Process-Resource Modeling - ETFA'21, 2021. [All Versions]. This paper presents the design of the PPR-DSL to effectively and efficiently represent Product-Process-Resource (PPR) aspects and evaluate constraints defined for modeling PPR views in the Formalized Process Description standard (VDI 3682).

Theory of Mind / AI Assisted Research

• Mental Imagery - Plato Stanford.

• Prev: Nov 11 - Nov 17, 2024
• Next: Oct 28 - Nov 03, 2024