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.