Open Source Linux Software Development Software - Page 17
Sort By:
Software Development Software for Linux
View 1273 business solutions-
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.
-
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.
-
1
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform. -
2
NPM
A package manager for JavaScript
Npm (originally short for Node Package Manager) is a package manager for the JavaScript programming language. It is the default package manager for the JavaScript runtime environment Node.js. It consists of a command line client, also called npm, and an online database of public and paid-for private packages, called the npm registry. -
3
OpenPose
Real-time multi-person keypoint detection library for body, face, etc.
OpenPose has represented the first real-time multi-person system to jointly detect human body, hand, facial, and foot keypoints (in total 135 keypoints) on single images. It is authored by Ginés Hidalgo, Zhe Cao, Tomas Simon, Shih-En Wei, Yaadhav Raaj, Hanbyul Joo, and Yaser Sheikh. It is maintained by Ginés Hidalgo and Yaadhav Raaj. OpenPose would not be possible without the CMU Panoptic Studio dataset. We would also like to thank all the people who has helped OpenPose in any way. 15, 18 or 25-keypoint body/foot keypoint estimation, including 6 foot keypoints. Runtime invariant to number of detected people. 2x21-keypoint hand keypoint estimation. Runtime depends on number of detected people. 70-keypoint face keypoint estimation. Runtime depends on number of detected people. Input: Image, video, webcam, Flir/Point Grey, IP camera, and support to add your own custom input source (e.g., depth camera). -
4
Windows 11 Guide
Windows Security tools, Encryption, Nextcloud, Graphics, Gaming
Windows 11 Guide is a comprehensive, single-repository handbook for setting up and tuning a Windows 11 (and often Windows 10) desktop for real day-to-day use, covering everything from basic configuration to advanced development and gaming scenarios. It walks users through installing essential applications, configuring Windows security tools, setting up encryption and backups, and integrating productivity services like Nextcloud. The guide also dives into graphics and gaming optimizations, making it useful for both casual users and power users who want better performance and stability. For developers and technical users, it includes sections on virtualization, containers, and Windows Subsystem for Linux (WSL2), showing how to build a capable dev environment on top of Windows. The content is maintained in markdown so it is easy to read on GitHub or convert into other formats like PDF, and it is structured with clear headings so you can jump directly to the section you need. -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
Yarn
Fast, Reliable, And Secure Dependency Management
Yarn is a package manager for your code. It allows you to use and share code with other developers from around the world. Yarn does this quickly, securely, and reliably so you don’t ever have to worry. Yarn allows you to use other developers’ solutions to different problems, making it easier for you to develop your software. If you have problems, you can report issues or contribute back, and when the problem is fixed, you can use Yarn to keep it all up to date. -
6
dotnet sdk
Core functionality needed to create .NET Core projects
Core functionality needed to create .NET Core projects, that is shared between Visual Studio and CLI. There are no fees or licensing costs, including for commercial use. .NET is open-source and cross-platform, with free development tools for Windows, Linux, and macOS. .NET is supported by Microsoft. Microsoft ships official releases that are built and tested on Microsoft-maintained servers in Azure and supported just like any Microsoft product. .NET is open source and we are very thankful for the many contributions it receives from the community. To test your locally built SDK, run eng\dogfood.cmd after building. That script starts a new Powershell with the environment configured to redirect SDK resolution to your build. -
7
drozer
The Leading Security Assessment Framework for Android
drozer (formerly Mercury) is the leading security testing framework for Android. drozer allows you to search for security vulnerabilities in apps and devices by assuming the role of an app and interacting with the Dalvik VM, other apps' IPC endpoints and the underlying OS. drozer provides tools to help you use, share and understand public Android exploits. It helps you to deploy a drozer Agent to a device through exploitation or social engineering. Using weasel (MWR's advanced exploitation payload) drozer is able to maximise the permissions available to it by installing a full agent, injecting a limited agent into a running process, or connecting a reverse shell to act as a Remote Access Tool (RAT). -
8
iText
iText for Java represents the next level of SDKs for developers
iText for Java represents the next level of SDKs for developers who want to take advantage of the benefits PDF can bring. Equipped with a better document engine, high and low-level programming capabilities and the ability to create, edit, and enhance PDF documents, iText can be a boon to nearly every workflow. iText Suite refers to the complete line of products comprising the open-source iText Core PDF library and its add-ons. The iText Suite is a fully-featured SDK for PDF development that allows you to seamlessly embed extensive PDF functionality into your software or workflows. The iText Suite builds on over a decade of lessons learned from iText 5 (and iTextSharp) development. The latest release of iText, version 8, is a simpler, more performant and extensible library that is ready to handle the increased challenges of today's document workflows, one add-on at a time. -
9
Bruno
Opensource IDE For Exploring and Testing Api's
Bruno is a Fast and Git-Friendly Opensource API client, aimed at revolutionizing the status quo represented by Postman, Insomnia, and similar tools out there. Bruno stores your collections directly in a folder on your filesystem. We use a plain text markup language, Bru, to save information about API requests. You can use git or any version control of your choice to collaborate over your API collections. Bruno is offline only. There are no plans to add cloud-sync to Bruno, ever. We value your data privacy and believe it should stay on your device. -
Application Monitoring That Won't Slow Your App DownFull APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.
-
10
Khronos KTX
KTX (Khronos Texture) Library and Tools
KTX-Software is a suite of tools and libraries for working with Khronos Texture (KTX) files, designed and maintained by the Khronos Group. KTX is a container format for storing textures that are optimized for GPU upload, supporting modern formats like Basis Universal and ASTC. This repository includes tools for creating, validating, inspecting, and converting KTX and KTX2 files, making it essential for developers working in 3D engines, games, and visualization tools where texture streaming and compression are key. -
11
LevelDB
A fast key-value storage library
LevelDB is a library of persistent key values. Written at Google, it contains keys and values that are arbitrary byte arrays, ordered within the key value store according to a user-specified comparator function. LevelDB is not an SQL database and does not support SQL queries or indexes. It simply provides an ordered mapping from string keys to string values. Data is stored already sorted by key, though callers can override the sort order through a custom comparison function. It supports forward and backward iteration as well as transient snapshots, and automatically compresses data via the Snappy compression library. -
12
Luau
Fast, small, safe, gradually typed embeddable scripting language
It is designed to be backward compatible with Lua 5.1, as well as incorporating some features from future Lua releases, but also expands the feature set (most notably with type annotations). Luau is largely implemented from scratch, with the language runtime being a very heavily modified version of Lua 5.1 runtime, with a completely rewritten interpreter and other performance innovations. The runtime mostly preserves Lua 5.1 API, so existing bindings should be more or less compatible with a few caveats. Luau is used by Roblox game developers to write game code, as well as by Roblox engineers to implement large parts of the user-facing application code as well as portions of the editor (Roblox Studio) as plugins. Roblox chose to open-source Luau to foster collaboration within the Roblox community as well as to allow other companies and communities to benefit from the ongoing language and runtime innovation. As a consequence, Luau is now also used by games like Alan Wake 2 and Warframe. -
13
OpenAuto
AndroidAuto headunit emulator
OpenAuto is an AndroidAuto(tm) headunit emulator based on aasdk library and Qt libraries. Main goal is to run this application on the RaspberryPI 3 board computer smoothly. The OpenAuto Pro is the most advanced Raspberry Pi-based, custom head-unit solution ready to retrofit your vehicle. The main functionality of the OpenAuto Pro software is to bring Users access to modern head-unit features like Bluetooth Hands-Free Profile, music streaming, integrated media player, navigation via Android Auto, screen mirroring, rear camera support, and many more interesting options and possibilities. Moreover, OpenAuto Pro runs under regular Raspberry PI OS (Buster), therefore You can use all accessories and software dedicated to Raspberry Pi. OpenAuto Pro version provides features like brightness control, volume control, support of Kodi and integration with the Raspberry PI OS (Raspbian Desktop). -
14
Python
The Python programming language
Python is a powerful, high-level programming language known for its readability, simplicity, and versatility. It supports multiple programming paradigms including procedural, object-oriented, and functional styles. CPython, the reference implementation, is developed and maintained by the Python Software Foundation and the global open-source community. The language includes a vast standard library that accelerates development by providing built-in modules for file handling, networking, data manipulation, and more. Python runs seamlessly across platforms such as Linux, macOS, and Windows, making it ideal for both development and production environments. With constant updates, optimizations, and an active community, Python continues to be one of the most widely adopted languages worldwide. -
15
Visual MASM
Visual MASM - Assembly IDE for Microsoft MASM
Create 16-bit, 32-bit and 64-bit Microsoft Windows and 16-bit MS-DOS applications with Visual MASM for Microsoft Macro Assembler (MASM). -
16
smooth UI
Modern React UI library
Modern React UI library. Code less, do more. Smooth UI is a style system / UI library for React. It works with Styled Components or Emotion. It is focused on developer experience, and productivity. You can focus on what you want to build instead of on how to build it. BrowserStack allows us to test in real browsers. -
17
QP Real-Time Event Frameworks & Tools
Real-Time Event Frameworks based on active objects & state machines
QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information. The QP RTEFs can run on bare-metal microcontrollers, replacing a traditional RTOS. The frameworks contain a selection of built-in real-time kernels (RTOS kernels), such as the cooperative QV kernel, the preemptive non-blocking QK kernel, and the unique preemptive, dual-mode (blocking/non-blocking) QXK kernel. Native QP ports and ready-to-use examples are provided for ARM Cortex-M (M0/M0+/M3/M4/M7/M33/...) as well as other CPUs. The QP RTEFs can also work with many traditional RTOSes and General-Purpose OSes, such as Linux and Windows. -
18
We are deprecating our SourceForge installation. For the latest information, downloads, and opportunities to contribute, please visit http://junit.org. (JUnit is a simple framework for writing and running automated tests. As a political gesture, it celebrates programmers testing their own software.)
-
19
Arianne RPG
Arianne is an engine to develop multiplayer online games like Stendhal
Arianne is a multiplayer online engine to develop turn based and real time games, providing a simple way of creating the game server rules and clients like our MORPG Stendhal. Our engine Marauroa uses Java and SQL for hosting hundreds of players on a solo host. Stendhal is a fun friendly and free multiplayer online adventure game with a huge and rich world. With hundreds of NPCs and different quests, features like the Travel log and achievement system keep track of progress. Thousands of creatures are ready to fight, above and below ground, and as players level up they can compare themselves on a detailed stats website. The engine Marauroa provides a simple way of creating games on a portable and robust server architecture. Marauroa manages the client server communication and provides an object orientated view of the world for game developers. It handles database access in a transparent way to store player accounts, character progress and the state of the world -
20
Allows editing of any size file in hexadecimal, decimal and ASCII. A great tool that allows you to edit and analyze the contents for either the data or resource fork of any type of file. 68K, PPC and Carbon run on MacOS 7-9 and X.
-
21
DB Designer Fork is a fork of the fabFORCE DBDesigner 4. It integrates entity relationship design,front-end (you can run queries) and SQL exporting.DB Designer Fork generates SQL scripts for Oracle, SQL Server, MySQL, FireBird, SQLite and PostgreSQL.
-
22
APKUpdater
Simplify the process of finding updates for your installed apps
APKUpdater is an open source tool that simplifies the process of finding updates for your installed apps. It provides similar functionality to an app store, but instead of depending on a single source, it aggregates the results from APKMirror, Aptoide, F-Droid and Google Play. Schedule background update checks and receive a notification when updates are found. Supports Android 4.0.3 to Android 10. Supports Android TV. Material Design 2 with multiple theme support. Direct install of updates for sources that support it. Root install of updates. Languages: English, Spanish, Chinese, Turkish, Arabic, French, Indonesian, Italian, Brazilian Portuguese. App ignore list. Filter updates by architecture. Filter experimental apps. Filter apps by API level. Exclude apps installed by an App Store. -
23
ASP.NET Core
A framework for building web apps and services with .NET and C#
ASP.NET Core is an open-source and cross-platform framework for building modern cloud based internet connected applications, such as web apps, IoT apps and mobile backends. -
24
CodeIgniter
Open Source PHP Framework (originally from EllisLab)
CodeIgniter is a lightweight PHP web framework that focuses on simplicity, performance, and minimal configuration to get started quickly. It adopts an MVC-style or loosely structured approach depending on developer preference, with core components for routing, input handling, output views, and database abstraction. The framework provides convenience libraries for sessions, form validation, encryption, email, file uploads, and more, all optional so the footprint stays small. Because it doesn’t force heavy conventions, CodeIgniter is flexible for both small projects and larger modular applications where you may want to craft your own architecture. Its documentation and clarity of code make the learning curve gentle for PHP newcomers. In production, CodeIgniter’s efficiency and minimal overhead make it a steady option when performance and stability are priorities. -
25
JKSV
JK's Save Manager Switch Edition
This started as a simple, straight port of my 3DS save manager I publicly released in 2016. Despite not originally wanting to take it too far, I continued working on it for fun when I can. Dump and restore account save data. Dump and restore device saves shared by all users (Games such as Animal Crossing). Dump and restore BCAT Data. Dump and restore cache Saves. Dump system save data. Dumping this data is always enabled, but writing back needs to be enabled from the options menu. Writing to this can be very dangerous. Processes can be terminated from the Extras menu allowing you to open even more of these and explore more. Create save data so the user no longer needs to boot games to import saves. Titles can be rescanned from the Extras menu. For example, if you insert a game card while JKSV is open, rescanning will load and add it to the save creation menu(s).
