Awesome List Updates on Jul 03, 2025
12 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Agi Cocosci
Domain Specific Language / DSL Program Synthesis
- Mathematical discoveries from program search with large language models - Nature, 2024. [All Versions]. Large language models (LLMs) have demonstrated tremendous capabilities in solving complex tasks, from quantitative reasoning to understanding natural language. However, LLMs sometimes suffer from confabulations (or hallucinations), which can result in them making plausible but incorrect statements1,2. This hinders the use of current large models in scientific discovery. This work introduces FunSearch (short for searching in the function space), an evolutionary procedure based on pairing a pretrained LLM with a systematic evaluator. The authors demonstrate the effectiveness of this approach to surpass the best-known results in important problems, pushing the boundary of existing LLM-based approaches3. Applying FunSearch to a central problem in extremal combinatorics—the cap set problem—we discover new constructions of large cap sets going beyond the best-known ones, both in finite dimensional and asymptotic cases. This shows that it is possible to make discoveries for established open problems using LLMs. The authors showcase the generality of FunSearch by applying it to an algorithmic problem, online bin packing, finding new heuristics that improve on widely used baselines. In contrast to most computer search approaches, FunSearch searches for programs that describe how to solve a problem, rather than what the solution is. Beyond being an effective and scalable strategy, discovered programs tend to be more interpretable than raw solutions, enabling feedback loops between domain experts and FunSearch, and the deployment of such programs in real-world applications.
2. Awesome Cpp
Debug
- utl::profiler (⭐296) - Singe-header profiler for C++17. [MIT]
3. Awesome V
Graphics
- svgg (⭐6) - V module to load and resterize svg file into
gg.Imageobject.
4. Awesome Lowcode
Visual programming
- Rierino - Low-code backend microservice and AI agent development platform.
Misc
- Tachybase (⭐67) - Tachybase is a pluggable application framework., where developers can build complex application logic, while core developers focus on ensuring the stability of key modules and adapting to different environments.
5. Awesome Opentofu
Tools / CI
- Burrito - Burrito is a TACoS (Terraform Automation and Collaboration Software) that works inside Kubernetes.
6. Free for Dev
Testing
- SSR (Server-side Rendering) Checker - Check SSR (server-side rendering) for any URL by visually comparing the server rendered version of the page with the regular version.
7. Awesome Rust
Applications / Operating systems
- asterinas/asterinas (⭐3.4k) - A secure, fast, and general-purpose OS kernel that provides Linux-compatible ABI.
Development tools / Static analysis
- RAPx (⭐89) - A platform that helps Rust programmers develop and use advanced static analysis tools beyond those provided by the rustc compiler.
8. Awesome Selfhosted
Software / Media Management
- Spooty (⭐9)
⚠- Download tracks/playlists/albums from Spotify. It can also subscribe to a playlist or author page and download new songs upon release.MITDocker/Nodejs
9. Awesome Integration
Projects / API Documentation
- DapperDox (⭐420) (⭐420) - Generates elegant, interactive API documentation from OpenAPI/Swagger specs with easy customization and automated updates.
10. Awesome Embedded Rust
Runtime Crates / Real-time tools
cortex-m-rtSupport for Cortex-M
cortex-a-rtSupport for Cortex-A
cortex-r-rtSupport for Cortex-R
riscv-rtSupport for RISC-V
esp-riscv-rtSupport for RISC-V devices from Espressif (ESP32)
xtensa-lx-rtSupport for Xtensa LX (ESP32)
mips-rtSupport for MIPS
msp430-rtSupport for MSP430
11. Awesome Angular
Analytics / Google Developer Experts
- ngx-piwik-pro (⭐4) - Dedicated Piwik PRO library that helps with implementing Piwik PRO Tag Manager and the Piwik PRO tracking client in Angular applications.
CLI / Google Developer Experts
Developer tools / Google Developer Experts
- falso (⭐3.3k) - All the Fake Data for All Your Real Needs.
SEO / Google Developer Experts
- angular-react-seo (⭐75) - Angular & React Examples SEO (Search engine optimization).
Server-Side Rendering / Google Developer Experts
- Official web page - Documentation for the new SSR package built into the framework.
Helpers / Google Developer Experts
- @angular/cdk/testing -
@angular/cdk/testingprovides infrastructure to help with testing Angular components.
Captcha / Google Developer Experts
- trustcaptcha-angular - This library helps you integrate Trustcaptcha into your Angular frontend applications.
Data Grids / Google Developer Experts
- slickgrid-universal (⭐124) - A monorepo which includes all editors, filters, extensions, and services related to framework agnostic SlickGrid (⭐2k) usage.
NgRx / Google Developer Experts
- Official GitHub repository (⭐8.2k) - Reactive State for Angular.
NGXS / Google Developer Experts
- Official GitHub repository (⭐3.6k) - NGXS tries to make things as simple and accessible as possible with less boilerplate and code to maintain.
UX Components / Google Developer Experts
- angular-shepherd (⭐231) - Angular Service wrapping the site tour library Shepherd (⭐13k).
Ionic / Google Developer Experts
RxJS / Google Developer Experts
- Official website - Reactive Extensions Library for JavaScript.
TypeScript / Google Developer Experts
- DefinitelyTyped GitHub repository (⭐50k) - The repository for high quality TypeScript type definitions.
- Total Typescript Book (⭐1.7k) - The companion repository for the upcoming Total TypeScript book.
12. Awesome Osint
Email Search / Email Check / GitHub
- Multirbl - MultiRBL Valli checks if an IP or domain is listed on multiple public RBLs (blacklists) simultaneously.
- Prev: Jul 04, 2025
- Next: Jul 02, 2025