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.
chess database

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