| mighttpd2 |
|
3.4.2
|
HTTP server |
| texmath |
|
0.10.1.1
|
Haskell library for converting LaTeX math to MathML |
| elm |
|
0.18.0
|
Functional programming language for building browser-based GUIs |
| shelltestrunner |
|
1.9
|
Portable command-line tool for testing command-line programs |
| cgrep |
|
6.6.24
|
Context-aware grep for source code |
| hopenpgp-tools |
|
0.20.1
|
Command-line tools for OpenPGP-related operations |
| haskell-stack |
|
1.6.5
|
The Haskell Tool Stack |
| postgrest |
|
0.4.4.0
|
Serves a fully RESTful API from any existing PostgreSQL database |
| shellcheck |
|
0.4.7
|
Static analysis and lint tool, for (ba)sh scripts |
| elm-format |
|
0.6.1-alpha
|
Elm source code formatter, inspired by gofmt |
| hadolint |
|
1.6.2
|
Smarter Dockerfile linter to validate best practices |
| darcs |
|
2.14.0
|
Distributed version control system that tracks changes, via Haskell |
| agda |
|
2.5.3_3
|
Dependently typed functional programming language |
| git-annex |
|
6.20180409
|
Manage files with git without checking in file contents |