Awesome List Updates on Dec 31, 2025
6 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Agi Cocosci
Domain Specific Language / DSL Program Synthesis
- Enhancing Robot Program Synthesis Through Environmental Context - NeurIPS'23, 2023. [All Versions]. Program synthesis aims to automatically generate an executable program that conforms to the given specification. Recent advancements have demonstrated that deep neural methodologies and large-scale pretrained language models are highly proficient in capturing program semantics. For robot programming, prior works have facilitated program synthesis by incorporating global environments. However, the assumption of acquiring a comprehensive understanding of the entire environment is often excessively challenging to achieve. This work presents a framework that learns to synthesize a program by rectifying potentially erroneous code segments, with the aid of partially observed environments. To tackle the issue of inadequate attention to partial observations, the authors propose to first learn an environment embedding space that can implicitly evaluate the impacts of each program token based on the precondition. Furthermore, by employing a graph structure, the model can aggregate both environmental and syntactic information flow and furnish smooth program rectification guidance. Extensive experimental evaluations and ablation studies on the partially observed VizDoom domain authenticate that the method offers superior generalization capability across various tasks and greater robustness when encountering noises.
2. Awesome Cpp
Frameworks
- sfl library (⭐144) - a header-only C++11 library that provides several new or lesser-known containers, some of which can be used in C++20 constant expressions. [zlib]
Networking
- CZMQ (⭐1.3k) - High-level C binding for ØMQ. [MPL2] website
- Zyre (⭐933) - Local Area Clustering for Peer-to-Peer Applications. [MPL2]
3. Awesome Mysql
Backup
- Databasus (⭐4k) - tool for scheduled MySQL backups via web UI with external storages (local, S3, FTP, Google Drive, etc.), notifications (webhook, Discord, Slack, etc.) and team management.
4. Awesome Osint
Domain and IP Research / GitHub
- isMalicious - Threat intelligence platform aggregating malicious IP and domain data from multiple security feeds with real-time reputation scoring and threat categorization.
5. Awesome Cl
MCP servers
- cl-MCP (⭐28) - MCP for Common Lisp.
- provides a newline‑delimited JSON‑RPC 2.0 transport over stdio or TCP, a small protocol layer (initialize, ping, tools/list, tools/call), and a REPL tool that evaluates forms and returns the last value.
Expert Systems
- WouldWork (⭐0) - solve classical planning and constraint satisfaction problems without extensive programming experience. BSD_3Clause.
To third parties
- coalton-zmq (⭐0) - ZeroMQ interface for Coalton.
- "It's complete enough to be useful for building apps that use ZeroMQ". Many of the official ZeroMQ examples (⭐0) are implemented.
Changing the syntax
- Moonli - a Julia/Python-ish syntax layer that transpiles to Common Lisp.
- experimental. New as of 2025.
HTTP Servers / Hunchentoot plugins
- hunchentoot-recycling-taskmaster (⭐6) - a taskmaster implementation for Hunchentoot, aiming to improve connection establishment efficiency through thread-pooling and flexible thread count adjustment. BSD_2Clause.
6. Awesome Lit
Component Libraries
- AgnosticUI (⭐748) - A CLI-based UI component library that copies Lit web components directly into your project. Full React and Vue wrappers for native framework experience.
- Next: Dec 30, 2025