Showing 342 open source projects for "linux system"

View related business solutions
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 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
  • 1
    Typst

    Typst

    A new markup-based typesetting system that is powerful and easy

    Typst is a new markup-based typesetting system that is designed to be as powerful as LaTeX while being much easier to learn and use. Typst supercharges templates: They react to your content and format everything instantly while you type. Select from a wide range of community templates or create your own. Store shared documents in team workspaces to bring everyone in your working group on the same page. Whether in the classroom, the faculty office, or at home. Typst runs in your browser, so...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 2
    mtail

    mtail

    Extract internal monitoring data from application logs

    Extract internal monitoring data from application logs for collection in a time-series database. mtail is a tool for extracting metrics from application logs to be exported into a timeseries database or timeseries calculator for alerting and dashboarding. It fills a monitoring niche by being the glue between applications that do not export their own internal state (other than via logs) and existing monitoring systems, such that system operators do not need to patch those applications to...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    SBCL

    SBCL

    Mirror of Steel Bank Common Lisp (SBCL)'s repository

    Steel Bank Common Lisp (SBCL) is a high-performance Common Lisp compiler. It is open-source/free software, with a permissive license. In addition to the compiler and runtime system for ANSI Common Lisp, it provides an interactive environment including a debugger, a statistical profiler, a code coverage tool, and many other extensions. SBCL runs on Linux, various BSDs, macOS, Solaris, and Windows. See the download page for supported platforms, and the getting started guide for additional help. SBCL is available in source and binary form for a number of different architectures. ...
    Downloads: 8 This Week
    Last Update:
    See Project
  • 4
    u-root

    u-root

    A fully Go userland with Linux bootloaders

    A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.
    Downloads: 8 This Week
    Last Update:
    See Project
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 5
    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: 3 This Week
    Last Update:
    See Project
  • 6
    Rust Programming Language

    Rust Programming Language

    Empowering everyone to build reliable and efficient software

    The Rust Programming Language is a language that empowers you to build reliable and efficient software. It runs blazingly fast and is memory-efficient, so it can power performance-critical services and run on embedded devices. It has a rich type system and ownership model, ensuring both thread and memory safety. Consisting of a standard library, great documentation and a friendly compiler, plus a top-notch build tool, package manager, auto-formatter and many other great tools, it’s the...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 7
    Rollup

    Rollup

    A module bundler for JavaScript

    Rollup is a module bundler for JavaScript which compiles small pieces of code into something larger and more complex, such as a library or application. It uses the new standardized format for code modules included in the ES6 revision of JavaScript, instead of previous idiosyncratic solutions such as CommonJS and AMD. ES modules let you freely and seamlessly combine the most useful individual functions from your favorite libraries. This will eventually be possible natively everywhere, but...
    Downloads: 14 This Week
    Last Update:
    See Project
  • 8
    Dotty

    Dotty

    The scala 3 compiler, also known as Dotty

    The exciting new version of Scala 3 brings many improvements and new features. Scala 3 is a complete overhaul of the Scala language. At its core, many aspects of the type-system have been changed to be more principled. While this also brings exciting new features along (like union types), first and foremost, it means that the type-system gets (even) less in your way and for instance type-inference and overload resolution are much improved. One underlying core concept of Scala was (and still...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    gulp

    gulp

    A toolkit to automate & enhance your workflow

    gulp is a streaming build system that automates slow, repetitive and time-consuming tasks in your development workflow. It is simple and easy to use with only a minimal API surface, but powerful enough to compose efficient build pipelines. gulp is flexible and composable, and is also platform-agnostic, which means you can use it with PHP, .NET, Java and many other platforms. It’s got a strong ecosystem of npm modules and over 3000 curated, community-built plugins, so you can achieve...
    Downloads: 1 This Week
    Last Update:
    See Project
  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
    Try Auth0 for Free
  • 10
    Gleam

    Gleam

    A friendly language for building type-safe, scalable systems!

    Gleam's powerful static type system helps find and prevent bugs at compile time, long before it reaches your users. It also serves as a productive refactoring tool, enabling programmers to confidently make large changes to unfamiliar code, quickly and with low risk. For problems, the type system can't solve (such as your server being hit by a bolt of lightning) the Erlang virtual machine provides well-tested mechanisms for gracefully handling failure. Hunting down bugs can be stressful so...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 11
    ClojureScript

    ClojureScript

    Compiler for Clojure that targets JavaScript

    ClojureScript is a compiler for Clojure that targets JavaScript. It is designed to emit JavaScript code which is compatible with the advanced compilation mode of the Google Closure optimizing compiler. Clojure is a dynamic, general-purpose programming language supporting interactive development. Clojure is a functional programming language featuring a rich set of immutable, persistent data structures. As a dialect of Lisp, it has a code-as-data philosophy and a powerful macro system. Clojure...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    GopherJS

    GopherJS

    Compiler from Go to JavaScript for running Go code in a browser

    GopherJS compiles Go code to pure JavaScript code. Its main purpose is to give you the opportunity to write front-end code in Go which will still run in all browsers. Nearly everything is supported, including Goroutines (compatibility documentation). Performance is quite good in most cases, see HTML5 game engine benchmark. Cgo is not supported. GopherJS requires Go 1.16 or newer. If you need an older Go version, you can use an older Gopher release. GopherJS uses your platform's default GOOS...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    koka

    koka

    Koka language compiler and interpreter

    Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished....
    Downloads: 3 This Week
    Last Update:
    See Project
  • 14
    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
  • 15
    Scala 2

    Scala 2

    Scala 2 compiler and standard library

    Scala combines object-oriented and functional programming in one concise, high-level language. Scala's static types help avoid bugs in complex applications, and its JVM and JavaScript runtimes let you build high-performance systems with easy access to huge ecosystems of libraries. Scastie is Scala + sbt in your browser! You can use any version of Scala, or even alternate backends such as Dotty, Scala.js, Scala Native, and Typelevel Scala. You can use any published library. You can save and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Webpack Encore

    Webpack Encore

    A simple but powerful API for processing and compiling assets

    Symfony ships with a pure-JavaScript library, called Webpack Encore, that makes it a joy to work with CSS and JavaScript. You can use it, use something else, or create static CSS and JS files in your public/ directory directly and include them in your templates. Webpack Encore is a simpler way to integrate Webpack into your application. It wraps Webpack, giving you a clean & powerful API for bundling JavaScript modules, pre-processing CSS & JS, and compiling and minifying assets. Encore...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    The Futhark Programming Language

    The Futhark Programming Language

    A data-parallel functional programming language

    Futhark is a small programming language designed to be compiled into efficient parallel code. It is a statically typed, data-parallel, and purely functional array language in the ML family, and comes with a heavily optimizing ahead-of-time compiler that presently generates either GPU code via CUDA and OpenCL, or multi-threaded CPU code. Futhark is not designed for graphics programming, but can instead use the compute power of the GPU to accelerate data-parallel array computations. The...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    TinyGo

    TinyGo

    Go compiler for small place

    TinyGo brings the Go programming language to embedded systems and to the modern web by creating a new compiler based on LLVM. You can compile and run TinyGo programs on over 60 different microcontroller boards such as the BBC micro:bit and the Arduino Uno. TinyGo can also produce WebAssembly (WASM) code which is very compact in size. You can compile programs for web browsers, as well as for server and edge computing environments that support the WebAssembly System Interface (WASI) family of...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    Scala Native

    Scala Native

    Your favorite language gets closer to bare metal

    Scala Native is an optimizing ahead-of-time compiler and lightweight managed runtime designed specifically for Scala. Pointers, structs, you name it. Low-level primitives let you hand-tune your application to make it work exactly as you want it to. You’re in control. Calling C code has never been easier. With the help of extern objects you can seamlessly call native code without any runtime overhead. Scala Native is compiled ahead of time via LLVM. This means that there is no sluggish...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    webpack

    webpack

    A bundler for Javascript and friends

    webpack is a module bundler that is primarily used for bundling JavaScript files for usage in a browser, though it can also transform, bundle, or package just about any resource or asset, including images and styles. webpack packs many modules into a few bundled assets. It can bundle ES Modules, CommonJS, and AMD modules, and create a single bundle or multiple chunks through code-splitting that are asynchronously loaded at runtime. It supports all browsers that are ES5-compliant, has a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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
  • 22
    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: 10 This Week
    Last Update:
    See Project
  • 23
    GNU Prolog

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
    Leader badge
    Downloads: 263 This Week
    Last Update:
    See Project
  • 24
    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: 225 This Week
    Last Update:
    See Project
  • 25
    Virtual T
    Virtual T is a TRS-80 Model 100/102/200 emulator that runs on Windows, Linux, and Macintosh. The goal of Virtual T is to provide 100% hardware emulation so any existing programs will run. It also adds powerful development and debugging tools.
    Leader badge
    Downloads: 22 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
MongoDB Logo MongoDB