Skip to content
store
Lean

Alternatives to Lean

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

Top picks

  1. GitHub

    Launch

    Host and review code, manage projects, and build software with millions of developers.

  2. N

    NocoDB

    Launch

    Convert any database into a no-code platform with spreadsheet interface. Connect PostgreSQL/MySQL or use hosted database. Scale to millions of rows effortlessly.

  3. I

    Insomnia

    Launch

    Intuitive API client for REST, GraphQL, and gRPC. Debug, test, and collaborate on APIs with ease across platforms.

  4. J

    Joplin

    Launch

    Cross-platform note-taking app with end-to-end encryption, Markdown support, web clipping, and sync via Dropbox, OneDrive, or Joplin Cloud.

  5. 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

  6. P

    Pocketbase

    Launch

    A lightweight, self-hosted backend solution with real-time database, authentication, and file storage capabilities.

More Developer Tools apps

See all
7
P

PostHog

Analytics with autocapture, session recordings, feature flags, heatmaps and more

Launch
8

Vercel

Ship at the speed of thought

Launch
9

Replit

Build software, collaboratively

Launch
10

CodePen

Front-end playground

Launch
11
A

appsmith

Open-Source Low-Code Application Platform

Launch
12
B

Bruno

A modern, user-friendly API client

Launch
13
C

Convex

All gas, no breakages

Launch
14
C

Coolify

Self-hostable Heroku alternative

Launch
15
D

Directus

A versatile headless CMS and API engine

Launch
16
D

Dokku

An open source PAAS alternative to Heroku

Launch
17
D

Dokploy

Open-source alternative to Heroku, Vercel, and Netlify

Launch
18
D

drawDB

Online Database Schema Design & ER Diagram Tool

Launch
19
G

Gitea

A lightweight, fast, and customizable Git service

Launch
20
G

Grafana Cloud

AI-Powered Full-Stack Observability

Launch
21
H

Harness

Streamline code delivery with an open-source CI/CD platform featuring Git

Launch
22
H

Hoppscotch

Lightweight, fast, and feature-rich API client for developers

Launch
23
K

Keycloak

Comprehensive open source identity management solution offering single sign-on

Launch
24
M

Meilisearch

Typo tolerant search engine

Launch
25
M

Minio

S3 compatible object storage

Launch
26
N

Neon

Postgres backends for apps and agents

Launch
27
N

Nuclei

Vulnerability scanner based on simple YAML based DSL

Launch
28
O

Outline

Wiki and knowledge base

Launch
29
P

PrefectCloud

Enterprise Orchestration Platform

Launch
30
P

Prometheus

Pull-based monitoring system with a multi-dimensional data model

Launch
31
S

Sentry

Error tracking and performance monitoring

Launch
32
S

Spacedrive

Your data. Your devices. Your AI employees

Launch
33
S

Supabase

The Postgres Development Platform

Launch
34
T

ToolJet

AI App Builder for Internal Tools

Launch
35
T

Trigger.dev

The open source platform for durable AI agents

Launch
36
U

Uptime Kuma

Monitors websites, APIs, and services

Launch
37
W

Wide

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

Launch
38
Z

ZITADEL Cloud

Identity Infrastructure, Simplified

Launch
39
A

AdGuard Home

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

Launch
40
C

Caddy

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

Launch
41
E

Eclipse IDE

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

Launch
42
K

Kanboard

Simple visual task board. (Source Code) MIT PHP

Launch
43
T

Traefik

HTTP reverse proxy and load balancer that makes deploying microservices easy

Launch
44
W

Wiki.js

Modern, lightweight and powerful wiki app using Git and Markdown

Launch
45
J

Jenkins

Automate testing, deploy apps, monitor performance, and streamline workflow

Launch
46
P

Paperless-ngx

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

Launch
47
P

PrivateBin

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

Launch
48
T

Teleport

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

Launch
49
M

MindsDB

AI layer for existing databases

Launch
50
G

Graylog

Easily monitor, analyze, troubleshoot log data

Launch

About Lean

L

Lean

Programming Language and Theorem Prover

Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming.

View LeanAll Developer Tools apps
Price
Free
Made by
Lean FRO
Category
Developer Tools
Website
lean-lang.org