v2ray

Command line tool for golang-v2ray-core

This package provides command line tool for V2Ray, which is a set of network tools that help you to build your own computer network. It secures your network connections and thus protects your privacy.

helpdev

Helper tool to get environment information

This package provides a tool to help users and developers to get information about the environment to report bugs or even test your system without spending a day on it. It can get information about hardware, OS, paths, Python distribution and packages, including Qt-things.

elan

tool for managing installations of the Lean theorem prover

elan is a small tool for managing your installations of the Lean theorem prover. It places lean and leanpkg binaries in your PATH that automatically select and, if necessary, download the Lean version described in the lean_version field of your project's leanpkg.toml. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.

libvdestack0

network namespace as a library

By libvdestack a program can use one (or even several) private networking protocol stack(s), thus a program can be assigned its own IP address(es), routing etc.

libn32gcc-s1-mips64r6-cross

GCC support library (mips64r6) (n32)

Shared version of the support library, a library of internal subroutines that GCC uses to overcome shortcomings of particular machines, or special needs for some languages.

libocct-modeling-algorithms-7.6

Open CASCADE Technology geometrical & topological algorithms module

Open CASCADE Technology is a suite for 3D surface and solid modeling, visualization, data exchange and rapid application development. It is an excellent platform for development of numerical simulation software including CAD/CAM/CAE, AEC and GIS, as well as PDM applications.