Search Results for "spark" - Page 6
Sort By:
Showing 141 open source projects for "spark"
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.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
A scripting language and reference implementation to allow command line tools to be chained into complex parallel workflows.
-
2
The GNAT GPL and SPARK GPL Editions are made available to the free software developers by AdaCore. They are not intended for professional development, and AdaCore makes NO WARRANTY on them.
-
3
Very simple and stable C++ game framework. This is the base of a new game engine based on the irrlicht rendering engine. Every feature can be easily removed if unwanted. Look features at project homepage. IrrSolid does not work on 64 bit systems
-
4
ParabolaEngine is a 2D Game Engine under zlib license. It uses a lot of middleware to provide a lot of features that would be impossible otherwise. http://parabolaengine.comlu.com/ Active developed, in early stages. Free to use for all purposes.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
This project is for the original version, based on Flex 3 Halo. For the new, Spark based version, please visit https://github.com/codeengine/Oxygen as the original version is no longer publicly supported by codeengine
-
6
SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
-
7
A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
-
8
This is the Spark Engine. Right now I'm working on making the Engine before I make the model/world editor. And from there, I intend to make a flow-chart logic editor.
-
9
Spark plugin for integratión with CentricCRM. This plugin for Spark XMPP client complements the integration between Asterisk PBX, Centric CRM and XMPP Server. Automatically open session on Centric CRM and redirect to contact the page
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
10
Spark is an s-expression-based language (like Lisp or Scheme) that will be built to be closer to the hardware (like C).
-
11
Python framework for developing distributed web applications. Composed by a webserver and a number of registered applications, each handling an url family (www.foo.com/*). The applications can run on the same server or on other servers.
-
12
BlueSpark develops 3D games/software for the Linux Platform. Current projects include the eKlipse library, which is a development kit that includes premade classes for several simple and complex tasks. Future projects(games) have already been planned.
-
13
The EFI332 project is a public domain development with the goal of developing a complete engine control system including fuel injection and spark control. This SourceForge based project is a companion to EFI332 to help focus the software development.
-
14
Nemotron 3.5 Lightning
Efficient 30B MoE model for long-running agents and local inference
...The model can run on a single DGX Spark or H100 and integrates with inference frameworks including vLLM. -
15
Ling 3.0 Tiny
Lightweight MoE model for local reasoning, coding, and AI agents
...The model supports both fast responses and configurable multi-step thinking, covering general agents, coding, mathematics, scientific reasoning, and instruction following. It is specifically optimized for local and resource-constrained deployment and has been validated on NVIDIA DGX Spark, Apple Silicon MacBooks, and Mac mini systems. FP8 testing reached around 100–105 tokens/s on DGX Spark and 86–90 tokens/s on an M4 Pro MacBook. BF16, FP8, and INT4 weights are available, while deployment options include SGLang, vLLM, and experimental Ollama support on Apple Silicon. -
16
Muse Glimmer
Local multimodal 30B model for autonomous agents, coding, and tools
Muse Glimmer-30B is Meta Superintelligence Lab’s open-weight multimodal model built specifically for autonomous agentic tasks on consumer hardware. Distilled from the larger Muse Spark, it combines multi-step reasoning, reliable tool use, coding, failure recovery, and image understanding in a dense 29.6B-parameter architecture with a dedicated 1.8B-parameter perception encoder. It supports more than 100 languages and a 131K+ token context window, allowing agents to maintain coherent plans across extended workflows. ...
