libfst22

weighted finite-state transducers library (runtime)

OpenFst is a library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). Weighted finite-state transducers are automata where each transition has an input label, an output label, and a weight. The more familiar finite-state acceptor is represented as a transducer with each transition's input and output label equal. Finite-state acceptors are used to represent sets of strings (specifically, regular or rational sets); finite-state transducers are used to represent binary relations between pairs of strings (specifically, rational transductions). The weights can be used to represent the cost of taking a particular transition.
This package contains the plugins. You will need it for the HTML dialogs....

bluefish-plugins

advanced Gtk+ text editor (plugins)

Bluefish is a powerful editor targeted towards programmers and web developers, with many options to write websites, scripts and programming code. Bluefish supports a wide variety of programming and markup languages and has many features, e.g.

agda

dependently typed functional programming language

Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code).

libace-htbp-8.0.0

ACE protocol over HTTP tunneling library

The HTTP Tunneling, Bidirectional, Protocol (HTBP) library enables the writing of stream-based protocols over HTTP.

python3-pyment

Generate/convert the docstrings from code signature

pyment is intended for Python programmers to help facilitate internal code using docstrings.

libgrpc29

high performance general RPC framework

A modern, open source remote procedure call (RPC) framework that can run anywhere. It enables client and server applications to communicate transparently, and makes it easier to build connected systems.