Awesome List Updates on Aug 11, 2022

15 awesome lists updated today.

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

1. Awesome Coq

Projects / Tools

• PyCoq (⭐48) - Set of bindings and libraries for interacting with Coq from inside Python 3.

Resources / Community

• Coq tag on Proof Assistants Stack Exchange

Resources / Blogs

• Lysxia's blog

2. Awesome Django

Third-Party Packages / Configuration

• django-extra-settings (⭐455) - Config and manage typed extra settings using just the django admin.

Third-Party Packages / General

• django-maintenance-mode (⭐436) - Shows a 503 error page when maintenance-mode is on.

• django-freeze (⭐92) - Convert your dynamic django site to a static one with one line of code.

Third-Party Packages / Model Fields

• django-any-urlfield (⭐44) - An improved URL selector to choose between internal models and external URLs.

• django-colorfield (⭐545) - Color field for django models with a nice color-picker widget.

Third-Party Packages / Models

• django-treenode (⭐571) - Abstract model/admin for tree based stuff.

Third-Party Packages / URLs

• django-redirects (⭐62) - Redirects as they should be, with full control.

3. Awesome Cybersecurity Blueteam

Preparedness training and wargaming / Firewall appliances or distributions

• tcpreplay - Suite of free Open Source utilities for editing and replaying previously captured network traffic originally designed to replay malicious traffic patterns to Intrusion Detection/Prevention Systems.

4. Awesome Zig

Audio

• dantecatalfamo/sndio-zig (⭐1) - Bindings for sndio.

Compilers and interpreters

• dantecatalfamo/mruby-zig (⭐32) - mruby bindings.

• dantecatalfamo/wren-zig (⭐24) - wren bindings.

5. Awesome Qsharp

Tutorials

• Quantum Computing with Microsoft QDK - Manning liveProject series that guides the learner through implementation of a variety of protocols and algorithms using Q# and Microsoft QDK.

Books

• Q# Pocket Guide - O'Reilly, 2022, Mariia Mykhailova.

• Introduction to Quantum Computing with Q# and QDK - Springer, 2022, Filip Wojcieszyn.

• Introducing Microsoft Quantum Computing for Developers - Apress, 2022, Johnny Hooyberghs.

Blogs / Participants' solutions

• Q# Advent Calendar 2020 - Collection of Q#-related blog posts.

• Q# Advent Calendar 2021 - Collection of Q#-related blog posts.

6. Open Source Flutter Apps

Contents / Tools

• Voting Dapp (⭐13) - A Voting Dapp created using Solidity Smart Contract and web3dart library by Akshit Madan

7. Free for Dev

Monitoring

• OnlineOrNot.com - OnlineOrNot provides uptime monitoring for websites and APIs, monitoring for cron jobs and scheduled tasks. Also provides status pages. The first five checks with a 3-minute interval are free. The free tier sends alerts via Slack, Discord, and Email.

8. Awesome Plotters

Inspiration, Instruction, and Research / Fonts

• Tools, Tricks, and Hacks: Exploring Novel Digital Fabrication Workflows on #PlotterTwitter - Research paper on the novel workflows of the plotter community (Video Summary).

Manuals and Ephemera / Manuals

• Houston Instrument DM/PL Command Language (1984)

• Houston Instrument DMP-40V Operation Manual (1988)

• Houston Instrument Interface Notes for DM/PL Intelligent Plotters (1983)

Manuals and Ephemera / Ephemera

• Houston Instrument DMP-41 and DMP-42 Plotters Brochure

• Houston Instrument DMP-51/52 Series Brochure

9. Awesome Functional Programming

Table of Contents / Books

• Haskell Bookcamp - In this book, you’ll get practical experience writing Haskell code and applying functional programming to actual development challenges.

10. Awesome Algorand

Other Development Tools / Smart Contracts

• ASC Builder - A GUI (drag and drop) tool for developing & deploying Algorand smart contracts developed by Algoknox.

11. Awesome Javascript

Storage / Runner

• Lovefield - Lovefield is a relational database for web apps, By Google.

12. Awesome Neovim

Color / Diagnostics

• lcheylus/overlength.nvim (⭐42) - A small plugin to highlight too long lines.

13. Awesome Osint

Other Tools / Telegram

• CrowdSec (⭐7.5k) - An open source, free, and collaborative IPS/IDS software written in Go, able to analyze visitor behavior & provide an adapted response to all kinds of attacks.

14. Awesome Selfhosted

Software / Archiving and Digital Preservation (DP)

• ArchivesSpace - Archives information management application for managing and providing Web access to archives, manuscripts and digital objects. (Demo, Source Code (⭐321)) ECL-2.0 Ruby

Software / Bookmarks and Link Sharing

• Hackershare (⭐544) - Social bookmarks website for hackers. MIT Ruby

• LinkAce - A bookmark archive with automatic backups to the Internet Archive, link monitoring, and a full REST API. Installation is done via Docker, or as a simple PHP application. (Demo, Source Code (⭐2.4k)) GPL-3.0 Docker/PHP

• linkding (⭐4.7k) - Minimal bookmark management with a fast and clean UI. Simple installation through Docker and can run on your Raspberry Pi. MIT Docker/Python/Nodejs

Software / Remote Access

• Firezone - Self-hosted secure remote access gateway that supports the WireGuard protocol. It offers a Web GUI, 1-line install script, multi-factor auth (MFA), and SSO. (Source Code (⭐6k)) Apache-2.0 Elixir/Docker

• Guacamole - Guacamole is a clientless remote desktop gateway. It supports standard protocols like VNC and RDP. (Source Code (⭐2.8k)) Apache-2.0 Java/C

• ShellHub - ShellHub is a modern SSH server for remotely accessing linux devices via command line (using any SSH client) or web-based user interface, designed as an alternative to sshd. (Source Code (⭐1.2k)) Apache-2.0 Docker

• Sshwifty (⭐2k) - Sshwifty is a SSH and Telnet connector made for the Web. (Demo) AGPL-3.0 Go/Docker

• Warpgate (⭐3.2k) - Smart SSH and HTTPS bastion that works with any SSH client. Apache-2.0 Rust/Docker

15. Awesome Vite

Get Started

• create-vite-app (⭐200) - Scaffolding Your Out Of The Box Vite Project.

• Prev: Aug 12, 2022
• Next: Aug 10, 2022