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 |