Easily access more than 100,000 products and tools with our robust search engine. Manage your entire IT lifecycle from purchase to renewal all in one place — so you can get more done faster.Sponsored Listing
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
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....6 weekly downloads
Garnet Common Lisp GUI Library
JazzScheme is a programming language based on Scheme. It is also a full featured development platform that has been used for more than 10 years to develop high-quality commercial applications.
You’ve likely added a tool to fix one problem and then a different tool to fix another problem. Pretty soon you have multiple instances of the same tool, different tools with overlapping functionality, no ability to collaborate across teams—all resulting in unknown bottlenecks and complicated or no reporting. As a DevOps leader, it’s up to you to balance the autonomy and flexibility of a DevOps approach. But how?Sponsored Listing
This project provides a tool for representing knowledge about business processes in two dimensions – parts and types. It is part of the MIT Open Process Handbook Initiative.
Open Source software that I have developed or maintained.
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...