Today on GitHub, several interesting new projects have emerged, spanning areas like AI, web development tools, and automation.

• cognitive-dissonance-dspy: A framework combining DSPy-based cognitive dissonance detection with NL→Coq translation and online theorem proving to formally verify claims made by LLM agents.
• exe: Compiles full-stack web apps into single, cross-platform executables with zero runtime dependencies, preserving server-side features.
• traefiktop: A terminal UI with React + Ink, providing a keyboard-friendly way to explore Traefik routers and services.
• rbg: Simplifies the orchestration of distributed, multirole stateful workloads in Kubernetes with automated service discovery and more.
• pces: Automates SSH and X.509 certificate lifecycle management with automatic renewal and hardware security module integration.
• laravel-solid-boilerplate: A Laravel starter kit based on SOLID principles, clean architecture, and API scaffolding for building scalable and maintainable applications.
• SinLlama-bedrock: Facilitates deploying a Sinhala-capable Llama 3-8B model on Amazon Bedrock by merging a Sinhala LoRA adapter with the base model.
• vman: Simplifies managing multiple versions of command-line tools with features like transparent usage and multi-source support.
• UItron: UItron is an open-source vision-language model for automated GUI agents in GUI perception, grounding, and planning.
• emeraldengine: Emerald is a 2D graphics engine which includes a comprehensive set of tools and features.