Awesome List Updates on Aug 19 - Aug 25, 2024

35 awesome lists updated this week.

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

1. Awesome Theoretical Computer Science

Books / Monograph

• Structure and Interpretation of Computer Programs - MIT OCW, HTML book, Byford's playlist, Javascript book (⭐930), Python book, Berkeley for self-study, and Berkeley 2024 - Fundamental principles of computer programming in Scheme, including recursion, abstraction, modularity, and programming language design and implementation.

• Chlipala. Formal Reasoning About Programs - A book introducing both machine-checked proof with Coq Proof Assistant and approaches to formal reasoning about program correctness.

• Lean Proof Assistant - Lean Proof Assistant.

• Bengt. Programming in Martin-Löf's Type Theory - This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.

• The Univalent Foundations Program Institute for Advanced Study. Homotopy Type Theory: Univalent Foundations of Mathematics - The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant.

Lecture Notes / Monograph

• UW CSE505 18au Principles of PL - Techniques for thinking crisply about programming languages, write some fascinating programs, and discuss various design tradeoffs.

• Martin-Löf. Intuitionistic Type Theory - Notes by Giovanni Sambin of a series of type theory lectures given in Padua, June 1980.

• Helsinki. Haskell MOOC - An online course on functional programming with Haskell programming language, and a live interactive Telegram community.

• Cornell. Functional Programming in Ocaml - A modern course on data structures and functional programming using OCaml.

Cheat Sheets / Lecture Videos Playlist

• nLab & Gratzer (⭐2.2k) - Logic, Math, Proof Assistants, and Type Theory.

2. Awesome Translations

Tools / Libraries and tools for developers

• sphinx-intl (⭐71) - A Sphinx utility that make it easy to translate and to apply translations.

3. Awesome Streaming

Table of Contents / Data Pipeline

• AutoMQ (⭐4k) [Scala/Java] - cloud-first alternative to Kafka by decoupling durability to S3 and EBS. 100% Kafka compatible. 10x cost-effective. Autoscale in seconds. Single-digit ms latency.

4. Awesome Mongodb

Libraries / C#/.NET

• mongo-efcore-provider (⭐347) - Official Entity Framework (EF) Core provider for MongoDB

5. Awesome Nix

Resources / Learning

• Nix in 100 Seconds - A YouTube video from Fireship presenting Nix in 100 seconds.

6. Awesome Rest

Public REST APIs To Use In Tests / Symfony2

• Mockae - Fake REST API powered by Lua.

7. Awesome Terraform

Tools / Community providers

• prettyplan for TF 0.12+ (⭐29) - Prettyplan for TF 0.12+ (available online here) is a small tool to help you view large Terraform plans with ease. 👻

8. Awesome Hacking

Other Useful Repositories

• Repository: CyberChef

  Description: A simple, intuitive web app for analysing and decoding data without having to deal with complex tools or programming languages.

9. Awesome Neovim

AI / Diagnostics

• yetone/avante.nvim (⭐8.9k) - Chat with your code as if you are in Cursor AI IDE.

Keybinding / Diagnostics

• debugloop/layers.nvim (⭐45) - Craft temporary keymap overlays and layered modes with ease.

Scrolling / Diagnostics

• rlychrisg/keepcursor.nvim (⭐8) - A collection of functions to control how the screen is positioned around the cursor.

10. Awesome Docker

Networking

• MyIP (⭐6.5k) - All in one IP Toolbox. Easy to check all your IPs, IP geolocation, check for DNS leaks, examine WebRTC connections, speed test, ping test, MTR test, check website availability, whois search and more. By @jason5ng32

11. Awesome Ada

Graphical User Interface / Apache License

• anuklear (⭐0) - Ada binding to the Nuklear GUI library and the Nuklear-SDL renderer.

12. Awesome Ruby

Database Drivers

• Trilogy (⭐714) - A performance-oriented C library for MySQL-compatible databases.

13. Awesome Wagtail

Apps / Rich text editor extensions

• Wagtail Text Alignment (⭐4) - Align text, headings and more in your Wagtail richtext editor.

Apps / Settings management

• Wagtail-Waffle (⭐1) - Manage Django Waffle in Wagtail.

Apps / Content Management

• Wagtail-FEdit (⭐9) - Add frontend editing to your Wagtail site.

Tools / Templates (start command)

• Wagtail tutorial template (⭐3)

• Wagtail news template (⭐4)

14. Awesome Developer First

Authentication & Identity

