Search Results for "linux software development" - Page 27

Jacomma is a framework for developing network-aware reactive information agents, using the ICM agent communication infrastructure. It offers transparent ICM bindings for java, and includes a lightweight agent execution environment.

...The collection reflects an evolution toward hybrid mixture-of-experts architectures that dynamically activate subsets of parameters during inference, allowing large models to remain computationally efficient. Mistral Small 4 models are built to handle tasks such as conversational AI, software development assistance, and reasoning-heavy problem solving, making them versatile tools for both developers and enterprise applications.

Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction...

Generic engine to filter information. We wish to show that the power of expression of a filter makes it possible to appreciably reduce the size of the code necessary to extract information and that it is possible in Python.

Clipper is a Python based Shell and Debugger for the CLIPS Expert System (see http://clipsrules.sourceforge.net/). It is currently build on pyGTK and pyCLIPS.

Provides a voice interface for applications via a plug in system. Allows the inclusion of voice recognition in an application with a minimum of effort.

Top Engine the Semantic Web Engine for the Enterprise. Top Engine is a Business Rule Engine that utilize OWL DL ontologies for vocabulary primitive to write rules on top of ontology. Top Engine support forward and backward chaining with truth maintenance

a distributed engine for abstract neural network development via natural-language programming

Monk is an open source low code programming environment to reduce the cognitive load faced by entry level programmers while catering to the needs of Expert Deep Learning engineers. There are three libraries in this opensource set. - Monk Classiciation- https://monkai.org. A Unified wrapper over major deep learning frameworks. Our core focus area is at the intersection of Computer Vision and Deep Learning algorithms. - Monk Object Detection -...