With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
Total Network Visibility for Network Engineers and IT Managers
Network monitoring and troubleshooting is hard. TotalView makes it easy.
This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
ReSpecT (Reaction Specification Tuples) is a logic-based language for distributed system coordination. ReSpecT is based on a coordination model exploiting tuple centres as first-class, general-purpose coordination media.
PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.
XGP is an integrated development environment that extends GNU Prolog to work with Cocoa under Macintosh OS X. It provides user interface and graphics facilities largely compatible with MacProlog32 by LPA. Requires Mac OS X version 10.2.1 or greater.
Enterprises and companies seeking a solution to manage all their procurement operations and processes
eBuyerAssist by Eyvo is a cloud-based procurement solution designed for businesses of all sizes and industries. Fully modular and scalable, it streamlines the entire procurement lifecycle—from requisition to fulfillment. The platform includes powerful tools for strategic sourcing, supplier management, warehouse operations, and contract oversight. Additional modules cover purchase orders, approval workflows, inventory and asset management, customer orders, budget control, cost accounting, invoice matching, vendor credit checks, and risk analysis. eBuyerAssist centralizes all procurement functions into a single, easy-to-use system—improving visibility, control, and efficiency across your organization. Whether you're aiming to reduce costs, enhance compliance, or align procurement with broader business goals, eBuyerAssist helps you get there faster, smarter, and with measurable results.
OpenSHORE is an XML based Semantic Document Repository (SDR) with a free definable meta model that builds up a semantic network from sections and relations in documents. The acronym SHORE means Semantic Hypertext Object Repository.
Prodox provide a basic library to provide doxygen comments in a Prolog language file. With dedicated predicate (doxygen), user can comment Prolog files in doxygen format and generate a file ready to be used as input by doxygen.
ProDT is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, and to support any standard Prolog implementation. Currently is being supported SWI Prolog, B-Prolog and XSB Prolog
Prosper is a web application development framework to augment Prolog applications with a web interface. It supports control flow in visual logic and promotes a clear separation of model from view.
Fight skyrocketing paid media costs by turning your customers into a primary vehicle for acquisition, awareness, and activation with Extole.
The platform's advanced capabilities ensure companies get the most out of their referral programs. Leverage custom events, profiles, and attributes to enable dynamic, audience-specific referral experiences. Use first-party data to tailor customer segment messaging, rewards, and engagement strategies. Use our flexible APIs to build management capabilities and consumer experiences–headlessly or hybrid. We have all the tools you need to build scalable, secure, and high-performing referral programs.
Extrospective agent program is a software agent architecture extending the well known BDI paradigm. This project is in collaboration with A&A framework by Alessandro Ricci, and Jason agent programming project by Jomi F. Hübner and Rafael H. Bordin.
Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.
JLog is a Prolog interpreter written in Java. It is fast and perfectly suited for education. It includes source editor, query panels, online help, animation primitives, and a GUI debugger. JScriptLog is Prolog in JavaScript.
Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)
A framework for building, deploying and managing well-described REST-ful Web services, including REST-ful Web Services realizations for RSS, XML Topic Maps, Structured Arguments, and Workflow.
The CommGen platform is intended to be a simple, scalable integration platform
for small to medium problem sets. The architecture is simple, consisting of a
distributed kernel, distributed O/S, agent and application layer.
OpenESM project to promote software development of enterprise systems management. Focus areas are (Performance and Availability, Configuration Management, Data Warehousing, Reporting and Correlation).
bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.
8. Mai 2005: We have discontinued SourceForge as a download place for our opensource projects. You can now download these projects directly from the XLOG Technologies GmbH web site at http://www.xlog.ch/omonia.