• MojoAuth - Complete CIAM solution with Enterprise SSO and extensive out-of-the-box enterprise features.

15. Awesome Go

Actor Model

• Ergo (⭐3.8k) - An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang.

• Goakt (⭐213) - Fast and Distributed Actor framework using protocol buffers as message for Golang.

• Hollywood (⭐1.6k) - Blazingly fast and light-weight Actor engine written in Golang.

• ProtoActor (⭐5.1k) - Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin.

Artificial Intelligence

• fun - The simplest but powerful way to use large language models (LLMs) in Go.

Reflection

• goenum (⭐12) - A common enumeration struct based on generics and reflection that allows you to quickly define enumerations and use a set of useful default methods.

16. Awesome Kotlin

Libraries/Frameworks / Web

• allangomes/kotlinwind.css (⭐16) - Kotlin DSL for CSS based on Tailwind.

17. Awesome Mysql

Analysis

• Dolphie (⭐685) - a modern terminal tool for real-time analytics into MySQL/MariaDB & ProxySQL

18. Awesome Generative Deep Art

Critical Views about Generative AI

• Generative AI is not the panacea we’ve been promised | Eric Siegel for Big Think+ - YouTube

• Thoughts on GenAI by James Gosling

Prompt Engineering

• Anthropic's Prompt Engineering Interactive Tutorial (⭐8.7k)

Image Segmentation / Deforum

• Content Studio AI: Faceless Video Generator

Auxiliary tools and concepts / Deforum

• MuckBrass: Find & Validate Startup Ideas using AI

19. Awesome Tailwindcss

UI Libraries, Components & Templates

• 🧩 Motion Primitives - React motion components built with Tailwind CSS and Framer Motion.

20. Awesome Embedded Rust

no-std crates / WIP

• sized-dst: Owned container for dynamically-sized types (such as trait objects) backed by stack memory. -

21. Awesome Mac

Reading and Writing Tools / Markdown Tools

• Archimedes - Native macOS Markdown editor geared toward mathematical writing with inline LaTeX support.

Design and Product / Design Tools

• Pixen - Native pixel art and animation editor for Mac.

Communication / Collaboration and Team Tools

• Unite - The only native GroupMe app for Mac.

22. Awesome Ai Tools

Code / Developer tools

• AI Kernel Explorer (⭐15) - Explore the Linux kernel source code with AI-generated summaries.

Audio / AI Voice Cloning

• Descript Overdub - Review - Seamlessly integrates with Descript’s transcription and editing tools, ideal for content creators needing quick voiceovers.

• Respeecher - Review - A professional tool widely used in the entertainment industry to create emotion-rich, realistic voice clones.

• ElevenLabs - Review - Known for ultra-realistic voice cloning and emotion modeling, setting a new standard in AI-driven voice synthesis.

• Murf AI - Review - User-friendly platform for quick, high-quality voiceovers, favored for commercial and marketing applications.

• iSpeech - Review - A versatile solution for corporate applications with support for a wide array of languages and voices.

• Veritone Voice - Review - Focuses on maintaining brand consistency with highly customizable voice cloning used in media and entertainment.

• Microsoft Azure Neural TTS - Review - Scalable and highly customizable, ideal for integration into enterprise applications.

• WellSaid Labs - Review - Gaining traction for its natural-sounding voiceovers, particularly in corporate training and e-learning.

• Lovo.ai - Review - A compelling choice for creative professionals, especially useful in ads and explainer videos.

Audio / AI Music Generators

• Splash Pro - Review - A versatile platform offering intuitive music creation tools for all skill levels.

• AIVA - Review - AI composer specializing in classical and cinematic music creation.

• Mubert - Review - Real-time generative music tailored for different use cases.

• Soundraw - Review - Allows users to customize music compositions based on mood and style.

• Beatoven.ai - Review - AI-driven music generation focused on evoking specific emotions.

• Boomy - Review - Democratizes music creation with quick track generation and monetization.

• Ecrett Music - Review - Designed for video creators, offering royalty-free music.

• Loudly - Review - Combines AI music generation with a social platform for collaboration.

• Soundful - Review - High-quality, royalty-free music for content creators.

23. Awesome Polars

Libraries/Packages/Scripts / Polars plugins

• polars-distance (⭐59) - Polars plugin for pairwise distance functions by @ion-elgreco.

• polars-reverse-geocode (⭐14) - This plugin is an offline reverse geocoder for finding the closest city to a given (latitude, longitude) pair by @MarcoGorelli.

