Showing 175 open source projects for "gnu operating system"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1
    The GNU Ada compiler
    This project currently provides the GNAT Studio Ada development environment, packaged for macOS. For a source of the compiler and software packages, for various operating systems, see https://ada-lang.io and Alire. For up-to-date releases of the GNAT compiler packaged for macOS, see https://github.com/simonjwright/distributing-gcc/releases. Older releases are retained for historical reasons.
    Downloads: 14 This Week
    Last Update:
    See Project
  • 2
    OCaml

    OCaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small,...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    Compiler.nvim

    Compiler.nvim

    Neovim compiler for building and running your code

    Neovim compiler for building and running your code without having to configure anything.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Ccache

    Ccache

    A fast compiler cache

    ...It speeds up recompilation by caching previous compilations and detecting when the same compilation is being done again. Ccache is free software, released under the GNU General Public License version 3 or later. Supports GCC, Clang, MSVC (Microsoft Visual C++) and other similar compilers. Works on Linux, macOS, other Unix-like operating systems and Windows. Understands C, C++, assembler, CUDA, Objective-C and Objective-C++. Supports secondary storage over HTTP (e.g. using Nginx or Google Cloud Storage), Redis or local filesystem, optionally sharding data onto a server cluster. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 5
    Rescript Compiler

    Rescript Compiler

    The compiler for ReScript

    The compiler for ReScript: a statically typed functional language focused on shipping. ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript. It comes with a lightning-fast compiler toolchain that scales to any codebase size. ReScript cares about a consistent and fast feedback loop for any codebase size. Refactor code, pull complex changes or switch to feature branches as you please. No sluggish CI builds stale caches, wrong type hints, or...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Ox: Attribute Grammar Compiling System

    Ox: Attribute Grammar Compiling System

    Ox is an attribute-grammar evaluator generator.

    Ox is an attribute grammar compiling system that augments Lex and Yacc specifications with definitions of synthesized and inherited attributes written in a combination of Ox and C/C++ syntax. From these augmented specifications, Ox generates ordinary Lex and Yacc specifications that build and decorate attributed parse trees. The user can specify parse-tree traversals for easy ordering of side effects such as code generation. Ox handles the tedious and error-prone details of writing code...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    Small Device C Compiler (SDCC)

    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.
    Leader badge
    Downloads: 17,961 This Week
    Last Update:
    See Project
  • 8
    MLton

    MLton

    A whole-program optimizing compiler for Standard ML

    MLton is a whole-program optimizing compiler for Standard ML. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML...
    Leader badge
    Downloads: 144 This Week
    Last Update:
    See Project
  • 9
    GnuCOBOL

    GnuCOBOL

    A free COBOL compiler

    ...The libcob run time support source tree is licensed under the GNU LGPL.
    Leader badge
    Downloads: 10,969 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 10

    amforth: Interpreter on Microcontrollers

    amforth is an extendible interpreter on microcontrollers

    amforth is an extendable command interpreter running on AVR ATmega and TI MSP430 microcontrollers. The Risc-V and ARM architectures are ascending. Turnkey actions for IoT workloads are possible as well. The command language is close to the Forth 2012 standard.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    "Aubit 4GL" is a project to make GPL, OpenSource, Informix-4GL compatible compiler, and continue to extend functionality needed to write most efficient and productive business related, database oriented applications. See "Home Page" link for more.
    Downloads: 12 This Week
    Last Update:
    See Project
  • 12

    Seed7

    Interpreter and compiler for the Seed7 programming language.

    ...Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Seed7 spares no effort to support portable programming. Several driver libraries assure that the access to operating system resources such as files, directories, network, clock, keyboard, console and graphics are done in a portable way. Although Seed7 contains several concepts from other programming languages, it is generally not considered a direct descendant of any other programming language.
    Leader badge
    Downloads: 11 This Week
    Last Update:
    See Project
  • 13
    ECLiPSe CLP

    ECLiPSe CLP

    ECLiPSe Constraint Logic Programming System

    The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
    Leader badge
    Downloads: 3 This Week
    Last Update:
    See Project
  • 14
    AQ

    AQ

    AQ is an interpreted programming language. It is fast, small, simple a

    AQ is a fast, small, simple and safe interpreted programming language. It may be a great work.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Lazarus Code and Component Repository
    Lazarus is a free and open source development tool for the Free Pascal Compiler. The purpose of this project is to serve as a Code Repository, Wiki Knowledgebase and support site for converting existing components and libraries to work with Lazarus and the Free Pascal Compiler.
    Leader badge
    Downloads: 99 This Week
    Last Update:
    See Project
  • 16
    AL-IV

    AL-IV

    ALFOUR Programming language. Simple, safe, power, multi-platform.

    A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17

    XEROX SIGMA 7 XPL Compiler

    XPL Compiler for the XEROX SIGMA 7

    XPL Compiler for the XEROX SIGMA 7 written at Lawrence Livermore Labs in 1971. This compiler ran under the GORDO Operating System. This project includes a SLR(K) grammar analyzer written by Frank DeRemer. Both the compiler and grammar analyzer have been ported to run under UNIX.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Eli is a programming environment that supports all phases of translator construction with extensive libraries implementing common tasks, yet handling arbitrary special cases. Output is the C subset of C++. Please use eli-project-users list for suppor
    Downloads: 2 This Week
    Last Update:
    See Project
  • 19
    Modcomp XPL Compiler

    Modcomp XPL Compiler

    XPL Compiler for the Modcomp III/IV and Classic

    ...XPL was used to write the HAL/S compiler for NASA about the same time this XPL compiler was being developed but this is not the compiler used to create HAL/S. I am in need of technical documentation for the Modcomp Classic and the MAX IV operating system. Please let me know in the discussion section is you have documentation from Modular Computer Systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    QtContribs - Harbour Qt Projects

    QtContribs - Harbour Qt Projects

    New home to HbQt, HbIDE & HbDBU once Harbour SVN hosted contribs.

    This is the repository to host all those Harbour's contrib libraries and applications which could not comply with strict Harbour project goals but had the potentiality to march into the future. The goal is to keep this repository parallel with Harbours contrib and use the same build system which Harbour uses. This way it will be possible easily to shift any library/application from here to Harbour or vice-verse. As I am totally ignorant of Harbour's build system, it will be appreciated...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    Java Modeling Language (JML)
    This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    EJE (Everyone's Java Editor)

    EJE (Everyone's Java Editor)

    Learn Java the easy way!

    EJE is a simple Java editor, perfect to learn Java, without learning a complex development tool. EJE is multi-platform (written in Java), light- weight, user-friendly and have several useful basic features. A good help to start with Java! Supports the study of the Java for Aliens book (www.javaforaliens.com), or other my books (Italian Language) like www.nuovojava.it. You don't need to install the JDK anymore (the runtime is embedded). See the video "How to create the "Hello World App in...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    colorForth
    colorForth is, in Chuck Moore's own words: "A dialect of Forth that uses color to replace punctuation. Includes its own operating system. Produces extremely compact programs. Instant compile from pre-parsed source."
    Leader badge
    Downloads: 2 This Week
    Last Update:
    See Project
  • 24
    Selfie

    Selfie

    An educational software system of a tiny self-compiling C compiler

    An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor. Selfie is a project of the Computational Systems Group at the Department of Computer Sciences of the University of Salzburg in Austria. The Selfie Project provides an educational platform for teaching undergraduate and graduate students the design and implementation of programming languages and runtime systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    RedtDec

    RedtDec

    RetDec is a retargetable machine-code decompiler based on LLVM

    The decompiler is not limited to any particular target architecture, operating system, or executable file format. ELF, PE, Mach-O, COFF, AR (archive), Intel HEX, and raw machine code supported. 32-bit: Intel x86, ARM, MIPS, PIC32, and PowerPC 64-bit: x86-64 supported. Demangling of symbols from C++ binaries (GCC, MSVC, Borland). Reconstruction of functions, types, and high-level constructs. Output in two high-level languages: C and a Python-like language.
    Downloads: 18 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
Auth0 Logo