O programa Amaya é desenvolvido pelo W3C (World Wide Web Consortium, a principal organização de padronização da World Wide Web. Mais informação, aqui). Serve como navegador (browser) e (o seu ponto forte) como editor (fácil) de páginas para a Web. Sempre com as mais recentes tecnologias Web.
É um editor WYSIWYG (O que você vê é o que você obtém): a criação de páginas Web (incluindo a sua formatação, a inserção de caracteres especiais e de fórmulas matemáticas, o gerenciamento de folhas de estilo,…) pode ser feita sem qualquer recurso ao código-fonte.
A página oficial está aqui; o Amaya pode ser descarregado (gratuitamente) daqui (existem versões para os vários sistemas operativos).