libcoq-record-update
automatic record fields updaters for Coq
This package provides an automatic and generic way
to update record fields in Coq.
libmozjs-115-0t64
SpiderMonkey JavaScript library
SpiderMonkey is the code-name for Mozilla Firefox's C++ implementation of
JavaScript. It is intended to be embedded in other applications
that provide host environments for JavaScript.
gm2-14-mips-linux-gnu
GNU Modula-2 compiler for the mips-linux-gnu architecture
This is the GNU Modula-2 compiler for the mips-linux-gnu architecture,
which compiles Modula-2 on platforms supported by gcc. It uses the gcc
backend to generate optimised code.
hunspell-eo
Esperanto dictionary for hunspell
This is the Esperanto dictionary for use with the hunspell
spellchecker.
ortools-flatzinc
Google Optimization Tools (flatzinc)
Google Optimization Tools (a.k.a., OR-Tools) is an open-source, fast and
portable software suite for solving combinatorial optimization problems.
python3-hmmlearn
unsupervised learning and inference of Hidden Markov Models
Hmmlearn is a set of algorithms for unsupervised learning and inference
of Hidden Markov Models. For supervised learning learning of HMMs and
similar models see seqlearn.