ppxfind
tool combining ocamlfind and ppx
Ppxfind is a small command line tool that allow to apply ppx
rewriters installed on the system on a file. It supports both new
style ppx rewriters (driverised) and old styles ones.
python-sepolicy
Python binding for SELinux Policy Analyses
This package contains a Python binding for SELinux Policy Analyses.
libghc-cabal-prof
framework for packaging Haskell software; profiling libraries
The Haskell Common Architecture for Building Applications and
Libraries: a framework defining a common interface for authors to more
easily build their Haskell applications in a portable way.
chessx
chess database
With ChessX you can operate your collection of chess games in many ways:
browse, edit, add, organize, analyze, etc.
djinn
generate Haskell expressions from types
Djinn uses a theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type.
gnat-8-arm-linux-gnueabi
GNU Ada compiler