Libraries/Packages/Scripts / Python

• PDS(polars-ds) (⭐421) - A modern take on data science and traditional tabular machine learning with Polars. It provides Python modules that help with EDA tasks for Polars dataframes, machine learning pipelines that are native to Polars (cleaner and faster than Sklearn). In addition, it contains Polars plugin functions that turns many common numerical, statistical functions, least squares, KNN queries, and many other ML metrics into expressions that are executable inside a Polars dataframe.@abstractqqq.

• Narwhals (⭐767) - Python files that provides an extremely lightweight compatibility layer between Polars, Pandas, cuDF, and Modin by @narwhals-dev.

• photoshoot (⭐9) - A pytest plugin library for doing snapshot testing with Polars DataFrames by @ngriffiths13.

• polar_patch - Python package that brings type safety and type checking for custom Polars plugins by @Summit-Sailors.

Resources / Blog posts

• Benchmarking energy usage and performance of Polars and pandas - A blog post by the Polars team itself benchmarking Polars and Pandas.

Resources / Talks and videos

• How to Learn the Polars DataFrame Library ⏳ 110 min - A long video that explains and illustrates the basic principles of Polars by @KeithGalli. Associated github repo is here (⭐4).

24. Awesome Acg

Downloaders

• waifuc (⭐293) - Anime image data collector for training models. [English]

Image Processing

• imgutils (⭐221) - Image processing library with various anime-style image processing models. [English]

Developer Groups

• DeepGHS (GitHub / Hugging Face) [English]

25. Free for Dev

Authentication, Authorization, and User Management

• Cerbos Hub - A complete authorization management system for authoring, testing, and deploying access policies. Fine-grained authorization and access control, free up to 100 monthly active principals.

• Stack Auth — Open-source authentication that doesn't suck. The most developer-friendly solution, getting you started in just five minutes. Self-hostable for free, or offers a managed SaaS version with 10k free Monthly Active Users.

Education and Career Development

• Cisco Networking Academy, Skills for All - Offers free certification-aligned courses in topics like cybersecurity, networking, and Python.

Email

• Plunk - 3K emails/month for free

Other Free Resources

• MySQL Visual Explain - Easy-to-understand and free MySQL EXPLAIN output visualizer to optimize slow queries.

26. Awesome Godot

3D / Godot 4

• OpenLiberty (⭐199) - An open-source reimplementation of Grand Theft Auto III on the Godot Engine.

XR / Godot 4

• Piggy Rescue (⭐8) - Fun little example game where you chase and rescue little pigs.

XR / Godot 3

• Beep Saber VR (⭐109) - Beat Saber clone in Godot.

