Search Results for "gnu operating system" - Page 2
Sort By:
Showing 54 open source projects for "gnu operating system"
View related business solutions-
Our Free Plans just got better! | Auth0You 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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
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.
-
2
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.
-
3
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.
-
4
The TNCES Workbench enables you to calculate and analyse the reachability and dynamic graph, to draw trajectories and to translate IEC 61499 FBs into discrete timed Net Condtion/Event Systems
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
5
-
6
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)
-
7
An agent-based dialogue management system that maintains a probabilistic nested belief model and uses it in the choice of dialogue strategies
-
8
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
-
9
GNU Prolog API for distributed multithreading programming built on top of the PM2 environment. The thread management is made with a user-level multithreading library and communication is made on top of Madeleine, the communication subsystem of PM2.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
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.
-
11
OpenESM project to promote software development of enterprise systems management. Focus areas are (Performance and Availability, Configuration Management, Data Warehousing, Reporting and Correlation).
-
12
-
13
IISA - Intelligent Interface to Sequence Analysis is an expert system for biological sequence analysis using Bioperl and Prolog.
-
14
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).
-
15
PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledge base for a defeasible reasoning system.
-
16
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).
-
17
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.
-
18
-
19
-
20
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.
-
21
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).
-
22
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.
-
23
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.
-
24
The IMAGO (Intelligent Mobile Agent Gliding On-line) system is a platform used to develop and deploy Prolog based Mobile Agents.
-
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.
