Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
A simple and standalone WebDAV server.
AI-powered GitHub stars manager with semantic search, auto-categorization, and release tracking
Akka Management is a suite of tools for operating Akka Clusters.
Pipeline tasks for Azure DevOps Extensions
🤗 smolagents: a barebones library for agents that think in code.
novaGallery - a beautiful and and ease to use php image gallery for your photos - flat file - no database required - modern responsive design
HTTP/HTTPS web (port) knocker
Common C++ classes and routines used by my applications such as argument parser, IO and conversion utilities
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Contact Form 7 - Just another contact form plugin for WordPress.
🥷 Powerful and lightweight proxy server (3proxy) in a minimal docker image
Terraform provider for the Terraform platform engineering for Azure
GPU-accelerated preview thumbnails for Plex, Emby & Jellyfin.