libfile-find-rule-perl

module to search for files based on rules

File::Find::Rule is a Perl module which essentially provides an easy-to-use interface to the popular module, File::Find. It provides a way to build rules that specify desired file and directory names using a text-globbing syntax (provided by Text::Glob). This makes it useful for simple tasks, like finding all ".pm" files in a given directory.

libcupt4-1

flexible package manager -- runtime library

This is a Cupt library implementing high-level package manager for Debian and derivatives. It's written with flexibility and reliability in mind and uses dpkg as the back-end.

libmgl-fltk7.4.0

library for scientific graphs (fltk interface for windows)

libz3-java

theorem prover from Microsoft Research - java bindings

Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3 package for a detailed description.

libmgl7.4.0

library for scientific graphs (main runtime library)

golang-1.19

Go programming language compiler - metapackage

The Go programming language is an open source project to make programmers more productive. Go is expressive, concise, clean, and efficient. Its concurrency mechanisms make it easy to write programs that get the most out of multicore and networked machines, while its novel type system enables flexible and modular program construction. Go compiles quickly to machine code yet has the convenience of garbage collection and the power of run-time reflection. It's a fast, statically typed, compiled language that feels like a dynamically typed, interpreted language.