← Back to Coq Platform
Alternatives to Coq Platform
Formal proof management system
Developer Tools 9 installs/mo 6.5
12 alternatives
Postman
postman
7.0
Collaboration platform for API development
Developer Tools 12.5K installs/mo
Isabelle
isabelle
8.0
Generic proof assistant
Developer Tools 24 installs/mo
pgAdmin4
pgadmin4
8.0
Administration and development platform for PostgreSQL
Developer Tools 4.2K installs/mo
CMake
cmake-app
8.0
Family of tools to build, test and package software
Developer Tools 378 installs/mo
.NET SDK
dotnet-sdk
8.0
Developer platform
Developer Tools 10.6K installs/mo
CodeQL
codeql
8.0
Semantic code analysis engine
Developer Tools 572 installs/mo
DBeaver Community Edition
dbeaver-community
7.5
Universal database tool and SQL client
Developer Tools 11.3K installs/mo
MySQL Workbench
mysqlworkbench
8.0
Visual tool to design, develop and administer MySQL servers
Developer Tools 1.6K installs/mo
TLA+ Toolbox
tla+-toolbox
8.0
IDE for TLA+
Developer Tools 66 installs/mo
Apidog
apidog
7.5
API development platform
Developer Tools 129 installs/mo
DbGate
dbgate
8.0
Database manager for MySQL, PostgreSQL, SQL Server, MongoDB, SQLite and others
Developer Tools 160 installs/mo
Hoppscotch
hoppscotch
8.0
Open source API development ecosystem
Developer Tools 250 installs/mo