ordCalc-0.2nb7.tgz


Advertisement

Description

ordCalc - Ordinal arithmetic calculator and research tool

Property Value
Distribution NetBSD 7.0
Repository NetBSD i386
Package filename ordCalc-0.2nb7.tgz
Package name ordCalc
Package version 0.2nb7
Package release -
Package architecture i386
Package type tgz
Category math
Homepage http://mtnmath.com/ord/
License gnu-gpl-v2
Maintainer -
Download size 753.32 KB
Installed size 1.62 MB
OrdCalc
An interactive tool to understand the recursive ordinals
'ord' is a program for understanding the recursive ordinals.
It has a command line interpreter resembling command line calculators.
See 'ordCalc.pdf' for a brief description of how to use the interpreter.
See 'ordinal.pdf' for a description of the structure of the program and the
theory on which it is based.

Alternatives

Package Version Architecture Repository
ordCalc-0.2nb7.tgz 0.2nb7 amd64 NetBSD
ordCalc - - -

Requires

Name Value
gmp >= 5.0.1

Download

Type URL
Mirror ftp.netbsd.org
Binary Package ordCalc-0.2nb7.tgz
Source Package ordCalc

Install Howto

Install ordCalc tgz package:

# pkg_add ordCalc

See Also

Package Description
oroborox-0.9.8nb35.tgz The lightweight Window Manager for the ROX Desktop
oroborus-2.0.12nb1.tgz Small and simple window manager for X
ortp-0.16.1nb7.tgz Real-time Transport Protocol stack
osabi-NetBSD-7.0.tgz Operating System version dummy-package
osbf-lua-2.0.4nb6.tgz Lua C module for text classification
osg-3.4.1nb13.tgz High performance 3D graphics toolkit
osh-20160108.tgz Port of the Sixth Edition UNIX shell
osm-gps-map-1.0.2nb20.tgz Gtk+ Widget for Displaying OpenStreetMap tiles
osm2pgsql-0.96.0nb2.tgz OpenStreetMap data to PostgreSQL converter
osmo-sdr-0.1nb3.tgz Small form-factor inexpensive SDR (Software Defined Radio)
osname-2.0.tgz Print canonical name of operating system
ossp-js-1.6.20070208nb9.tgz Sanitized distribution of Mozilla's JavaScript implementation
ossp-uuid-1.6.2nb7.tgz C-API and command line tool for generating UUIDs
otf2bdf-3.1nb3.tgz OpenType to BDF font converter
oto-0.4nb4.tgz List and modify OpenType font files
Advertisement
Advertisement