SoftCo: Enterprise Invoice and P2P Automation Software
For companies that process over 20,000 invoices per year
SoftCo 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.
Learn More
Iris Powered By Generali - Iris puts your customer in control of their identity.
Increase customer and employee retention by offering Onwatch identity protection today.
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.
SableCC is a parser generator which generates object-oriented frameworks for building compilers, interpreters and other text parsers. SableCC keeps a clean separation between machine and user code which leads to a shorter development cycle.
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL).
Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures...
This is the tool for generating C++ and Java finite state machines and also diagrams. The benefits of this solution: It is light and fast. It is using dynamic memory allocation very low. Logic of transitions is separated from implementation of event
Many design artifacts can be directly executed. UML state processes can be executed by a state machine; UML sequence diagrams can be executed directly. ExecDesign will be a suite of Java tools which can be used to document and execute UML designs.
lsx is a small and powerful text and source code generator based on a format called Eva. Both java libraries for lsx and Eva and tutorial with some "Hello" samples including "Hello State Machine", interesting demo that generates C++ code.
JC is a Java virtual machine implementation that converts class files into C source files using the Soot Java bytecode analysis framework, compiles them with GCC, and loads them using a built-in ELF object loader. JC uses GNU Classpath's class library.
Janux is a project to port the java virtual machine directly on top of the Linux kernel using
bypassing the traditional posix enviroment. This results in very fast java implementation for linux and and opportinuty to develop java based operating syste
A byte code generation library for the Java Virtual Machine
ClassMaker is a byte code generation library for the Java Virtual Machine. Unlike other byte code libraries ClassMaker deals with higher order structures, including methods, if statements, while loops and try blocks.