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.