What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.

Halide is a programming language designed to make it easier to write high-performance image and array processing code on modern machines.

The ament build system is the most common way to build packages for ROS 2. ament_cmake provides the necessary tooling to build ament packages with CMake.

# zombie-imp

This is the GNU Modula-2 compiler for the mipsisa64r6-linux-gnuabi64 architecture, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.

This is the GNU Modula-2 compiler for the mipsisa32r6-linux-gnu architecture, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.