Awesome List Updates on Nov 08, 2024

10 awesome lists updated today.

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

1. Awesome Go

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.

2. 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.

3. 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)

4. Awesome Opentofu

Features

• CanI.TF - Feature parity between Terraform and OpenTofu

5. 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.

6. 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.

7. Awesome Polars

Blog posts / Miscellaneous

• 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.

8. Awesome Angular

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.

9. Awesome Qubes OS

Templates

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

VM-Hardening

• 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

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

• xfce dark mode - Xfce global dark mode in Qubes

Clearnet & Anonymous Networking / Tor

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

• 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.

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.

Training and Materials / Extra Info

• 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.

10. Awesome Agi Cocosci

Bayesian Modeling / Bayesian Induction

• 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.

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).

• Prev: Nov 09, 2024
• Next: Nov 07, 2024