Search Results for "problem a" - Page 71
Sort By:
Showing 1767 open source projects for "problem a"
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.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
serial-information-logger
This scrapes information; giving you PC and Monitor manufacturer data.
This projected was created to help IT professionals pull workstation information from their internal networks and upload the information to a specified database. Problem: Auditing IT assets manually takes weeks to log the individual information by hand. Solution: Capture the data over the network and store it for reports. -
2
AceJudge is a system for managing programming contests. AceJudge's basic features include automatic judging of submitted programs, answering to clarification questions about problem descriptions, reevaluation of programs, real time ranking etc.
-
3
A contest control system fashioned after the famous CSUS PC^2 System. This system is designed to facilitate distributed problem submission and judging; as well as clarification & appeals (both requests and responses), and other contest hosting logistics
-
4
QwQ-32B
QwQ-32B is a reasoning-focused language model for complex tasks
QwQ-32B is a 32.8 billion parameter reasoning-optimized language model developed by Qwen as part of the Qwen2.5 family, designed to outperform conventional instruction-tuned models on complex tasks. Built with RoPE positional encoding, SwiGLU activations, RMSNorm, and Attention QKV bias, it excels in multi-turn conversation and long-form reasoning. It supports an extended context length of up to 131,072 tokens and incorporates supervised fine-tuning and reinforcement learning for enhanced... -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
cnatural
Remote control for embbeded systems
...CNatural is a remote desktop for embbeded systems and IoT boards without running a real desktop on the host platform, this makes CNatural more efficient than other remote desktop managers. Because all rendering and applications runs on the client's web browser, the host board will run fast as usual. This was a problem with the original target of the project: the Intel® Galileo board, which when used with a desktop and a remote desktop manager gets slow and becomes unusable. CNatural is a text-server with a graphical front-end, this means that the host board will never need to render anything. -
6
videonetwork
A simulator for self-organizing video replication and more
Multimedia consumption at social events - if available - can be considered as a complex problem. People use their smart phones and tablets to take pictures and videos, leading to a high number of production places. If we enable those visitors to share their content at the event, new challenges emerge. Visitors move, go online and offline, and build a dynamic network. One can say a complex adaptive network emerges, with all its problems. -
7
Firefly's Clean Lzo
A human-readable ISC-Licensed implementation of the LZO1X algorithm.
LZO is a compression library which is widely used around the world. The main problem with LZO is that it is absolutely not human readable. People have done crazy stuff to get LZO to run in their language. Usually it implies inline assembly or trying to execute data which actually contains machine code. This is sick. Whoever is responsible for this sorry situation ought to be ashamed. So I'm going to deobfuscate LZO and provide a ISC implementation of this algorithm in Python and C. ... -
8
ZAYA1-8B
Efficient MoE reasoning model for coding and math workloads
...The model contains 8.4B total parameters with around 760M active during inference, allowing it to achieve strong reasoning, mathematics, and coding performance while remaining lightweight enough for efficient local or on-device deployment. ZAYA1-8B is optimized for long-form reasoning and test-time compute workflows, making it particularly effective for mathematical problem solving, coding tasks, and advanced reasoning chains. It introduces architectural innovations such as Compressed Convolutional Attention, a novel MLP-based expert router, and learned residual scaling to improve routing stability and inference efficiency. The model was trained entirely on AMD infrastructure and refined through supervised fine-tuning and multi-stage reinforcement learning focused on reasoning and coding. -
9
MiniMax-M2.7
Self-evolving AI model for agents, coding, and complex workflows
...M2.7 excels in real-world engineering scenarios, including debugging, log analysis, system monitoring, and root cause investigation, demonstrating strong system-level reasoning comparable to SRE workflows. It also supports multi-agent collaboration through Agent Teams, allowing coordinated problem-solving across roles. Beyond engineering, it handles structured document editing (Word, Excel, PowerPoint) with high fidelity and maintains strong performance. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
The Pianist Box
High quality real-time MIDI sound source for the pianist
...Commercial products either cost premium (e.g. USD5000 for a digital piano), low performance (e.g. 64 polyphony) and limited sounds (e.g. 128 non-replaceable instruments). The Pianist Box overcome these problem by highly optimizing open source system for a limited set of hardware. -
11
RumbleDown
Unifying communication flows to one point
...Don not forget: in the future some sort of encryption will be called upon to protect user data and privacy. At that time we will have to address the necessary controls issues. For the start up that will not be a problem. The sooner we get to having to cross that bridge, the better. -
12
DeepSeek-V4-Pro
Flagship MoE model for advanced reasoning, coding, and agents
DeepSeek-V4-Pro is a flagship open-weight Mixture-of-Experts language model designed for high-performance reasoning, coding, and agent-based workflows at scale. It features approximately 1.6 trillion total parameters with around 49B activated during inference, enabling strong efficiency while maintaining frontier-level capability. The model supports an ultra-long context window of up to 1 million tokens, making it highly suitable for long-document reasoning, large codebases, and complex... -
13
DeepSeek-V3.2-Speciale
High-compute ultra-reasoning model surpassing model surpassing GPT-5
...The model uses a scaled reinforcement learning framework that allows it to surpass GPT-5 in several evaluations and reach reasoning performance comparable to Gemini-3.0-Pro. DeepSeek-V3.2-Speciale contributed to gold-medal solutions in the 2025 IMO, IOI, ICPC World Finals, and CMO, demonstrating its ability to handle elite-level problem solving. It is released under the MIT license and includes curated benchmark solutions for community verification and analysis. -
14
DeepSeek-V3.2
High-efficiency reasoning and agentic intelligence model
...DeepSeek-V3.2 also features a large-scale agentic task synthesis pipeline, which generates training data to enhance tool-use intelligence and multi-step reasoning. It introduces a new “thinking with tools” chat template, allowing it to reason and decide when to invoke specific tools during problem solving. -
15
Ministral 3 14B Reasoning 2512
High-precision 14B multimodal model built for advanced reasoning tasks
...It pairs a 13.5B-parameter language model with a 0.4B vision encoder, enabling strong multimodal reasoning across both text and images. This version is specifically post-trained for reasoning tasks, making it highly effective for math, coding, STEM workloads, and complex multi-step problem-solving. Despite its scale, the model is engineered for practical deployment and can run locally on 32GB of VRAM in BF16 or under 24GB when quantized. It maintains robust system-prompt adherence, supports dozens of languages, and provides native function calling with clean JSON output for agentic workflows. The model's architecture also delivers a 256k context window, unlocking large-document analysis and long-form reasoning. -
16
Ministral 3 3B Reasoning 2512
Compact 3B-param multimodal model for efficient on-device reasoning
...It pairs a 3.4B-parameter language model with a 0.4B-parameter vision encoder, enabling it to understand both text and image inputs. This reasoning-tuned variant is optimized for tasks like math, coding, and other STEM-related problem solving, making it suitable for applications that require logical reasoning, analysis, or structured thinking. Despite its modest size, the model is designed for edge deployment and can run locally, fitting in ~16 GB of VRAM in BF16 or under 8 GB of RAM/VRAM when quantized. It supports dozens of languages, allowing it to function across global and multilingual contexts. ... -
17
lastest
AI-supported visual verification and tests you can actually trust.
...Built for solo founders, devs doing QA without a QA team, and SaaS teams that need an Applitools-class alternative without the $699+/mo invoice or the data-exfiltration problem.
