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 (⭐0) - 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 (⭐751) - Embeddable, in-memory, document-oriented database with a high-level Query builder interface. [Apache2] website

5. Awesome Ruby

Admin Interface

• Hot Glue (⭐153) - 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 (⭐205) - Quickly get a count estimation for large tables (>99% of accuracy for PostgreSQL).

6. Awesome Cropsteering

AI/ML

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

Grow Automation

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

7. Awesome Plotters

Manuals and Ephemera / 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 (⭐3.5k) - 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 (⭐67) - One global note in a floating window.

9. Awesome Rails

Gems / Other external resources

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

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