Computer Algebra System written in Common Lisp
Maxima is a computer algebra system comparable to commercial systems like Mathematica and Maple. It emphasizes symbolic mathematical computation: algebra, trigonometry, calculus, and much more. For example, Maxima solves x^2-r*x-s^2-r*s=0 giving the symbolic results [x=r+s, x=-s]. Maxima can calculate with exact integers and fractions, native floating-point and high-precision big floats. Maxima has user-friendly front-ends, an on-line manual, plotting commands, and numerical libraries. Users can write programs in its native programming language, and many have contributed useful packages in a variety of areas over the decades. Maxima is GPL-licensed and largely written in Common Lisp. Executables can be downloaded for Windows, Mac, Linux, and Android; source code is also available. An active community maintains and extends the system. Maxima is widely used: annual direct downloads exceed 300,000. Many other users receive it through secondary distribution.
V/OS is an Operating System driven by Artificial Intelligence
V is the new Operating System for the masses. It is specially aimed at Tablet PCs, Laptops and Desktop Workstations. It is solid as a rock and constitutes a new milestone in Operating Systems. It integrates Artificial Intelligence Out-of-the-Box and allows a seamless integration of any Software from any Operating System at the same time without compatibility Issues. The User Interface is minimalistic and elegant, designed and aimed for anyone wanting speed and reliability with State-of-the-Art Technology Integration. The inbuilt security system makes V/OS the most secure and reliable Operating System around. It is being developed since 2009 and currently is at it's last steps for public release.