Prolog PNG and SVG logo
Prolog is a logic programming language used in artificial intelligence and computational linguistics, based on formal logic and rule-based inference.
Explore More Logos
DotNet
.NET is a free, cross-platform, open-source developer platform for building many different types of applications, developed by Microsoft.
Adobe XD
Adobe XD is a user experience design tool for creating wireframes, prototypes, and screen designs for web and mobile apps.
Codecov
Codecov is a code coverage tool that provides insights into how much of your code is tested, helping improve overall software quality.
Labview
LabVIEW is a system-design platform and development environment for a visual programming language from National Instruments.
Shopware
Shopware is a flexible, open-source eCommerce platform from Germany, designed for building scalable online stores with a focus on customization and user experience.
Okta
Okta is a cloud-based identity and access management platform that provides secure authentication, single sign-on, and user management for applications and APIs.
Symfony
Symfony is a robust PHP framework for web applications, offering reusable components and tools that promote best practices and rapid development.
Subversion
Subversion (SVN) is a centralized version control system used to manage and track changes in code and files over time, commonly used before Git.
Rocky Linux
Rocky Linux is a community-driven enterprise operating system designed to be a downstream, bug-for-bug compatible alternative to Red Hat Enterprise Linux (RHEL).
CoreJS
Core-JS is a modular standard library for JavaScript that includes polyfills for ECMAScript features and other essential utilities.
Inkscape
Inkscape is a free and open-source vector graphics editor, similar to Adobe Illustrator, used for creating illustrations and diagrams.
Grails
Grails is a web application framework that uses the Groovy programming language and is built on the Spring Boot foundation.
Puppeteer
Puppeteer is a Node.js library that provides a high-level API to control Chrome or Chromium browsers for tasks like web scraping, testing, and automation.
ViteJS
ViteJS is a lightweight JavaScript framework and dev server built for fast development with native support for modern frontend libraries and frameworks.
Firefox
Mozilla Firefox is a free and open-source web browser known for its performance, privacy features, and customization.
Norg
Norg is a lightweight markup language designed for Neorg, a modern note-taking plugin for Neovim, optimized for structured documentation and productivity workflows.
Poetry
Poetry is a Python dependency management and packaging tool that simplifies project setup, builds, and publishing with an easy-to-use and modern CLI.
Nomad
Nomad is a flexible workload orchestrator from HashiCorp that enables deploying and managing containers and non-containerized applications at scale across data centers.
Processing
Processing is a flexible software sketchbook and language for visual arts and creative coding, designed to make programming accessible to artists and designers.
Ruby
Ruby is a dynamic, open-source programming language known for its simplicity and productivity, and the foundation of the Ruby on Rails web framework.
Vim
Vim is a highly configurable and efficient text editor favored by developers for its speed, keyboard-centric interface, and extensive plugin ecosystem.
Traefik Mesh
Traefik Mesh is a lightweight service mesh built on top of Traefik, enabling secure service-to-service communication and traffic management in microservices environments.
Phalcon
Phalcon is a high-performance PHP web framework delivered as a C extension, known for its speed and low overhead compared to traditional PHP frameworks.
Tomcat
Apache Tomcat is an open-source Java Servlet container and web server that executes Java servlets and renders web pages using JavaServer Pages (JSP).