Skip to content
store
Verifpal

Self-hosted alternatives to Verifpal

50 self-hosted Developer Tools apps to use instead, best rated first.

Top picks

  1. P

    Payload CMS

    Launch

    Payload CMS is a self-hosted, code-first content management system that gives developers full control over their data structure and admin UI. It combines a powerful API, flexible authentication, file uploads, and localization out of the box

    Self-hosted

  2. O

    OneDev

    Launch

    OneDev is a comprehensive Git server that integrates CI/CD, Kanban boards, and package management all in a single platform. It aims to provide a seamless and unparalleled experience for developers and teams working on software projects.

    Self-hosted

  3. S

    SuiteCRM

    Launch

    SuiteCRM is an open source Customer Relationship Management (CRM) software solution that provides a 360-degree view of your customers and business. It empowers businesses to streamline operations, enhance customer engagement, and increase s

    Self-hosted

  4. A

    appsmith

    Launch

    Stop grappling with data, scouring for the perfect React library, and coding everything from scratch. Build custom software 10X faster with Appsmith.

    Self-hosted

  5. D

    Dokku

    Launch

    A Docker-powered platform that lets you deploy Heroku-compatible applications via Git, with buildpack support and container isolation.

    Self-hosted

  6. D

    Dokploy

    Launch

    Streamline your deployment process with Dokploy. Manage applications and databases on any VPS using Docker and Traefik for improved performance and security.

    Self-hosted

More Developer Tools apps

See all
7
G

Gitea

A lightweight, fast, and customizable Git service

Launch
8
T

ToolJet

AI App Builder for Internal Tools

Launch
9
U

Uptime Kuma

Monitors websites, APIs, and services

Launch
10
W

Wide

Run Go with full intellisense code-completion, expression-info

Launch
11
A

AdGuard Home

User-friendly ads & trackers blocking DNS server. (Source Code) GPL-3.0 Docker

Launch
12
C

Caddy

Powerful, enterprise-ready, open source web server with automatic HTTPS

Launch
13
E

Eclipse IDE

Create and refine code with an intuitive interface, track changes, debug

Launch
14
K

Kanboard

Simple visual task board. (Source Code) MIT PHP

Launch
15
T

Traefik

HTTP reverse proxy and load balancer that makes deploying microservices easy

Launch
16
W

Wiki.js

Modern, lightweight and powerful wiki app using Git and Markdown

Launch
17
P

Paperless-ngx

Scan, index, and archive all of your paper documents with an improved interface

Launch
18
P

PrivateBin

Minimalist pastebin/discussion board where the server has zero knowledge of

Launch
19
T

Teleport

Certificate authority and access plane for SSH, Kubernetes, web applications

Launch
20
M

MindsDB

AI layer for existing databases

Launch
21
P

Postal

Complete and fully featured mail server for use by websites & web servers

Launch
22
N

Nginx Proxy Manager

Docker container for managing Nginx proxy hosts

Launch
23
R

revealjs

Framework for easily creating beautiful presentations using HTML

Launch
24
D

diaspora

Distributed social networking server. (Source Code) AGPL-3.0 Ruby

Launch
25
U

Umbrel

A beautiful personal server OS for self-hosting

Launch
26
T

Thingsboard

IoT Platform - Device management, data collection, processing and visualization

Launch
27
T

Tipi

Homeserver manager. One command setup

Launch
28
D

Dawarich

Visualize your location history, track your movements

Launch
29
N

Neko

Virtual browser that runs in docker and uses WebRTC

Launch
30
S

Speed Test by OpenSpeedTest™

HTML5 Network Performance Estimation Tool. (Source Code) MIT Docker

Launch
31
W

Wallos

Lightweight personal subscription tracker

Launch
32
S

Sandstorm

Personal server for running self-hosted apps easily and securely

Launch
33
C

Caprover

Scalable PaaS (automated Docker+nginx) - aka Heroku on Steroids

Launch
34
N

NGINX

HTTP and reverse proxy server, mail proxy server

Launch
35
B

bittorrent-tracker

Simple, robust, BitTorrent tracker (client and server) implementation

Launch
36
T

Termix

Clientless web-based server management platform

Launch
37
A

Authelia

The Single Sign-On Multi-Factor portal for web apps

Launch
38
M

Mail-in-a-Box

Turns any Ubuntu server into a fully functional mail server with one command

Launch
39
S

Stalwart Mail Server

All-in-one mail server with JMAP, IMAP4

Launch
40
H

Harbor

Cloud native image registry that stores, signs, and scans content

Launch
41
A

Airbyte

Data integration platform

Launch
42
A

Appwrite

Open-source development platform

Launch
43
C

ClickHouse

High-performance columnar OLAP database system

Launch
44
D

Documenso

Digital Signing Infrastructure

Launch
45
G

Gogs

Lightweight, cross-platform Git service for self-hosting

Launch
46
I

imgproxy

Self-hosted solution for image processing needs

Launch
47
S

Signoz

Application monitoring and observability platform

Launch
48
G

Gitea

Private, fast, reliable DevOps platform

Launch
49
C

Cloudreve

File management and sharing system, supports multiple storage providers

Launch
50
D

Dashy

Feature-rich homepage for your homelab, with easy YAML configuration

Launch

About Verifpal

V

Verifpal

Cryptographic protocol analysis for real-world cryptographic protocols

Verifpal is a symbolic formal verification tool for cryptographic protocols. You describe a protocol in the Verifpal language, state security queries about it, and Verifpal searches for an attack that breaks them, printing the trace of any attack it finds.

View VerifpalAll Developer Tools apps
Price
Free
Made by
Symbolic Software
Category
Developer Tools
Website
verifpal.com