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.