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