Search Results for "moodle-4" - Page 10

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.

pRobot is something like Pokémon for computer scientists. Each player creates a computer program, a so-called pRobot. Then all the pRobots are thrown into a virtual arena, the war-ground. Within that arena they can walk, reproduce, and fight.

The Mistral Small 4 collection is a set of open-weight large language models developed by Mistral AI that aim to unify multiple capabilities, including instruction following, reasoning, and coding, within a single efficient architecture. These models are part of the broader Mistral Small family, which is designed to deliver strong performance across a wide range of everyday AI tasks while maintaining relatively low latency and efficient deployment requirements.

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 within large language models, targeting domains that require strict correctness and logical rigor rather than general conversational tasks. ...

webXcreta users natural language processing to create grammatical averages of textual communication and then generate original content based on these statistics.

Our mission is to lead the way in AI journalism by providing completely neutral and unbiased news articles that can be governed by the public. NewsNotFound is a news website located at https://newsnotfound.com. We want to build the most unbiased news platform on the internet.

This repo is built to collect multiple implementations for abstractive approaches to address text summarization it is built to simply run on google colab , in one notebook so you would only need an internet connection to run these examples without the need to have a powerful machine , so all the code examples would be in a jupyter format , and you don't have to download data to your device as we connect these jupyter notebooks to google drive

ExoPlanet provides a graphical interface for the construction, evaluation and application of a Machine Learning model in predictive analysis. With the back-end built using the numpy and scikit-learn libraries, as a toolkit, ExoPlanet couples fast and well tested algorithms, a UI designed over the Qt4 framework, and graphs rendered using Matplotlib to provide the user with a rich interface, rapid analytics and interactive visuals. ExoPlanet is designed to have a minimal learning curve,...

Mellum-4b-base is JetBrains’ first open-source large language model designed and optimized for code-related tasks. Built with 4 billion parameters and a LLaMA-style architecture, it was trained on over 4.2 trillion tokens across multiple programming languages, including datasets such as The Stack, StarCoder, and CommitPack. With a context window of 8,192 tokens, it excels at code completion, fill-in-the-middle tasks, and intelligent code suggestions for professional developer tools and IDEs. ...