Awesome List Updates on Feb 13, 2024

9 awesome lists updated today.

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

1. Awesome Agi Cocosci

Inductive Logic & Program Synthesis / Commonsense Knowledgebase

• PAL: Program-aided Language Models - ICML'23, 2023. [All Versions]. Paper presenting an approach that uses the LLM to read natural language problems and generate programs as the intermediate reasoning steps, but offloads the solution step to a runtime such as a Python interpreter. With PAL, decomposing the natural language problem into runnable steps remains the only learning task for the LLM, while solving is delegated to the interpreter.

2. Awesome V

Web

• Tiniest vWeb Server (⭐9) - A < 1MB static hosting web server written in V, based on x.vweb. 🍃

3. Awesome Coq

Resources / Tutorials and Hints

• Coq requirements in Common Criteria evaluations - Guide on how to write readable and reviewable Coq code in high assurance applications.

4. Awesome Cpp

Database

• Reindexer (⭐761) - Embeddable, in-memory, document-oriented database with a high-level Query builder interface. [Apache2] website

5. Awesome Ruby

Admin Interface

• Hot Glue (⭐165) - Hot Glue takes a different approach to building both admin and user dashboards. It is a code generation tool like the Rails scaffold generator but with significantly more features. Instead of providing a lot of configuration options, Hot Glue can generate your code. Good for lists & CRUD views for both admin and user-facing dashboards.

Optimizations

• fast_count (⭐220) - Quickly get a count estimation for large tables (>99% of accuracy for PostgreSQL).

6. Awesome Cropsteering

AI/ML

• Plant disease (⭐34) - Predictive model for cannabis sickness. One source identifies 30 types of cannabis ailments.

Grow Automation

• gardenAutomation (⭐392) - Garden Automation toolkit by LedGardener

7. Awesome Plotters

Manuals, Ephemera, Papers, and Patents / Ephemera

• Hewlett-Packard Journal Volume 33 Number 12 (1982) - Multiple articles about the HP Model 7470A plotter.

8. Awesome Neovim

Plugin Manager

• echasnovski/mini.nvim#mini.deps (⭐4.7k) - Module of mini.nvim for managing other plugins. Uses Git and built-in packages to install, update, clean, and snapshot plugins.

Note Taking / Diagnostics

• backdround/global-note.nvim (⭐112) - One global note in a floating window.

9. Awesome Rails

Gems / Other external resources

• alba (⭐912) - A JSON serializer for Ruby, JRuby, and TruffleRuby. 🔴

• Prev: Feb 14, 2024
• Next: Feb 12, 2024