scala Archives - LinuxLinks

Isabelle – generic proof assistant

Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language.

Paradox is a Markdown documentation tool for software projects which supports GitHub flavoured Markdown.

Scalate is a Scala based template engine which supports HAML, Mustache and JSP, Erb and Velocity style syntaxes.

Pamflet is a publishing application for short texts, particularly user documentation of open-source software.

Hepek is a collection of useful projects for typesafe HTML construction: Components, static site generator, and a play framework integration.

Ornate is a tool for building multi-page HTML sites from Markdown sources.

BlueEyes is a lightweight scalable framework for modern web services. It is focused on building high-performance web services.

Lift is a powerful, secure web framework. Lift is composed on discrete elements.

Finatra is a Scala services framework built on top of TwitterServer and Finagle.