gecode-flatzinc

constraint problem modelling language

FlatZinc is a low-level modelling language for constraint problems. It is designed to be easily interfaceable to constraint solvers (like Gecode). For more information on FlatZinc, please refer to the MiniZinc pages of the G12 project <https://www.minizinc.org/>.

gitit

Wiki engine backed by a git or darcs filestore

Gitit is a wiki backed by a git or darcs filestore. Pages and uploaded files can be modified either directly via the VCS's command-line tools or through the wiki's web interface. Pandoc is used for markup processing, so pages may be written in (extended) markdown, reStructuredText, LaTeX, HTML, or literate Haskell, and exported in ten different formats, including LaTeX, ConTeXt, DocBook, RTF, OpenOffice ODT, and MediaWiki markup.

libghc-gitit-prof

Wiki engine backed by a git or darcs filestore; profiling libraries

Gitit is a wiki backed by a git or darcs filestore. Pages and uploaded files can be modified either directly via the VCS's command-line tools or through the wiki's web interface. Pandoc is used for markup processing, so pages may be written in (extended) markdown, reStructuredText, LaTeX, HTML, or literate Haskell, and exported in ten different formats, including LaTeX, ConTeXt, DocBook, RTF, OpenOffice ODT, and MediaWiki markup.

jekyll

simple, blog aware, static site generator

Jekyll is a simple, blog aware, static site generator. It takes a template directory (representing the raw form of a website), runs it through Textile or Markdown and Liquid converters, and spits out a complete, static website suitable for serving with Apache or your favorite web server.

kalamine

Text-based, cross-platform Keyboard Layout Maker

Kalamine is capable of generating *.xkb_symbols files (root) and *.xkb_keymap files (user) from keyboard layouts stored in a text format. The layouts can both be used in X.org and Wayland graphical environments.

python3-eumdac

EUMETSAT Data Access Client (Python 3 library and CLI)

This package provides simple access to the EUMETSAT data of all satellite missions.