Snagit’s image and video capture is powerful, but not complex. All-in-One Capture® grabs your entire desktop, a region, a window, or a scrolling window from any webpage or application—-all with a single hotkey or click. Snagit gives you a simple way to edit. Show a complex process, give detailed feedback, or share important information with the people who need it most. Download your free trial now!Advertisement
- 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....25 weekly downloads
Garnet Common Lisp GUI Library4 weekly downloads
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.
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, ...