Search Results for "exploration" - Page 20
Sort By:
Showing 493 open source projects for "exploration"
View related business solutions-
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.
-
$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
T.o.M.E. is a single-player rogue-like dungeon exploration game that runs on a wide variety of computer systems.
-
2
GPLconx is an educational visualization tool that allows exploration of lines and conic sections in three models of 2-D hyperbolic geometry.
-
3
Exploration in Evolutionary Computing, implementing the Traveling Salesman Problem, solving it by creating random solutions and apply random solutions to the survivors of an evaluation/elimination process.
-
4
Imperium - now on github
Imperium is a game of intergalactic conquest and exploration
Imperium is a multi-user networked Empire-like strategy game set in deep space. Features programable ships, inter-player trade, more. There also is a XForms based GUI client, and plans for a Win32 client. GitHub link: https://github.com/fstltna/Imperium -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
An exhaustive exploration of Anarchist (libertarian socialist) theory and practice. It covers all major topics, from the basics of Anarchism to very specific discussions of politics, social organization, and economics.
-
6
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... -
7
DEXEN is a design exploration environment that supports parallelisation of multi-objective design optimisation. http://www.evo-devo-design.net
-
8
Krea 2 Raw
Base Krea image model for LoRA training and fine-tuning
...It supports Diffusers, the official Krea codebase, and SGLang, and it can be used to train LoRAs that are later compatible with Krea 2 Turbo. Krea 2 Raw is intended for image generation, concepting, design exploration, visual production, and creative tool integration under the Krea 2 Community License. -
9
Just a bunch of awesome algorithms. Includes reactive path planning, high-level path planning and exploration algorithms. Software implemented using the Player Robot Server.
-
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
Dragon's Curse
Dragon's Curse Action/Adventure Platform Game
Dragon's Curse is an platform jumping game which contains elements of free exploration and item collection. The player performs metamorphosis in to different forms, such as: human, salamander and mouse-man etc... Source code: https://github.com/phoboz/dragonscurse -
11
Freydis is a fork of the Eirik data exploration application. "Eirik is a tool for exploring large data sets, by using statistical analyses and multiple linked visualizations for data reduction." Freydis will continue Eirik's development.
-
12
The Gate is a crafting/building/exploration and survival game, like minecraft with significantly different goals and ideas. Using C++ and Unity3d, We will attempt to achieve our goals.
-
13
Cinefile
A category-based approach to exploring film data.
Cinefile is a prototype of a category-based method of database exploration. It allows the user to identify abstract categories of films by providing examples of category members, learns to classify films as belonging or not belonging to those categories, and provides a graphical interface for exploring and comparing categories. Cinefile is designed to work with data retrieved from the Internet Movie Database (imdb.com). -
14
A MMORPG game focused around the malleability of a 'sandbox' world. Focused on learning more about living in the real world. Item creation, vast map with natural boundaries. AI systems. Projected to be an educational yet fun game.
-
15
Krea 2 Turbo
Fast 12B image model for high-quality text-to-image generation
...Built on a 12-billion-parameter Diffusion Transformer (DiT), it is a distilled and post-trained version of the Krea 2 Raw checkpoint, enabling photorealistic and artistic image synthesis in as few as eight inference steps. Designed for creative professionals, developers, and researchers, it supports concept art, design exploration, marketing assets, illustrations, and commercial visual production. Unlike the Raw checkpoint, which is intended for fine-tuning and LoRA training, Turbo is optimized for direct inference, delivering native resolutions up to 2K with excellent prompt adherence and broad aesthetic diversity. The model integrates with Diffusers, SGLang, ComfyUI, and other modern inference frameworks, and supports LoRAs trained on the Raw model. -
16
Oshin OS
Arch based OS for mitigating cyber bullying and cyber threats
Welcome to Oshin OS Oshin OS is an Ezarch Linux-based free, safe, and open-source operating system for your kids and yourself that allows you to stay safe in the world of technology without compromising on your daily requirements. Oshin OS will ensure your safety, comfort, accessibility, and exploration opportunities. We offer a secure operating system for everyone in this digital world. Live boot Username: oshin Live boot Password: oshin The source code is hosted on Github: https://github.com/Oshin-OS-Official Download Oshin OS: https://drive.google.com/file/d/1cFGKTIlwpPWbJ_RDEPBxobMRsHDSMDE9/view -
17
Devstral Small 2
Lightweight 24B agentic coding model with vision and long context
Devstral Small 2 is a compact agentic language model designed for software engineering workflows, excelling at tool usage, codebase exploration, and multi-file editing. With 24B parameters and FP8 instruct tuning, it delivers strong instruction following while remaining lightweight enough for local and on-device deployment. The model achieves competitive performance on SWE-bench, validating its effectiveness for real-world coding and automation tasks. It introduces vision capabilities, enabling image understanding alongside text for more versatile development workflows. ... -
18
Devstral 2
Agentic 123B coding model optimized for large-scale engineering
Devstral 2 is a large-scale agentic language model purpose-built for software engineering tasks, excelling at codebase exploration, multi-file editing, and tool-driven automation. With 123B parameters and FP8 instruct tuning, it delivers strong instruction following for chat-based workflows, coding assistants, and autonomous developer agents. The model demonstrates outstanding performance on SWE-bench, validating its effectiveness in real-world engineering scenarios.
