Search Results for "coding" - Page 11
Sort By:
Showing 267 open source projects for "coding"
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
GP2Exe makes .exe files from Python scripts. But it isn\'t like those complicated programs availble, where coding is not important but essential: it has a stable, fast, user-friendly and intuitive GUI to make things as easy as they can be.
-
2
Moebius is a mud server, written in python using (currently) MySQL as a back-end. It's design goals are to be extensible without taking the engine down, to be distributable via the database, and to allow a complete python coding/learning env online. It
-
3
-
4
Mistral Small 4
Model that fuses instruct, reasoning and agentic skills
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. 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. ... -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
Leanstral
Open-source code agent designed for Lean 4
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... -
6
Nemotron 3 Nano
LL model providing reasoning and conversational capabilities
...This architecture allows the system to maintain strong reasoning capabilities while improving throughput and reducing the computational cost associated with large context processing. The model is designed as a general-purpose language system capable of handling tasks such as chat interaction, coding assistance, document analysis, and instruction following. -
7
Nemotron 3 Super
Open language model developed by NVIDIA as part of Nemotron-3 family
...Its architecture combines Transformer attention layers with Mamba state-space components to balance long-context reasoning, memory efficiency, and high-quality language generation. The model is optimized for building AI agents that must perform complex tasks such as planning, tool usage, coding assistance, and multi-step reasoning. -
8
Auto-Typer-Zer0
Only Auto Typer with Text and Code typing modes to ensure perfection.
AutoTyper Zer0 - V1.0 --------------------------------- Auto Typer with Typing and Coding modes, for coding homework, and other miscellaneous uses: - Text Typing Mode: Automate plain text input seamlessly. - Code Typing Mode: Supports Python, Java, and C/C++ with options to remove comments and fix indentation. - Super Speed Mode: Type up to 100 lines in under 10 seconds. Customizable Speed & Dark Theme UI: Adjust typing speed and enjoy an aesthetic interface... -
9
CodingChecker
A coding style checker tool support C/C++ syntax
This project provide a framework for general coding style checker's process: 1, Support different adapter plugin for different programming language syntax 2, Support incremental scanning 3, Support customize criteria rules. 4, Generate report for scanning result. A C/C++ adapter was also implemented based on clang library as example. -
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
timekeeping software, tiny and speedy. HAVE NO FUNCTIONALITY YET, DO NOT TRY, ONLY IF YOU WANT HELP ME CODING OR REVIEW.
-
11
LabScripts
Everson Lab Script Coding
Collection of homebrewed scripts for controlling jobs on our University's SGE cluster. Some of these scripts will make use of hpc-sjm. -
12
CodingDojo
Personal Coding Dojo, for several technologies.
CodingDojo to learn, explore, practice and test technologies. Along with CodingKatas there are also challenges. The main purpose of this project is to register and drive software craftsmanship and polyglot programming even further. -
13
XML2TXT
Template-driven XML to TXT converter for Windows.
XML_2_TXT Extractor is a lightweight Windows tool that converts XML files into structured TXT/CSV outputs using simple templates — no coding required. Perfect for processing XML exports from ERP systems, suppliers, or data feeds where you need to quickly extract values into a readable format. 👉 Full version, examples and updates: https://martan1484.github.io/XML2TXT/ -
14
cosmos
Algorithms that run our universe | Your personal library of every algo
...This provides solutions in various languages spanning C, C++, Java, JavaScript, Swift, Python, Go and others. This work is maintained by a community of hundreds of people and is a massive collaborative effort to bring the readily available coding knowledge offline. -
15
Schulwerkzeug
Tool to administrate pupils, marks, reports and more.
...If you think, however, that this project is worth a donation, please feel free to do so by clicking on my account link. Then you can leave a donation to buy me a beer and/or tremendously help pushing this project forward. Help through testing and helpful commenting or even coding is also warmly welcome. If you'd like to join the project feel free to contact me. -
16
PHOBOS
Parallel Heterogeneous OBject Store
PHOBOS implements a high performance storage solution on various storage backends, including tape libraries. It is fully based on open-source standards, open data formats and protocols, which avoids vendor locking of your data. -
17
Mellum-4b-base
JetBrains’ 4B parameter code model for completions
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....
