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]. It can also calculate with exact integers and fractions, native floating-point, and high-precision big floats.
Maxima has user-friendly front-ends, an online manual, plotting commands, and numerical...
SHOP2 is a domain-independent automated-planning system based on ordered task decomposition, a type of Hierarchical Task Network (HTN) planning. Development is no longer done on sf; only file hosting now. WARNING: Java code here is not maintained....
ArmedBear (ABCL) is a Common Lisp written in Java. Its compiler produces JVM byte code, tapping into the 'write once, run everywhere' philosophy of Java. J is a text editor written in Java featuring e.g. syntax highlighting and automatic indenting.
FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Hippal is an integrating GUI-framework for a multimodular symbolic A.I.-system IPAL, which combines A.I. Planning, Inductive Program Synthesis, Analogical Reasoning and Learning.
Hippal is client-/server-based and uses the Lili Lisp Interpreter as Centr
The Open Java Trading System (OJTS) is meant to be a common infrastructure to develop (stock) trading systems. There are four parts: gathering of raw data over the internet, recognition of trading signals, a visualisation module and trading with banks.
Set of tools and libs for
managing structured data
in a very flexible way:
Imp./Exp. ASCII, XML, SQL,
PS, Tex/LaTex, RTF
GUI: X-Windows, MS-Windows
Interface to C++, DBs, Perl,
PHP, Java, TCP/IP
LISP-like interpreter
written in C++ using C-LIB
Freefactor is a Java refactoring framework. It consists of a tool-independent refactoring system and an interface to allow it to be integrated with other tools. Currently a prototype Java-based tool is provided as well as bindings for Emacs.
Muq is a network server that goes several design generations beyond MOO or Java in providing support for applications characterized by these five requirements: Multi-user, Persistent state, Complex data, Complex code, and Distributed networking.
OpenTNF is a system-level tracing facility for capturing and presenting diagnostic information and performance metrics. Linux/Intel (kernel 2.2.x) is the initial target platform. The OpenTNF project is seeking developers for ports to other platforms.
s2html is a C/C++/Java/Lisp HTML source code converter.
s2html is a very simple C/C++/Java/Lisp HTML source code converter. It uses embedded CSS to format your code. Many other formatters exist, this one started its life back in 1983 as my very first C program.
It is a specific project for a Topographical Department, that contains Lisp tools for AutoCad, a desktop system for departament´s internal information management, and a web application for the management level for consultations and solicitations.