• Friday Night Funkin` (⭐43) - VR port of the popular rhythm game.

Templates / Godot 4

• Godot XR Template (⭐147) - Template for a multi-level XR game.

Plugins and scripts / Godot 4

• Godot XR Tools (⭐544) - Basic components for XR development.

• TerraBrush (⭐774) - Minimal Terrain heightmap editor that features sculpting, painting textures, LOD, and MultiZones.

27. Awesome Vue

Resources / Podcasts

• DejaVue - The Vue podcast to remember

Resources / Examples

• umo editor (⭐413) - Umo Editor is an open-source document editor, based on Vue3 and Tiptap. Visit Playground for a fast experience.

Components & Libraries / UI Components

• navpress (⭐0) - NavPress is a CLI tool for generating static navigation websites. It allows you to quickly build a navigation site through a configuration file.

• vue-speedometer (⭐62) - Vue component for showing speedometer like gauge using d3.

• Vue-Player (⭐3) - Lightweight, customizable, and easy-to-implement vue video player.

• vue3-select-component (⭐60) - Vue 3 Select Component, single & multi-select, best-in-class DX support with TypeScript end-to-end typesafe, easy styling, slots and more ~4.4KB

Components & Libraries / Scaffold

• mevn-boilerplate (⭐216) - ⭐️ the most comprehensive mevn stack boilerplate. ⭐️ mongodb - express - vue 3 (admin dashboard) - nodejs - nuxt 3 (client) boilerplate (pinia, tiptap, slug, vuetify and vuexy and more...) 🎉

28. Awesome Webaudio

Resources / Tutorials

• audio-katas (⭐53) - A collection of self-guided katas during which you will build a DAW of your own while getting exposed to the key Web Audio APIs.

29. Awesome Vite

Templates / Vanilla

• vite-swagger-ui (⭐5) - Swagger UI with built-in support for multiple APIs.

Templates / Vue 3

• vite-ts-starter (⭐129) - Vue I18n Dynamic Router Localization Template, Internationalized Applications with UnoCSS + Unplugin + Element-Plus + Vitest + TypeScript + Vue-Router + Vuex + Scss + ESLint + Stylelint + Husky + lint-staged.

Templates / React

• React Dapp Starter (⭐9) - Enterprise-ready Web3 DApp starter with TypeScript, TailwindCSS, Web3Modal, Wagmi, Shadcn UI, Zustand, and TanStack Query for scalable decentralized applications.

Framework-agnostic Plugins / Testing

• @poyro/vitest (⭐31) - Test LLM integrations using Vitest.

Framework-agnostic Plugins / Security

• vite-plugin-csp-guard (⭐24) - Lets you configure a Content Security Policy to your project, supports all directives and hashing.

WordPress / Community

• WordPlate (⭐2.1k) - Starter app with Composer.

TYPO3 CMS / Community

• vite-plugin-typo3 (⭐2) - Frontend integration for TYPO3 CMS.

30. Awesome Cl

Parsing html / Isomorphic web frameworks

• cl-html5-parser (⭐55) - HTML5 parser for Common Lisp. GPL3.0.
  • a port of the Python library html5lib.
  • compared to Plump: Plump is a mix of an XML and an HTML parser and breaks on some HTML rules (example (⭐121)), while cl-html5-parser is a fully compliant HTML parser.

31. Awesome Rust

Applications / Package Managers

• rebos - A declarative way to automate package management on any linux distro

Applications / Utilities

• dcapal (⭐60) - DcaPal is a free, no registration, online tool to help you keep your portfolio balanced with dollar cost averaging investments.

Development tools / IDEs

• RustRover - A powerful Rust IDE by JetBrains, free for individual non-commercial use

Libraries / Computation

• Science
  • Axect/Peroxide (⭐564) - Rust numeric library containing linear algebra, numerical analysis, statistics and machine learning tools in pure rust
  • cpmech/russell (⭐128) - Rust Scientific Library for numerical mathematics, ordinary differential equations, special math functions, high-performance (sparse) linear algebra

Libraries / Date and time

• arthurhenrique/rusti-cal (⭐61) [rusti-cal] - A cal(1) clone lightning-fast ~ more than 9999 years ~ Written in Rust.

32. Awesome Naming

Tools, Applications, Libraries, Frameworks

• CockroachDB - Database application, that is marketed as being so fault tolerant and resilient as a cockroach.

33. Awesome Angular

Accessibility / Google Developer Experts

• digital.gov - Accessibility for teams guide from USA government.

• WAI - The W3C Web Accessibility Initiative (WAI) develops standards and support materials to help you understand and implement accessibility.

• webaim - Web accessibility in mind.

• WAVE - WAVE Web Accessibility Evaluation Tools.

• axe Accessibility Linter - Accessibility linting for HTML, Angular, React, Markdown, Vue, and React Native.

• Angular Material CDK - a11y - The a11y package provides a number of tools to improve accessibility.

• PrimeNG - PrimeNG accessibility guide.

• astral-accessibility (⭐21) - An open-source accessibility widget written in Angular.

AI / Google Developer Experts

• deep-chat (⭐1.7k) - Fully customizable AI chatbot component for your website.

HTTP / Google Developer Experts

• angular-odata (⭐50) - A fluent API for querying, creating, updating and deleting OData resources in Angular.

34. Awesome Sysadmin

Software / VPN

• Gluetun VPN client (⭐7.1k) - VPN client in a thin Docker container for multiple VPN providers, written in Go, and using OpenVPN or Wireguard, DNS over TLS, with a few proxy servers built-in. MIT docker

35. Awesome Zsh Plugins

Plugins / superconsole - Windows-only

• rose-pine-man (⭐6) - Colorizes man pages.

• snr (⭐1) - Passes the selected output of the first command to the next.

Completions / superconsole - Windows-only

• chezmoi (⭐3) - Adds completions and aliases for chezmoi. Detects if you have git aliases and generates chezmoi aliases for them.

Themes / superconsole - Windows-only

• netmask (⭐0) - Termux-first theme. Includes decorators for ip address, full path to current directory, git status and python virtual environment.

• Prev: Aug 26 - Sep 01, 2024
• Next: Aug 12 - Aug 18, 2024