216,000+ customers in over 135 countries grow their businesses with HubSpot
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
HRSoft is the only unified, purpose-built SaaS platform designed to transform your complex HR processes into seamless digital ones
Manage your enterprise’s compensation lifecycle and accurately recognize top performers with a digitized, integrated system. Keep employees invested and your HR team in control while preventing compensation chaos.
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.
Raise the bar for remote support and reduce customer downtime.
ConnectWise ScreenConnect, formerly ConnectWise Control, is a remote support solution for Managed Service Providers (MSP), Value Added Resellers (VAR), internal IT teams, and managed security providers. Fast, reliable, secure, and simple to use, ConnectWise ScreenConnect helps businesses solve their customers' issues faster from any location. The platform features remote support, remote access, remote meeting, customization, and integrations with leading business tools.
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.
GGPrayer is an AI capable of playing any game described in the GameDescriptionLanguage defined in http://games.stanford.edu/.It uses Java to communicate to the gameserver and Prolog for reasoning. Info: http://bruno-wp.blogspot.com/search/label/Software
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 PeerTrust system uses policies to describe trust and security requirements. Such policies are a component of Peertrust run-time system that can negotiate to establish trust among systems on the Semantic Web
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.
This project implements calculations for Canadian tax returns as a set of Prolog facts and rules. Initial implementation is in SWI-Prolog on Linux; should also work with other Prolog implementations such as GNU Prolog, across any supported platform.
The Rule Based Service Level Agreement (RBSLA) project focuses on knowledge representation concepts for service level management of IT services. At the core are rule-based languages to describe contracts and service level agreements in a formal way.
OpenESM project to promote software development of enterprise systems management. Focus areas are (Performance and Availability, Configuration Management, Data Warehousing, Reporting and Correlation).
This project will provide an interface for using Lightweight Communications Calculus (LCC) to control agents in the Unreal Tournament enviroment. It consists of a prolog-style interperter, LCC parser/IDE,a GUI / LCC editor and interfaces to the Gamebots
Mopsos is a word prediction framework, intended to aid research and development regarding inter- and next-word prediction algorithms by providing a standarized environment to facilitate testing and ranking.
The Semantic Web Service Composer is a prototyp for semi-automatic data flow design between Semantic Web services described in different domain ontologies. More info: http://citeseer.ist.psu.edu/viewdoc/versions?doi=10.1.1.60.9276
A Prolog expert system supporting querying and extending the knowledge base from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills).
Generic Roster Generator. GRoG automates the process, often complex and error prone, that every boardgames and wargames player knows very well: the construction of rosters.