node-rollup-plugin-typescript2

Seamless integration between Rollup and TypeScript

This is a rewrite of original rollup-plugin-typescript, starting and borrowing from alexlur's fork.

python3-momepy

Urban Morphology Measuring Toolkit - Python 3.x

Momepy is a library for quantitative analysis of urban form - urban morphometrics. It is part of PySAL (Python Spatial Analysis Library) and is built on top of GeoPandas, other PySAL modules, and networkX.

gobjc++-14-mipsel-linux-gnu

GNU Objective-C++ compiler for the mipsel-linux-gnu architecture

This is the GNU Objective-C++ compiler for the mipsel-linux-gnu architecture, which compiles Objective-C++ on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

libmrpt-maps2.5

Mobile Robot Programming Toolkit - maps library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

libcolpack0t64

Specialized graph vertex coloring library, shared library

ColPack is a package comprising of implementation of algorithms for specialized vertex coloring problems that arise in sparse derivative computation. It is written in an object-oriented fashion heavily using the Standard Template Library (STL). It is designed to be simple, modular, extenable and efficient. Its primary application has been for use in automatic differentiation.

jbmc

bounded model checker for Java programs

JBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.