Awesome List Updates on Feb 13, 2024

8 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 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.

3. Awesome Cpp

Database

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

4. Awesome Ruby

Admin Interface

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

5. 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

6. Awesome Plotters

Manuals, Ephemera, Papers, and Patents / Ephemera

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

7. Awesome Neovim

Plugin Manager

• echasnovski/mini.nvim#mini.deps (⭐6.2k) - 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 (⭐124) - One global note in a floating window.

8. Awesome Rails

Gems / Other external resources

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

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