BigQuery automates data prep, analysis, and predictions with built-in AI assistance.
Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
Try Free
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
JEFF (Java Explanation Facility Framework) can be used with other Java-based (business) rule engines, expert systems and expert system shells in order to provide an explanation of the inference process.
Code Replicator is a general purpose interactive programmer's tool for creating large blocks of similar code from list(s) of variables.
It uses case inference to detect common programming patterns.
It can create stupid code faster than you!
Loid is used to work with Java and Objective-C to simplify data exchange bindings. Loid can generate meta-information available at run-time. Requesting clients or applications can inference on the meta-information for data binding.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
MentalLink is a mapping tool for converting objects in instances of an ontology. This framework ease the translation of objects of an application in ontology-based systens to make inference based on the ontology rules.
This is a framework for the creation of dynamic scripting languages on the .NET platform. Static typing, type inference, and true derivation from .NET classes are also planned. Two projects built on this are Boa and NetLisp. It is a work in progress.
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.
RuleWorks is a rules-based application development tool providing the convenience of cross-platform development combined with one of the most powerful high level rules-based languages and fastest inference engine.
The Prolog Expert System Shell (PESS) is a software that generates ES using basically two components: Knowledge Base, used by the ES to guide its decisions making, and Inference Machine, cable of collection the rules and generating new facts.
...It allows you to create simple static networks as well as complex temporal models with changing structure.
It can handle highly non-linear dependencies between multivariate random variables. The particle based inference can answer arbitrary questions given the provided evidence and can even cope with multimodal densities. The library supports the most common types of densities and conditional densities, like uniform or normal densities and facilitates user defined density functions.
To enable easy use the library is taking account of modern development techniques like policy based design and template programming.
...
Stalin is an aggressive optimizing batch whole-program Scheme compiler. It uses advanced flow analysis and type inference and a variety of other optimization techniques to produce code (using C as an intermediate language) that is extremely fast.