Backend Development Tool

Yices.csl.sri.com

Check logical formulas for satisfiability fast

Visit

Yices is an SMT solver for checking the satisfiability of logical formulas, supporting real and integer arithmetic, bitvectors, and more.

Humanitec.com

Build and manage your internal developer platform

Visit

Humanitec helps platform engineers create internal developer platforms, streamlining workflows, boosting standardization, and enabling developer self-service.

Ccache.dev

Speed up your software builds with caching

Visit

Ccache is a free tool that speeds up software builds by caching and reusing previous compilation results. Ideal for developers working with code.

Serverobjects.com

Explore SQL server tools and optimization tips

Visit

Learn about SQL servers and tools for optimizing web server solutions focused on relational database management and Structured Query Language.

Digital-spectr.ru

Создайте цифровой сервис с командой экспертов

Visit

Spectr offers outsourced digital service development, including frontend and backend solutions with React, Vue, TypeScript, PHP, and Python (Russian).

Libguestfs.org

Access and edit VM disk images with simple tools

Visit

libguestfs lets you access and modify virtual machine disk images with handy tools and libraries, making VM management and automation easier.

Twisted.org

Build custom network servers in Python easily

Visit

Twisted is an event-driven networking engine for Python that helps you build custom network applications and servers with ease.

Warehouse.pypa.io

Learn how PyPI works behind the scenes

Visit

Explore detailed documentation for Warehouse, the web application powering the Python Package Index (PyPI), including guides for developers and contributors.

Relay.so

Supercharge PHP apps with ultra-fast caching

Visit

Relay offers a super-fast caching solution for PHP, acting as a Redis client to help developers boost web app performance with easy integration.

En.kii.com

Manage and scale your IoT devices in the cloud

Visit

Kii offers a scalable cloud platform for managing and powering IoT devices, helping businesses build and deploy smart, connected solutions worldwide.

Apdu.fr

Enable smart card support on Unix systems

Visit

Download a free, open-source CCID driver for Unix systems to enable smart card and chip card device support on Linux, macOS, BSD, and more.

Appit.gr

Access your admin dashboard in Greek

Visit

Greek-language backend tool for managing your website or app. Log in securely to access your admin dashboard and recover passwords easily if needed.

Epitest.fi

Turn your Linux device into a wireless access point

Visit

Open-source Linux driver and tools for setting up wireless access points or WPA-secured connections with Intersil Prism2/2.5/3 Wi-Fi cards.

Exist-db.org

Build and manage XML apps with ease

Visit

eXist-db is an open source database for storing, managing, and building applications with XML data, offering tools for developers and teams.

Gher.com

Build and host custom software for your business

Visit

GHER Solutions offers custom enterprise software, API development, and DevOps services for businesses seeking tailored digital solutions.

Nitro.build

Set up web servers with zero config and fast updates

Visit

Build and deploy web servers easily with Nitro. Enjoy zero configuration, hot module replacement, and flexible deployment options for developers.

Objectcache.pro

Supercharge WordPress with fast, reliable caching

Visit

Object Cache Pro boosts WordPress speed and reliability with a premium Redis-based object caching solution, offering expert support and easy customization.

Openipmi.sourceforge.io

Access open-source IPMI tools for Linux/Unix

Visit

OpenIPMI offers open-source tools and libraries for working with the Intelligent Platform Management Interface (IPMI) on Linux and Unix systems.

Shuttle.dev

Deploy Rust backends with zero infra setup

Visit

Shuttle lets you build and deploy backends fast, using code-driven cloud provisioning with zero infrastructure setup. Focus on coding, not configs.

Taplane.com

Custom software solutions for web, mobile, and AI

Visit

TapLane offers expert software development services, building custom web, mobile, AI, and cloud solutions to help businesses grow and innovate.