Search Results for "computer-aided software engineering"
Sort By:
Showing 29 open source projects for "computer-aided software engineering"
View related business solutions-
SoftCo: Enterprise Invoice and P2P Automation SoftwareSoftCo Accounts Payable Automation processes all PO and non-PO supplier invoices electronically from capture and matching through to invoice approval and query management. SoftCoAP delivers unparalleled touchless automation by embedding AI across matching, coding, routing, and exception handling to minimize the number of supplier invoices requiring manual intervention. The result is 89% processing savings, supported by a context-aware AI Assistant that helps users understand exceptions, answer questions, and take the right action faster.
-
Run applications fast and securely in a fully managed environmentRun frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
-
1
Maxima -- GPL CAS based on DOE-MACSYMA
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]. 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... -
2
REDUCE
A Portable General-Purpose Computer Algebra System
REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the... -
3
Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.
-
4
Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
-
Iris Powered By Generali - Iris puts your customer in control of their identity.Iris Identity Protection API sends identity monitoring and alerts data into your existing digital environment – an ideal solution for businesses that are looking to offer their customers identity protection services without having to build a new product or app from scratch.
-
5
HMD Mathematics
Numerical mathematics platform, Matlab alternative
Matlab alternative. Scilab alternative. GNU Octave alternative. Mathematics software for numerical computation. Ordinary differential equations solver and finite elements solver. It has a console script interpreter, as well as a graphical interface script interpreter, for entering equations and statements, and a line plot display. -
6
topocad
A set ot tools for surveyors addon to many CAD environments
A set of Lisp tools for surveyors to extend your CAD enviroments. It is compatible with all the autolisp compatible environments It is tested in Windows and Linux. -
7
StarBatch
AutoCad 2014 - AutoCad 2020 batch lisps process
Starbatch is a batch lisp program for Autodesk Autocad drawings. Using StarBatch you can automate AutoCAD to save you time and money. Batch your favourite Lisp's while you complete other tasks. -
8
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
-
9
wxMaxima
Cross platform GUI for Maxima
wxMaxima is a cross-platform graphical front-end for the computer algebra system Maxima based on wxWidgets. It provides nice display of mathematical output and easy access to Maxima functions through menus and dialogs. This project has moved to github and can be reached at http://wxmaxima-developers.github.io/wxmaxima/ -
The full-stack observability platform that protects your dataLayer, tags and conversion dataCode-Cube.io detects issues instantly, alerts you in real time and helps you resolve them fast. No manual QA. No unreliable data. Just data you can trust and act on.
-
10
SuperCollider
Real-time audio synthesis engine and music programming language
N.B. SuperCollider is now hosted at GitHub, and the most recent versions can be downloaded from there. http://supercollider.github.io A real time audio synthesis engine, and an object-oriented programming language specialised for music. SuperCollider was created in 1996 by James McCartney, now (since version 3) released as free software. -
11
An efficient Java-based Multi-agent Platform implementing the micro-agent concept µ² offering network support and multiple agent implementation languages. Detailed instructions and documentation can be found under http://www.micro-agents.net. This project has been moved to Github.
-
12
Yamwi
Yamwi = Yet Another Maxima Web Interface.
Run Maxima programs via the web in batch mode. Maxima is a Computer Algebra System written in Lisp. -
13
ACT-CV provides an easy to use interface between visual objects on the computer screen (or another video source) and a cognitive modeling tool.
-
14
SatMod-Lambda
Satellite constellation analysis software.
-
15
jskeus
this project has move to github -> https://github.com/euslisp/jskeus
THIS PAGE HAS MOVE TO GITHUB https://github.com/euslisp/jskeus === This packages contains humanoid robot modeling software based on EusLisp language developed by researchers and students at JSK Robotics Laboratory at the University of Tokyo, Japan. -
16
Nadstavba ST
Stavařská nadstavba pro AutoCAD a IntelliCAD.
ST je stavařská nadstavba pro AutoCAD a IntelliCAD napsaná v AutoLISPu. První řádky byly napsány někdy v říjnu 1999. Z počátku měl celý projekt sloužit jen k připomenutí a zdokonalení se v AutoLISPu. Časem ale vzniklo dost funkcí, které pokud by se poskládaly dohromady, byl by z toho celkem užitečný celek. První použitelné verze byly k dispozici v létě 2000. Spolehlivě fungovaly ale jen pod A2000. Skutečně spolehlivá verze byla až verze 1.40, o té se i přes všechny nedostatky dalo říci, že... -
17
A collection of extensions / add-ons to cad programs. The name is a mash of the words Cad-Addons. Mostly intended as extensions to AutoCAD, but as most use the AutoLisp scripting language many clone products are capable of using them also.
-
18
-
19
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
-
20
Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks. Project web page: http://www.littleb.org
-
21
‘intelliworm’ is a prototype simulation of a Intelligent Species of a common earth worm,which inherits human like decision making capabilities through Neural Network intelligence representation,all developed by integrating .NET with Lisp and Yacc.
-
22
The PGMFI project has as its goal total understanding of the computerized systems such as ECUs, ABS controllers and other devices present in Honda vehicles. Currently, the Non-Commercial-Sharealike license is reccomended for all releases.
-
23
-
24
kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.
-
25
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
