Search Results for "ghost 4 linux"
Sort By:
Showing 8 open source projects for "ghost 4 linux"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
2
-
3
PrechacThis is a web-based siteswap generator for jugglers. It finds all symmetric passing patterns fulfilling given constraints like period-length and maximum height of throws.
-
4
DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
OpenSHORE is an XML based Semantic Document Repository (SDR) with a free definable meta model that builds up a semantic network from sections and relations in documents. The acronym SHORE means Semantic Hypertext Object Repository.
-
6
Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.
-
7
Dali is a standard DAta structure LIbrary for Prolog. It only uses ISO Prolog. It offers a wide range of efficient data structures.
-
8
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
- Previous
- You're on page 1
- Next
