Awesome List Updates on May 05, 2024

7 awesome lists updated today.

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

1. Awesome Coq

Resources / Course Material

• An Introduction to MathComp-Analysis - Lecture notes on getting started with the Mathematical Components library and using it for classical reasoning and real analysis.

2. Awesome Userscripts

Scripts / ChatGPT

• BraveGPT - Adds AI answers to Brave Search. Ask from any site. Powered by GPT-4o!

Scripts / DuckDuckGo

• DuckDuckGPT - Adds AI answers to DuckDuckGo. Ask from any site. Powered by GPT-4o!

Scripts / Google

• GoogleGPT - Adds AI answers to Google Search. Ask from any site. Powered by Google Gemma + GPT-4o!

3. Awesome Readme

Examples

• stevenfoncken/multitool-for-spotify-php (⭐2) - Concise introductory description. Clear overview of features. Why-section with easter egg (heading). Informative badges. Clear disclaimer. Step-by-step setup instructions. Expandable TOC. Headlines with emojis. Detailed usage section. Shortlinks at the top. Back-to-top link in the footer. Credits to third-party code/libraries.

4. Awesome Json

Format Extensions

• Sequence JSON (⭐125) - A proposal for a standard way of creating music sequence data in JSON.

5. Magictools

Engines and Frameworks / Voxel Editors

• 🎉 ORX - ORX is a 2.5D Data-driven C/C++ open source & multi-platform game development engine.

6. Awesome Neovim

Quickfix / Diagnostics

• niuiic/quickfix.nvim (⭐14) - Extended functionality for quickfix, including store, restore, make, remove, etc.

7. Awesome Zsh Plugins

Plugins / superconsole - Windows-only

• color-logging (⭐2) - provides a really easy to use logging library with notifications for pushbullet and pushover, colorizes tools like cat and ls and provides a color library.

• zshrc-sync (⭐3) - Detects changes to .zshrc and pushes them to github when zsh exits.

• Prev: May 06, 2024
• Next: May 04, 2024