Startup configuration
Arithmetic and other operations on numbers
Calculus
Linear Algebra
Polynomials
List operations
Functional operators
Control flow functions
Predicates
Propositional logic theorem prover
Constants
Variables
Input/Output
String manipulation
Platform-dependent packages