Fairmat is a derivative and capital investments modelling tool. It permits you to build a pricing model for many financial projects (or derivative contracts) using a graphical representation blended with a high level algebraic language. It is also possible to use it to evaluate projects and perform real options valuations. The platform can be extended using a plug-in system.
GroupOffice is a groupware suite that takes your office online, implementing online collaboration and CRM. It allows you to share projects, calendars, files and email online with co-workers and clients. It is easy to use and fully customizable. It also features synchronization with PDAs and Outlook.
Racket (formerly PLT Scheme) is a programming language suitable for implementation tasks ranging from scripting to application development, including GUIs, Web services, etc. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, tools for creating stand-alone executables, the Racket Web server, extensive libraries, documentation for both beginners and experts, and more. It supports the creation of new programming languages through a rich, expressive syntax system. Example languages include Typed Racket, ACL2, FrTime, and Lazy Racket.
Dragora is a trustworthy GNU/Linux-Libre distribution based on the concept of simplicity with the goal of being a multi-purpose operating system. Dragora respects the freedom of the user with the values of Free Software and provides control to those who use it. It is developed entirely by volunteers and it is published under the terms of the GNU General Public License.
Soffid IAM offers a complete and integrated solution for controlling access to enterprise applications. It provides you with everything you need to obtain accurate information about who uses your systems, manage the whole user provisioning lifecycle, and bring users an enhanced experience by removing the need to enter credentials every time they access your business applications. It provides a single point of audit and control for assessing data security regulatory compliance.