Business Software for F# - Page 3
View:
-
1
Llama 3.2
Meta
The open-source AI model you can fine-tune, distill and deploy anywhere is now available in more versions. Choose from 1B, 3B, 11B or 90B, or continue building with Llama 3.1. Llama 3.2 is a collection of large language models (LLMs) pretrained and fine-tuned in 1B and 3B sizes that are multilingual text only, and 11B and 90B sizes that take both text and image inputs and output text. Develop highly performative and efficient applications from our latest release. Use our 1B or 3B models for on device applications such as summarizing a discussion from your phone or calling on-device tools like calendar. Use our 11B or 90B models for image use cases such as transforming an existing image into something new or getting more information from an image of your surroundings.Starting Price: Free -
2
PaizaCloud
PaizaCloud
On PaizaCloud Cloud IDE, you can operate Linux servers in your browser. You can manage and edit files, run commands, or start a web server/database server, all in a browser alone. You don't need to use troublesome commands to log in, edit files, or upload files anymore. You can operate Linux servers on the cloud just like a computer in front of you. Your new Linux server environment will be set up in just 3 seconds. You can copy an existing server environment, and you can also freely operate multiple Linux servers. Because the new server is set up instantly, you can challenge installing or developing software without worrying about breaking down. All you need is a browser to use your workspace environment from any PC or Mac. You can use the same workspace environment from anywhere without always having to carry the same computer around. For programming schools, coding boot camps, universities, and colleges, students can use the same development environment at school and at home.Starting Price: $9.80 per month -
3
Qwen2.5-Coder
Alibaba
Qwen2.5-Coder-32B-Instruct has become the current SOTA open source code model, matching the coding capabilities of GPT-4o. While demonstrating strong and comprehensive coding abilities, it also possesses good general and mathematical skills. As of now, Qwen2.5-Coder has covered six mainstream model sizes to meet the needs of different developers. We explore the practicality of Qwen2.5-Coder in two scenarios, including code assistants and artifacts, with some examples showcasing the potential applications of Qwen2.5-Coder in real-world scenarios. Qwen2.5-Coder-32B-Instruct, as the flagship model of this open source release, has achieved the best performance among open source models on multiple popular code generation benchmarks and has competitive performance with GPT-4o. Code repair is an important programming skill. Qwen2.5-Coder-32B-Instruct can help users fix errors in their code, making programming more efficient.Starting Price: Free -
4
Llama 3.3
Meta
Llama 3.3 is the latest iteration in the Llama series of language models, developed to push the boundaries of AI-powered understanding and communication. With enhanced contextual reasoning, improved language generation, and advanced fine-tuning capabilities, Llama 3.3 is designed to deliver highly accurate, human-like responses across diverse applications. This version features a larger training dataset, refined algorithms for nuanced comprehension, and reduced biases compared to its predecessors. Llama 3.3 excels in tasks such as natural language understanding, creative writing, technical explanation, and multilingual communication, making it an indispensable tool for businesses, developers, and researchers. Its modular architecture allows for customizable deployment in specialized domains, ensuring versatility and performance at scale.Starting Price: Free -
5
Falcon Mamba 7B
Technology Innovation Institute (TII)
Falcon Mamba 7B is the first open-source State Space Language Model (SSLM), introducing a groundbreaking architecture for Falcon models. Recognized as the top-performing open-source SSLM worldwide by Hugging Face, it sets a new benchmark in AI efficiency. Unlike traditional transformers, SSLMs operate with minimal memory requirements and can generate extended text sequences without additional overhead. Falcon Mamba 7B surpasses leading transformer-based models, including Meta’s Llama 3.1 8B and Mistral’s 7B, showcasing superior performance. This innovation underscores Abu Dhabi’s commitment to advancing AI research and development on a global scale.Starting Price: Free -
6
Mistral Large 2
Mistral AI
Mistral AI has launched the Mistral Large 2, an advanced AI model designed to excel in code generation, multilingual capabilities, and complex reasoning tasks. The model features a 128k context window, supporting dozens of languages including English, French, Spanish, and Arabic, as well as over 80 programming languages. Mistral Large 2 is tailored for high-throughput single-node inference, making it ideal for large-context applications. Its improved performance on benchmarks like MMLU and its enhanced code generation and reasoning abilities ensure accuracy and efficiency. The model also incorporates better function calling and retrieval, supporting complex business applications.Starting Price: Free -
7
Mistral Small 3.1
Mistral
Mistral Small 3.1 is a state-of-the-art, multimodal, and multilingual AI model released under the Apache 2.0 license. Building upon Mistral Small 3, this enhanced version offers improved text performance, and advanced multimodal understanding, and supports an expanded context window of up to 128,000 tokens. It outperforms comparable models like Gemma 3 and GPT-4o Mini, delivering inference speeds of 150 tokens per second. Designed for versatility, Mistral Small 3.1 excels in tasks such as instruction following, conversational assistance, image understanding, and function calling, making it suitable for both enterprise and consumer-grade AI applications. Its lightweight architecture allows it to run efficiently on a single RTX 4090 or a Mac with 32GB RAM, facilitating on-device deployments. It is available for download on Hugging Face, accessible via Mistral AI's developer playground, and integrated into platforms like Google Cloud Vertex AI, with availability on NVIDIA NIM andStarting Price: Free -
8
ML.NET
Microsoft
ML.NET is a free, open source, and cross-platform machine learning framework designed for .NET developers to build custom machine learning models using C# or F# without leaving the .NET ecosystem. It supports various machine learning tasks, including classification, regression, clustering, anomaly detection, and recommendation systems. ML.NET integrates with other popular ML frameworks like TensorFlow and ONNX, enabling additional scenarios such as image classification and object detection. It offers tools like Model Builder and the ML.NET CLI, which utilize Automated Machine Learning (AutoML) to simplify the process of building, training, and deploying high-quality models. These tools automatically explore different algorithms and settings to find the best-performing model for a given scenario.Starting Price: Free -
9
Llama 4 Behemoth
Meta
Llama 4 Behemoth is Meta's most powerful AI model to date, featuring a massive 288 billion active parameters. It excels in multimodal tasks, outperforming previous models like GPT-4.5 and Gemini 2.0 Pro across multiple STEM-focused benchmarks such as MATH-500 and GPQA Diamond. As the teacher model for the Llama 4 series, Behemoth sets the foundation for models like Llama 4 Maverick and Llama 4 Scout. While still in training, Llama 4 Behemoth demonstrates unmatched intelligence, pushing the boundaries of AI in fields like math, multilinguality, and image understanding.Starting Price: Free -
10
Llama 4 Maverick
Meta
Llama 4 Maverick is one of the most advanced multimodal AI models from Meta, featuring 17 billion active parameters and 128 experts. It surpasses its competitors like GPT-4o and Gemini 2.0 Flash in a broad range of benchmarks, especially in tasks related to coding, reasoning, and multilingual capabilities. Llama 4 Maverick combines image and text understanding, enabling it to deliver industry-leading results in image-grounding tasks and precise, high-quality output. With its efficient performance at a reduced parameter size, Maverick offers exceptional value, especially in general assistant and chat applications.Starting Price: Free -
11
Llama 4 Scout
Meta
Llama 4 Scout is a powerful 17 billion active parameter multimodal AI model that excels in both text and image processing. With an industry-leading context length of 10 million tokens, it outperforms its predecessors, including Llama 3, in tasks such as multi-document summarization and parsing large codebases. Llama 4 Scout is designed to handle complex reasoning tasks while maintaining high efficiency, making it perfect for use cases requiring long-context comprehension and image grounding. It offers cutting-edge performance in image-related tasks and is particularly well-suited for applications requiring both text and visual understanding.Starting Price: Free -
12
GPT-4.1
OpenAI
GPT-4.1 is an advanced AI model from OpenAI, designed to enhance performance across key tasks such as coding, instruction following, and long-context comprehension. With a large context window of up to 1 million tokens, GPT-4.1 can process and understand extensive datasets, making it ideal for tasks like software development, document analysis, and AI agent workflows. Available through the API, GPT-4.1 offers significant improvements over previous models, excelling at real-world applications where efficiency and accuracy are crucial.Starting Price: $2 per 1M tokens (input) -
13
Qwen3
Alibaba
Qwen3, the latest iteration of the Qwen family of large language models, introduces groundbreaking features that enhance performance across coding, math, and general capabilities. With models like the Qwen3-235B-A22B and Qwen3-30B-A3B, Qwen3 achieves impressive results compared to top-tier models, thanks to its hybrid thinking modes that allow users to control the balance between deep reasoning and quick responses. The platform supports 119 languages and dialects, making it an ideal choice for global applications. Its pre-training process, which uses 36 trillion tokens, enables robust performance, and advanced reinforcement learning (RL) techniques continue to refine its capabilities. Available on platforms like Hugging Face and ModelScope, Qwen3 offers a powerful tool for developers and researchers working in diverse fields.Starting Price: Free -
14
Mistral Medium 3
Mistral AI
Mistral Medium 3 is a powerful AI model designed to deliver state-of-the-art performance at a fraction of the cost compared to other models. It offers simpler deployment options, allowing for hybrid or on-premises configurations. Mistral Medium 3 excels in professional applications like coding and multimodal understanding, making it ideal for enterprise use. Its low-cost structure makes it highly accessible while maintaining top-tier performance, outperforming many larger models in specific domains.Starting Price: Free -
15
Void Editor
Void Editor
Void is an open source AI code editor and Cursor alternative built as a fork of VS Code, enabling developers to write code with advanced AI assistance while retaining full control over their data. It supports seamless integration with any large language model, such as DeepSeek, Llama, Qwen, Gemini, Claude, and Grok, connecting directly without routing through a private backend. Core features include tab‑triggered autocomplete, inline quick edit, and a versatile AI chat interface offering normal chat, a restricted gather mode for read/search-only tasks, and an agent mode that automates file and folder operations, terminal commands, and MCP tool access. Void delivers high‑performance operations, including fast apply on files with thousands of lines, alongside checkpoint management for model updates, native tool execution, and lint error detection. Developers can transfer all themes, keybindings, and settings from VS Code in one click and host models locally or via the cloud.Starting Price: Free -
16
CodeSession
CodeSession
CodeSession is a collaborative coding interview platform and web‑based IDE that enables real‑time and take‑home technical assessments without any local setup. With support for over 40 programming and scripting languages, interviewers and candidates work together in a shared environment featuring syntax highlighting, auto-formatting, and customizable code templates. The platform also offers live whiteboarding, integrated take‑home test delivery, unlimited user seats, and permanent interview storage at unique links, ensuring that all sessions can be reviewed at any time. Designed for rapid deployment, most teams are ready to start interviewing within 15 minutes of signing up, and no additional infrastructure or external portals are required. CodeSession captures every keystroke and drawing action, streamlining evaluation of problem‑solving skills and code quality.Starting Price: $50 per month -
17
Typora
Typora
Typora gives you a seamless experience as both a reader and a writer. It removes the preview window, mode switcher, syntax symbols of markdown source code, and all other unnecessary distractions. Instead, it provides a real live preview feature to help you concentrate on the content itself. Typora allows you to manage your files easily, providing both file tree panel and articles (file list) side panel, allows you to manage your files easily. Organize your files your way, including putting in sync services, like Dropbox or iCloud. Automatically see the Outline structure of your documents in outline panel, which allows you to quickly go through the document and jump to any section with one click. Export to PDF with bookmarks. Go further and export or import. More formats, including docx, OpenOffice, LaTeX, MediaWiki, Epub, etc, can be exported or imported. See how large your document is in words, characters, lines, or reading minutes. -
18
CodeConvert
CodeConvert
Code conversion is made super simple to save you hours of time from learning a completely new language. With automated code conversion, you don't have to spend hours manually rewriting code in a different language. We use advanced AI models to ensure that your code is converted with the highest accuracy and quality. No need to download or install any software. Simply paste your code and click a button to convert it to your desired language. All our paid plans come with unlimited usage. Convert as much code as you want using our web tool. We take privacy and security seriously. We do not retain the user’s input code and/or the generated output code. You can use our free converter for up to 5 conversions/day without even logging in. For more conversions, please sign in. Every new user gets 10 free credits to try our conversion tool. Users can purchase one of our paid plans for extended usage.Starting Price: $10 per month -
19
Helix Editor
Helix Editor
Helix Editor is a powerful, modern text editor designed for developers seeking a fast, customizable, and efficient editing experience. Built with a focus on productivity, Helix uses a modal editing style inspired by Vim, which allows users to navigate, select, and manipulate text seamlessly through intuitive keyboard shortcuts. It offers a robust set of features including syntax highlighting, multi-caret editing, and support for languages like Rust, Python, and JavaScript. Helix also integrates with the Tree-sitter parsing library for precise syntax-aware editing, making it easier to work with complex code structures. With a minimal interface and a strong focus on performance, Helix Editor provides an ideal environment for programmers who prioritize speed and flexibility in their development workflow.Starting Price: Free -
20
OpenAI o3
OpenAI
OpenAI o3 is an advanced AI model designed to enhance reasoning capabilities by breaking down complex instructions into smaller, more manageable steps. It offers significant improvements over previous AI iterations, excelling in coding tasks, competitive programming, and achieving high scores in mathematics and science benchmarks. Available for widespread use, OpenAI o3 supports advanced AI-driven problem-solving and decision-making processes. The model incorporates deliberative alignment techniques to ensure its responses align with established safety and ethical guidelines, making it a powerful tool for developers, researchers, and enterprises seeking sophisticated AI solutions.Starting Price: $2 per 1 million tokens -
21
SwapCode AI
SwapCode AI
SwapCode AI is a special helper that makes it easy to change one kind of code into another. Imagine if you were playing with blocks, and you wanted to turn a square block into a round one—it does that for code! It helps developers and teams make their code work in new ways without breaking anything. It works with lots of different types of code, like the ones used to make websites, games, and apps. For example, if you have a puzzle piece that fits in a Java puzzle but needs to fit in a Python puzzle, SwapCode AI knows how to reshape it perfectly! It even makes sure the new piece is easy to read and use. SwapCode AI is super smart and fits right into your tools, so you can use it while you’re working without any extra steps. It helps teams work together, even if they’re using different tools or languages.Starting Price: $20/month -
22
Qwen2.5-1M
Alibaba
Qwen2.5-1M is an open-source language model developed by the Qwen team, designed to handle context lengths of up to one million tokens. This release includes two model variants, Qwen2.5-7B-Instruct-1M and Qwen2.5-14B-Instruct-1M, marking the first time Qwen models have been upgraded to support such extensive context lengths. To facilitate efficient deployment, the team has also open-sourced an inference framework based on vLLM, integrated with sparse attention methods, enabling processing of 1M-token inputs with a 3x to 7x speed improvement. Comprehensive technical details, including design insights and ablation experiments, are available in the accompanying technical report.Starting Price: Free -
23
Grok 3 mini
xAI
Grok-3 Mini, crafted by xAI, is an agile and insightful AI companion tailored for users who need quick, yet thorough answers to their questions. This smaller version maintains the essence of the Grok series, offering an external, often humorous perspective on human affairs with a focus on efficiency. Designed for those on the move or with limited resources, Grok-3 Mini delivers the same level of curiosity and helpfulness in a more compact form. It's adept at handling a broad spectrum of questions, providing succinct insights without compromising on depth or accuracy, making it a perfect tool for fast-paced, modern-day inquiries.Starting Price: Free -
24
DeepSeek R2
DeepSeek
DeepSeek R2 is the anticipated successor to DeepSeek R1, a groundbreaking AI reasoning model launched in January 2025 by the Chinese AI startup DeepSeek. Building on R1’s success, which disrupted the AI industry with its cost-effective performance rivaling top-tier models like OpenAI’s o1, R2 promises a quantum leap in capabilities. It is expected to deliver exceptional speed and human-like reasoning, excelling in complex tasks such as advanced coding and high-level mathematical problem-solving. Leveraging DeepSeek’s innovative Mixture-of-Experts architecture and efficient training methods, R2 aims to outperform its predecessor while maintaining a low computational footprint, potentially expanding its reasoning abilities to languages beyond English.Starting Price: Free -
25
Gemma 3
Google
Gemma 3, introduced by Google, is a new AI model built on the Gemini 2.0 architecture, designed to offer enhanced performance and versatility. This model is capable of running efficiently on a single GPU or TPU, making it accessible for a wide range of developers and researchers. Gemma 3 focuses on improving natural language understanding, generation, and other AI-driven tasks. By offering scalable, powerful AI capabilities, Gemma 3 aims to advance the development of AI systems across various industries and use cases.Starting Price: Free -
26
ERNIE 4.5
Baidu
ERNIE 4.5 is a cutting-edge conversational AI platform developed by Baidu, leveraging advanced natural language processing (NLP) models to enable highly sophisticated human-like interactions. The platform is part of Baidu’s ERNIE (Enhanced Representation through Knowledge Integration) series, which integrates multimodal capabilities, including text, image, and voice. ERNIE 4.5 enhances the ability of AI models to understand complex context and deliver more accurate, nuanced responses, making it suitable for various applications, from customer service and virtual assistants to content creation and enterprise-level automation.Starting Price: $0.55 per 1M tokens -
27
ERNIE X1 Turbo
Baidu
ERNIE X1 Turbo, developed by Baidu, is an advanced deep reasoning AI model introduced at the Baidu Create 2025 conference. Designed to handle complex multi-step tasks such as problem-solving, literary creation, and code generation, this model outperforms competitors like DeepSeek R1 in terms of reasoning abilities. With a focus on multimodal capabilities, ERNIE X1 Turbo supports text, audio, and image processing, making it an incredibly versatile AI solution. Despite its cutting-edge technology, it is priced at just a fraction of the cost of other top-tier models, offering a high-value solution for businesses and developers.Starting Price: $0.14 per 1M tokens -
28
Gemini 2.5 Pro Preview (I/O Edition) by Google is an advanced AI model designed to streamline coding tasks and enhance web app development. This powerful tool allows developers to efficiently transform and edit code, reducing errors and improving function calling accuracy. With enhanced capabilities in video understanding and web app creation, Gemini 2.5 Pro Preview excels at building aesthetically pleasing and functional web applications. Available through Google’s Gemini API and AI platforms, this model provides a seamless solution for developers to create innovative applications with improved performance and reliability.Starting Price: $19.99/month
-
29
Sonatype Nexus Repository
Sonatype
Sonatype Nexus Repository is a robust binary repository manager designed to store, manage, and distribute open-source components, dependencies, and artifacts across the software development lifecycle (SDLC). It supports over 20 formats, including Maven, npm, PyPI, and Docker, allowing for seamless integration with build tools and CI/CD pipelines. With advanced features like high availability, disaster recovery, and scalability across cloud platforms, Nexus Repository ensures secure and efficient management of your software artifacts. The platform enhances collaboration, automates workflows, and improves visibility into your software supply chain, helping teams manage dependencies and improve software quality. -
30
Eclipse Che
Eclipse Che
Eclipse Che makes Kubernetes development accessible for developer teams, providing one-click developer workspaces and eliminating local environment configuration for your entire team. Che brings your Kubernetes application into your development environment and provides an in-browser IDE, allowing you to code, build, test and run applications exactly as they run on production from any machine. Eclipse Che runs in containers. All of the developer tools, the IDE and its plugins are running as containerized services. You don’t have to worry about how to configure them, install their dependencies or keeping them alive - everything is packaged together in the container. Che allows you to establish a centralized configuration for your team’s development environment and technology stacks. Eclipse Che comes with a web-based IDE, based on Eclipse Theia which provides an in-browser VSCode experience complete with the latest tooling protocols.