Awesome List Updates on Dec 05, 2024
7 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Agi Cocosci
Domain Specific Language / Logic DSL Applications
- What is Answer Set Programming? - Springer, 2008. [All Versions]. [Tutorial on AAAI]. Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in knowledge representation, it is particularly useful in knowledge-intensive applications. ASP programs consist of rules that look like Prolog rules, but the computational mechanisms used in ASP are different: they are based on the ideas that have led to the creation of fast satisfiability solvers for propositional logic.
2. Awesome Pentest
Network Tools / Proxies and Machine-in-the-Middle (MITM) Tools
- friTap (⭐292) - Intercept SSL/TLS connections with frida; Allows TLS key extraction and decryption of TLS payload as PCAP in real time.
3. Awesome Integration
Projects / API Documentation
- Zudoku (⭐106) (⭐106) - An open-source, OpenAPI powered, highly customizable API documentation framework for building quality developer experiences.
Resources / Data Formats
- NDJSON (⭐687) (⭐686) - A standard for delimiting JSON objects in stream protocols. It allows for efficient processing of large JSON datasets and is widely used in big data processing.
4. Awesome Nix
Programming Languages / Lean
- lean4-nix (⭐16) - Nix flake build for Lean 4, and
lake2nix
.
NixOS Modules / Zig
- NixOS-WSL (⭐1.9k) - Modules for running NixOS on the Windows Subsystem for Linux.
5. Awesome Lowcode
Marketing
- Place Card Maker - A fast, easy and free printable place card maker,Design beautiful place cards in minutes with our free, user-friendly maker. Choose from 100+ customizable place cards templates, including options for meal choices. Perfect for weddings, holidays, and special events. Compatible with Microsoft Word for easy editing and printing. No coding required
6. Awesome Generative Deep Art
Autonomous LLM Agents / Multi-agents
- joonspk-research/generative_agents (⭐18k): implementation of the paper Generative Agents: Interactive Simulacra of Human Behavior
Speech-to-text (STT) and spoken content analysis / Deforum
- Lovable: "Idea to app in seconds. Lovable is your superhuman full stack engineer."
- v0 by Vercel: assistant to build NextJS frontend
- Cursor: The AI Code Editor
7. Awesome Zsh Plugins
Themes / superconsole - Windows-only
- baddcafe (⭐1) - Provides dynamic system information. Includes decorators for
git
status, cpu usage, memory usage, battery level, local and global IP addresses, current time, current directory and the exit status of the last command run.
- moonbloom (⭐0) - Adapts to the color scheme of your terminal emulator. Includes decorators for current directory and
git
status.
- Next: Dec 04, 2024