Awesome List Updates on Aug 28, 2023

11 awesome lists updated today.

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

1. Awesome Coq

Projects / Frameworks

• SSProve (⭐46) - Framework for modular cryptographic proofs based on the Mathematical Components library.

2. Awesome Go

Database Tools

• dg (⭐20) - A fast data generator that produces CSV files from generated relational data.

Date and Time

• approx (⭐7) - A Duration extension supporting parsing/printing durations in days, weeks and years.

3. Mind Expanding Books

History

• Name: The UNIX-HATERS Handbook

  Author: Simson Garfinkel, Daniel Weise, Steven Strassmann

  Goodreads Rating: 3.78

  Year Published: 1994

4. Awesome Generative Deep Art

Ethics, Philosophical questions and Discussions about Generative AI

• The AIKEA Effect: by Artur Piszek

5. Free for Dev

Messaging and Streaming

• httpSMS - Send and receive text messages using your Android phone as an SMS Gateway. Free to send and receive up to 200 messages per month.

Other Free Resources

• sandbox.httpsms.com — Send and receive test SMS messages for free.

6. Awesome Neovim

Register / Diagnostics

• desdic/macrothis.nvim (⭐15) - Save and load macros/registers.

Code Runner / Diagnostics

• jaytyrrell13/static.nvim (⭐12) - Run static site generator commands.

7. Awesome Developer First

GEO

• OpenCage - Forward and reverse geocoding API based on open data.

8. Awesome Crystal

HTML Builders

• to_html (⭐7) - The fastest HTML builder engine for Crystal

9. Awesome Dotnet

Artificial Intelligence

• Mpt-Instruct-DotNet-S (⭐7) LLM that can generate and explain C# code (and its C# wrapper to run on consumer CPU with 5GB ram+, contains Console and Blazor sample projects)

10. Awesome Godot

Plugins and scripts / Various Godot versions

• SignalVisualizer (⭐151) - Displays the current scene's signals and connections in a easy to read graph and tree dock (Godot 4.x).

11. Awesome Tailwindcss

Learning

• 🎬 Responsive Framer Motion with Tailwind CSS - Learn how CSS variables can bridge the gap between Framer Motion and Tailwind CSS.

• Prev: Aug 29, 2023
• Next: Aug 27, 2023