Showing 212 open source projects for "linux system"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 1
    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: 41 This Week
    Last Update:
    See Project
  • 2
    maXbox5

    maXbox5

    maXbox is a script tool engine, compiler and source lib all in one exe

    The Art of Coding: maXbox is a script tool engine, compiler and source lib all in one exe to design and code your scripts in a shellbook! It supports Pascal, Delphi (VCL), Python (P4D), PowerShell and Java Script (Edge WebView).
    Downloads: 10 This Week
    Last Update:
    See Project
  • 3
    HAC Ada Compiler

    HAC Ada Compiler

    HAC Ada Compiler - small Ada compiler fully in Ada

    HAC - HAC Ada Compiler - is a small, quick, open-source Ada compiler, covering a subset of the Ada language. HAC is perhaps the first open-source (albeit partial) Ada compiler fully programmed in Ada itself. More information on: http://hacadacompiler.sf.net For an editor integrated with HAC, check LEA: https://l-e-a.sf.net/ Pre-built binary for Windows: https://sf.net/projects/hacadacompiler/files/hac-2024-03-21-v.0.30-bin-win64.zip Alire crate: https://alire.ada.dev/crates/hac Mirror:...
    Downloads: 15 This Week
    Last Update:
    See Project
  • 4
    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: 2 This Week
    Last Update:
    See Project
  • 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
  • 5
    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: 1 This Week
    Last Update:
    See Project
  • 6
    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: 6 This Week
    Last Update:
    See Project
  • 7

    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
  • 8
    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: 0 This Week
    Last Update:
    See Project
  • 9
    Modcomp XPL Compiler

    Modcomp XPL Compiler

    XPL Compiler for the Modcomp III/IV and Classic

    This is a self compiling XPL compiler for the Modcomp III/IV and Classic. The XPL language is described in the book "A Compiler Generator" by McKeeman, Horning and Wortman. This project has two compilers. The first was written in the late 1970's and released to the Modcomp Users Group (MUSE). The second compiler is an extension of the first that includes a Common Sub-Expression optimizer. XPL was used to write the HAL/S compiler for NASA about the same time this XPL compiler was being...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 10
    Gnostic

    Gnostic

    A compiler for APIs described by the OpenAPI Specification with plugin

    Gnostic is a command-line tool and Go library developed by Google for converting OpenAPI specifications (in JSON or YAML) to and from Protocol Buffer (protobuf) representations. It allows developers to handle OpenAPI documents in a strongly typed, language-neutral, and extensible way by generating structured data models that can be used across different programming languages supported by protobuf. Using these protobuf models, developers can safely parse, validate, and manipulate OpenAPI...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    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: 8 This Week
    Last Update:
    See Project
  • 13
    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. The focus is on the construction...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Dyalect

    Dyalect

    Dyalect is a programming language for .NET Core

    ...Dyalect (or Dy for short) is written in C# and has zero dependencies except for standard .NET Core libraries, which means that it can seamlessly run on Windows, MacOS and Linux. Moreover you can use the same binaries on any of these platforms! Dy runs on the top of its own high performance virtual machine. It compiles fast and can be used as an embeddable language or as a scripting language of your choice. It is also a good language to learn programming. Dyalect offers modern syntax, inspired by such languages as C#, Swift, Go and Rust, first class functions, coroutines, expressive modules, a dynamic type system with an ability to extend existing types with new functions and much more. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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: 32 This Week
    Last Update:
    See Project
  • 16
    GHCJS

    GHCJS

    Haskell to JavaScript compiler, based on GHC

    GHCJS is a Haskell-to-JavaScript compiler that reuses GHC’s front end to compile Haskell source into JavaScript for execution in browsers and Node.js. It aims to preserve Haskell’s semantics—including laziness and rich types—by shipping a small runtime and shims for core libraries. Developers write normal Haskell, use Cabal/Stack to build, then bundle the generated JavaScript alongside required support code. Interoperability with the JavaScript world is provided through a foreign-function...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    dec

    A decompiler system coded in C++

    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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: 14 This Week
    Last Update:
    See Project
  • 19
    GroIMP

    GroIMP

    Growth-grammar related Interactive Modelling Platform

    Important: Groimp migrates to Gitlab. You can find the latest code at "https://gitlab.com/grogra/groimp/". The version on Sourceforge will not be updated anymore. The modelling platform GroIMP is designed as an integrated platform which incorporates modelling, visualisation and interaction. It exhibits several features which makes itself suitable for the field of biological or ALife modelling: The “modelling backbone” consists in the language XL. It is fully integrated, e.g., the...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 20
    Fennel

    Fennel

    Lua Lisp Language

    Fennel is a programming language that brings together the speed, simplicity and reach of Lua with the flexibility of a lisp syntax and macro system. Full Lua compatibility: Easily call any Lua function or library from Fennel and vice-versa. Zero overhead: Compiled code should be just as efficient as hand-written Lua. Compile-time macros: Ship compiled code with no runtime dependency on Fennel. Embeddable: Fennel is a one-file library as well as an executable. Embed it in other programs to...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    M2SQL

    M2SQL

    Replicate your Mumps Globals into Relational Data Base

    M2SQL is a handy tool that permits to map your existing Mumps Globals in a relational Vision. The mapping process is simple and intuitive and is done only once. The Mapping process will describe the Mumps Globals data as a complex of Applications, Hierarchies, Relations and fields. Once mapping is completed you will able to replicate all the Mumps data into Target Relation database such as SQLITE or MYSQL. Normally you will do the replication process once a day while system is...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    gml4gtk

    gml4gtk

    small console GML or graphviz DOT graph viewer

    directed graph layout program for GML (Graph-Markup-Language) graph or partial graphviz DOT graph
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23

    ctalk

    Object Oriented Language

    ...Ctalk includes a just-in-time compiler, a compact run-time library, and a developing set of X widgets and OpenGL classes to create desktop and 3-D modeling apps. 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: 0 This Week
    Last Update:
    See Project
  • 24

    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: 1 This Week
    Last Update:
    See Project
  • 25

    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: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB