agda
- Ebuilds: 2, Testing: 2.8.0 Description: A dependently typed functional programming language and proof assistant
Homepage:https://wiki.portal.chalmers.se/agda/ License: MIT
spline3
- Ebuilds: 1, Testing: 1.0.2 Description:
Interpolate volumetric data according to "Local quasi-interpolation
by cubic C^1 splines on type-6 tetrahedral partitions." The defaults
are tailored to the MRI data contained in data/mri.bin from the
Stanford volume data archive at <http://graphics.stanford.edu/data/voldata/>.
For more information and examples, please see the project homepage at
<http://michael.orlitzky.com/code/spline3.php>.
Homepage:https://michael.orlitzky.com/code/spline3.xhtml License: AGPL-3+