Showing 276 open source projects for "linux operating systems"

View related business solutions
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini 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.
    Start Free
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Start Free
  • 1
    RedtDec

    RedtDec

    RetDec is a retargetable machine-code decompiler based on LLVM

    ...Signature-based removal of statically linked library code. Static analysis of executable files with detailed information. We currently support Windows (7 or later), Linux, macOS, and (experimentally) FreeBSD. An installed version of RetDec requires approximately 5 to 6 GB of free disk space.
    Downloads: 20 This Week
    Last Update:
    See Project
  • 2
    Free Pascal Compiler

    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.
    Leader badge
    Downloads: 6,502 This Week
    Last Update:
    See Project
  • 3
    FOML
    FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    X11-Basic

    X11-Basic

    A BASIC interpreter and compiler with graphics.

    X11-Basic is a dialect of the BASIC programming language with graphics capability that integrates features like shell scripting, cgi-Programming and full graphical visualisation into the easy to learn basic language on modern computers.
    Leader badge
    Downloads: 19 This Week
    Last Update:
    See Project
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Start Free
  • 5
    Dev-C++

    Dev-C++

    Open Source C & C++ IDE for Windows

    Dev-C++ is a full-featured Integrated Development Environment (IDE) for Win32. It uses GCC, Mingw or Cygwin as compiler and libraries set. It supports Windows 98, NT, 2000 & XP. This is the original Dev-C++ software as published by Colin Laplace and this repository is frozen to version 4.9.9.2. For more recent versions of Dev-C++, please check the following forks: - Embarcadero Dev-C++: https://sourceforge.net/projects/embarcadero-devcpp/ (last update: March 2021) - Orwell...
    Leader badge
    Downloads: 26,955 This Week
    Last Update:
    See Project
  • 6
    MANOOL

    MANOOL

    Programming language with expressive power and a simple implementation

    MANOOL is a practical, homoiconic, dynamic, multiparadigm general-purpose programming language with a functional core. It has high expressive power but is implemented in less than 10K LOC of optimized, idiomatic C++11 for native run-time environments. MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello,...
    Downloads: 13 This Week
    Last Update:
    See Project
  • 7

    ctalk

    Object Oriented Language

    ...Written for use with GNU GCC and LLVM, Ctalk supports a variety of UNIX, Linux, and MacOS systems, the X Window System, and libraries like the GNU readline library, and the Xft Type1, FreeType and TrueType font libraries. To find out what's new in the latest release, check out the ReleaseNotes page of the Ctalk Wiki which is available by clicking on the tab above.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    Lexical Analyzer Generator Quex

    Lexical Analyzer Generator Quex

    Generator of lexical analyzers in C and C++. Unicode Supported.

    The goal of this project is to provide a generator for lexical analyzers of maximum computational efficiency and maximum range of applications. This includes the support for Unicode (UTF8, UTF16, ...) and a large variety of other encodings directly and via nested converters such as ICU(tm) and IConv. Sophisticated buffer handling allows to operate on plain file streams, on sockets, or manually fed buffer content. 'Ready-to-build' examples explain related concepts and facilitate practical...
    Leader badge
    Downloads: 271 This Week
    Last Update:
    See Project
  • 9

    From PEG to a practical parser

    Transcribe Parsing Expression Grammar into a parser written in Java.

    Tool to transcribe Parsing Expression Grammar into a parser written in Java. Parsing Expression Grammar (PEG) is a way to specify recursive-descent parsers with limited backtracking. The use of backtracking lifts the LL(1) restriction usually imposed by top-down parsers. In addition, PEG can define parsers with integrated lexing. Unlike some existing parser generators for PEG, the tool does not produce a complex and storage-hungry "packrat parser", but a collection of transparent...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Start Free
  • 10

    SPL Compiler

    A low-level system programming language with high-level syntax

    A new system programming language designed to occupy the same niche C is currently holding, that allows for easier development of large platform-independent systems. The aims are to: * Keep all of C's system programming strengths. * Be as efficient as C (at run-time) and as high-level as possible for the programmer. * Promote modularity and ease the development of large-scale component-based software. * Enable programming-by-contract and other high-level features (as long as...
    Downloads: 9 This Week
    Last Update:
    See Project
  • 11
    FastSim consists of: - 'Facile' a highly flexible and expressive processor-architecture specification-language. - A compiler for the specifications which produces high-performance, fast-forwarding simulators.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Adventure Definition Langage (ADL) - a language used to create text adventures similar to Zork and other Infocom games.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    This project aims to develop a Lisp based operating system for general purpose computer architectures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    The ATS PL System

    Unleashing the potentials of types and templates

    The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    Regulus is a Prolog-based toolkit for building spoken dialogue systems.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    fast single-privilege single-address-space preemptive-multithreading persistent data-centric secure multiuser operating system with safe-language and reconfigurable graphical interface
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17
    CLISP - an ANSI Common Lisp
    CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
    Leader badge
    Downloads: 221 This Week
    Last Update:
    See Project
  • 18
    This project contains a library for writing compilers/type systems and toy compilers for small games.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Shell Script Compiler

    Shell Script Compiler

    Shell script compiler

    shc is a shell script compiler that converts shell scripts into executable binaries. It enhances script security by obfuscating the source code, making it useful for distributing proprietary scripts.​
    Downloads: 13 This Week
    Last Update:
    See Project
  • 20

    cstem

    C/C++ system probe, test and automation toolkit

    cstem is a portable toolkit for probing and testing C/C++ system. It consist of 4 scripts: cprobe, cltest, cppdef, mkdep. cstem scripts can be used standalone or as part of software build systems. All scripts are portable and have no dependencies. See wiki for more information and examples.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    DistAlgo

    A Language for Distributed Algorithms

    DistAlgo is a very high-level language for expressing distributed algorithms.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 22
    Mozart-Oz Programming System

    Mozart-Oz Programming System

    Runtime and development environment of Oz

    The Mozart Programming System is an open source implementation of the programming language Oz 3. Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole.
    Downloads: 44 This Week
    Last Update:
    See Project
  • 23

    devkitPro

    Homebrew toolchains for wii, gamecube, 3ds, ds, gba, gp32 and psp

    This project is for homebrew console development tools based on the gnu compiler collection with additional tools and libraries to aid programming each supported console. The windows variants are built with MinGW.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    C++ LALR parser generator
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    ANS Forth for Win32 and Linux/x86 (used to compile the following SF projects: acWEB, acFTP, acFreeProxy, acSMTP, Forth-Script)
    Leader badge
    Downloads: 49 This Week
    Last Update:
    See Project