Open Source Linux Software Development Software - Page 2
Sort By:
Software Development Software for Linux
View 1351 business solutions-
$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.
-
Paessler - Monitor Your Whole Network in MinutesWaiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
-
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
Free Pascal Compiler
Free 32/64/16-bit multi-platform Pascal and Object Pascal compiler
A 32/64/16-bit Pascal compiler for Win32/64/CE, Linux, Mac OS X/iOS, Android, FreeBSD, OS/2, Game Boy Advance, Nintendo NDS and DOS; semantically compatible with Delphi, Borland Pascal and Mac Pascal (partially) with extra features, e.g. operator overloading. -
3
The goal of the project is now to develop a user library called libpfm4 to help setup performance events for use with the perf_events Linux kernel interface. The development of the perfmon kernel subsystem, libpfm and pfmon has now stopped.
-
4
Expect is a tool for automating interactive applications such as telnet, ftp, passwd, fsck, rlogin, tip, etc. Expect is also useful for testing these same applications.
-
Endpoint Management with Remote Control Built InSplashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.
-
5
Small Device C Compiler (SDCC)
The Small Device C Compiler (SDCC), targeting 8-bit architectures
SDCC is a retargettable, optimizing standard C (ANSI C89 / ISO C90, ISO C99, ISO C11 / C17, ISO C23, ISO C2y) compiler that targets a growing list of architectures: STM8, MCS-51, DS390, HC08, S08, 6502, 65C02, Z80, Z80N, Z180, Rabbit, SM83, TLCS-90, eZ80, R800, Padauk PDK14 and PDK15 microprocessors. There also is incomplete support for the Microchip PIC16 and PIC18 and the Padauk PDK13. -
6
JADX
Dex to Java decompiler
Command-line and GUI tools for producing Java source code from Android Dex and apk files. Decompile Dalvik bytecode to java classes from APK, dex, aar, aab and zip files. Decode AndroidManifest.xml and other resources from resources.arsc. Deobfuscator included. Be aware, Android Studio can interfere with jadx debugger, so it is better to close it before attaching to the process in jadx. Smali debugger, check wiki page for setup and usage. View decompiled code with highlighted syntax. -
7
ziwei-doushu
Chinese astrology chart calculation engine
Ziwei Doushu is an open-source Chinese astrology chart calculation engine based on the traditional Zi Wei Dou Shu system and Ni Haixia's Tian Ji teachings. It generates birth charts using calendar calculations, star placements, and traditional astrological rules. The software includes the Four Transformations system, chart pattern recognition, and a knowledge base of classical interpretations. Birthplace coordinates and historical daylight saving adjustments support true solar time calculations. Its extensive interpretation dataset covers hundreds of thousands of chart combinations across 13 analytical dimensions. Users can explore charts through a Next.js demonstration interface and access historical reference materials. The project provides reusable algorithms and structured data for developers researching traditional Chinese divination systems. -
8
CudaText
Cross-platform text and code editor
Cross-platform code editor, with syntax highlight for 300+ languages. Has lite interface with tabs. Has JSON config files instead of the options dialog. Supports Python extensions. Documentation wiki: http://wiki.freepascal.org/CudaText -
9
LuaBinaries is a distribution of the Lua libraries and executables compiled for several platforms.
-
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
Jupyter Notebook
Jupyter Interactive Notebook
The notebook extends the console-based approach to interactive computing in a qualitatively new direction, providing a web-based application suitable for capturing the whole computation process: developing, documenting, and executing code, as well as communicating the results. The Jupyter notebook combines two components. A web application, which is a browser-based tool for interactive authoring of documents which combine explanatory text, mathematics, computations and their rich media output. And Notebook documents, which are a representation of all content visible in the web application, including inputs and outputs of the computations, explanatory text, mathematics, images, and rich media representations of objects. Notebook documents contain the inputs and outputs of a interactive session as well as additional text that accompanies the code but is not meant for execution. -
11
AnyPS5
Tool for automatic PS5 executables porting to Linux and Windows
AnyPS5 is an experimental compatibility project for automatically porting PlayStation 5 executables to Linux and Windows. Instead of emulating an entire console, it relinks executables into native target formats and supplies replacement implementations for required system libraries. The project includes a shader recompiler that can produce SPIR-V for Vulkan-based graphics workflows. Unsupported conditions are deliberately surfaced as runtime errors rather than silently ignored. SDL-compatible game controllers are supported, while keyboard and mouse mappings can be configured separately. The relinker uses C++20 and targets portability across host compilers where practical. AnyPS5 is intended for interoperability, preservation, and research using legally obtained software. -
12
C Unit Testing Framework
Automated testing framework for C'
Automated testing framework for 'C'. -
13
TinyXML is a simple, small, minimal, C++ XML parser that can be easily integrating into other programs. It reads XML and creates C++ objects representing the XML document. The objects can be manipulated, changed, and saved again as XML. *Please Note* that TinyXML development has stopped and all development has moved to TinyXML-2. TinyXML-2 is available at https://github.com/leethomason/tinyxml2
-
14
Neko Void
an unofficial respin of Void Linux with a complete out-of-the-box xp
🐱 What is Neko-Void? ///DISTRO THERIAN FRIENDLY!!! Neko-Void is an unofficial respin of Void Linux ( void based distro ) featuring a preconfigured with carefully selected software for a complete out-of-the-box experience. Designed for users who want Void Linux's stability and minimalism with modern desktop functionality. REMEMBER TO DOWNLOAD THE ISO FROM OUR WEBSITE (WE TAKE A LITTLE WHILE TO UPDATE THIS SOURCEFORGE REPOSITORY) WEB PAGE= https://www.neko-void-linux.online DistroWatch: https://distrowatch.com/table.php?distribution=nekovoid <3 Donate: https://linktr.ee/javiercplusx ISO's Archives/betas/experimentals= https://archive.org/details/Neko-Void Build-iso=https://github.com/Neko-Void-Linux/Neko-Void Core System - Void Linux base (rolling release) - MATE Desktop fully configured and optimized - tinyfetch minimalist system information tool - UEFI and Legacy BIOS support - Octoxbps (install apps without terminal) -
15
Steel Bank Common Lisp
Common Lisp compiler and runtime
A high performance Common Lisp compiler. In addition to standard ANSI Common Lisp, it provides an interactive environment including an a debugger, a statistical profiler, a code coverage tool, and many other extensions. -
16
Clipper
Polygon and line clipping and offsetting library (C++, C#, Delphi)
This library is now obsolete and no longer being maintained. It has been superceded by my Clipper2 library - https://github.com/AngusJohnson/Clipper2. -
17
Spicetify
Command-line tool to customize Spotify client
Command-line tool to customize the official Spotify client. Supports Windows, MacOS, and Linux. Change the colors whole UI. Inject CSS for advanced customization. Inject Extensions (Javascript script) to extend functionalities, manipulate UI, and control the player. Inject Custom apps. Remove bloated components to improve performance. -
18
-
19
Technical analysis library with indicators like ADX, MACD, RSI, Stochastic and TRIX, plus candlestick pattern recognition. Docs: https://ta-lib.org Available natively in C/C++, Java, Rust and C# with wrappers for python, R and many other ecosystems. MOVED TO GITHUB: https://github.com/TA-Lib/ta-lib . No further support is provided on SourceForge. Release 0.4.0 is very outdated, please check github for the most recent release.
-
20
PowerShell
Command-line shell and scripting language built on .NET
Powershell is a cross-platform, task-based command-line shell and scripting language that helps rapidly automate tasks that manage operating systems (Linux, macOS and Windows) and processes. It works well with existing tools and is optimized for dealing with structured data, REST APIs and object models. PowerShell was developed by Microsoft as a task management and configuration management framework. Powershell is designed to let you manage computers from the command line and improve the command-line and scripting environment. -
21
AssetStudio
AssetStudio is a tool for exploring, extracting and exporting assets
AssetStudio is a cross-platform tool for exploring, extracting, and exporting assets from Unity games—supporting assetbundles and built-in assets. It handles textures, sprites, audio, meshes, shaders, and more, exporting to formats like png, bmp, mp3, wav. The original is archived (supports Unity ≤2022.1); forks like AssetStudio2024 add support for newer Unity versions and Lua asset decompiling. -
22
PlantUML allows to quickly create some UML diagram using a simple textual description language.
-
23
DocFetcher
Desktop search application
DocFetcher is an Open Source desktop search application: It allows you to search the contents of files on your computer. — You can think of it as Google for your local files. The application runs on Windows, Linux and Mac OS X. -
24
IntelliJ Community Edition
IntelliJ IDEA & IntelliJ Platform
IntelliJ Community is the open source upstream of JetBrains’ IntelliJ IDEA, forming the core of a powerful, extensible, and intelligent development environment. It provides foundational features like a robust editor with code completion, syntax highlighting, refactoring tools, version control integrations, terminal, debugger, and plugin architecture. Since it’s open, community developers can contribute to language supports, UI tweaks, and platform enhancements. From this base, JetBrains builds full editions (Ultimate) by layering proprietary features for enterprise frameworks and integrations. IntelliJ Community supports multiple JVM-based languages (Java, Kotlin, Scala, Groovy) and serves as a host for plugin ecosystems that add support for web, database, and cloud tooling. The project emphasizes performance, modularity, and a responsive user experience, maintaining a codebase that balances long-term maintainability with cutting-edge developer features. -
25
V2Ray
V2Ray is a set of tools for building your own private network
Project V is a set of tools to help you build your own privacy network over internet. The core of Project V, named V2Ray, is responsible for network protocols and communications. It can work alone, as well as combine with other tools.
