Search Results for "user mode linux" - Page 4
Sort By:
Showing 115 open source projects for "user mode linux"
View related business solutions-
Chat with your business data with Looker. More than just a modern business intelligence platform, you can turn to Looker for self-service or governed BI, build your own custom applications with trusted metrics, or even bring Looker modeling to your existing BI environment.
-
BrightGauge, a ConnectWise solution, was started in 2011 to fill a missing need in the small-to-medium IT Services industry: a better way to manage data and provide the value of work to clients. BrightGauge Software allows you to display all of your important business metrics in one place through the use of gauges, dashboards, and client reports. Used by more than 1,800 companies worldwide, BrightGauge integrates with popular business solutions on the market, like ConnectWise, Continuum, Webroot, QuickBooks, Datto, IT Glue, Zendesk, Harvest, Smileback, and so many more. Dig deeper into your data by adding, subtracting, multiplying, and dividing one metric against another. BrightGauge automatically computes these formulas for you. Want to show your prospects how quick you are to respond to tickets? Show off your data with embeddable gauges on public sites.
-
1
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.
-
2
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.
-
3
-
4
8. Mai 2005: We have discontinued SourceForge as a download place for our open source projects. You can now download these projects directly from the XLOG Technologies GmbH web site at http://www.xlog.ch/omonia.
-
ConnectWise CPQ, formerly ConnectWise Sell, is a professional quote and proposal automation software for IT solution providers. ConnectWise CPQ offers a wide range of tools that enables IT solution providers to save time, quote more, and win big. Top features include professional quote or proposal templates, product catalog and sourcing, workflow automation, sales reporting, and integrations with best-in-breed solutions like Cisco, Dell, HP, and Salesforce.
-
5
Ignite is used to optimize the distribution of a given group of files whithin the smallest possible number medias (of any kind). Ignite is highly configurable and has a lot of options (using user-defined commands to burn the medias is only one of them).
-
6
Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.
-
7
PWIG is a SWIG extension that allows new language modules to be developed on Python. Includes a PWIG wrapper generator for SWI-Prolog and Logtalk.
-
8
-
9
-
The only software you need to increase cash flow, optimize resource utilization, and take control of your assets and inventory.
-
10
-
11
PrologDoc is a small Prolog tool to document your Prolog applications, much like the better-known Javadoc does for Java. Its aim is to be simple but useful and freely usable.
-
12
Migma intends to help teachers to get several different multiple-choice exams based on the users original. This command line program quickly generates a number of different new tests (and their respective answer sheets).
-
13
This project collects the classical "Towers of Hanoi" problem in many programming languages, including lesser known and/or esoteric ones.
-
14
HiTacWar Hierachical Tactical Warfare Game Engine which depends on freecnc. Main Points are KI Based Commando Structures, Electronic Warfare, Research and Shadow Structs and Shadow Armies.
-
15
A file-manager/desktop-environment which enables users to specify any kind of action in a uniform way, with an AI that helps you by hiding the useless options. It features a completely new user interaction paradigm called "reciprocal list narrowing".
-
16
Multiplatform (MUltiple Language / Target Integration PLATform FOR Modules) implements a unified integration platform for multiple modules written in multiple languages (C, C++, Prolog, Java) and multiple target platforms (GNU/Linux, Solaris, Windows).
-
17
The SLIE agent modelling software allows researchers in MAS (Multi-Agent Systems) to build simulations of MASes with a view to exploring design problems relating to scalability and robustness using techniques from ecology, biology and economics.
-
18
Implemented in Flora-2/XSB, F-OWL is an inference engine for the standard Web Ontology Language OWL. A set of Java API is provided for applications to assert and query OWL ontology statements.
-
19
HyperSpider (Java app) collects the link structure of a website. Data import/export from/to database and CSV-files. Export to Graphviz DOT, Resource Description Framework (RDF/DC), XML Topic Maps (XTM), Prolog, HTML. Visualization as hierarchy and map.
-
20
A language named after Sven (The AI in the book \'The Turing Option\'), intended to simplify work on AI. Will (eventually) include librarys for Neural Networks, expert systems, symbolic logic, and more.
-
21
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
-
22
The RoboLog Soccer Library is a project to provide a library for RoboCup Simulation League clients. RoboLog can be used as an interface from Soccer Server to both C and Prolog.
-
23
A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
-
24
icx is a tool for 3D Diagrammatic Interaction (3DI). Via internet socket it gives a client application means of 3DI with a user. It also serves users as a 3D diagram editor. Prolog fact syntax helps it serve both Prolog and conventional applications.
-
25
Mercury is a modern logic/functional programming language. The Mercury system includes a compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor of logic programming languages such as Prolog.