258 projects for "system linux" with 2 filters applied:

  • 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
  • Stop vibe-debugging. Icon
    Stop vibe-debugging.

    Plug Claude into your app's actual errors.

    AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
    Free 30 days.
  • 1
    Programming language designed to simplify the development of small and large-scale networked applications. PROSE includes an execution engine and language that compiles into platform-independent bytecode. Bytecode can also be assembled directly.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2

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

    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
  • 4

    ATasm: 6502 cross-assembler

    ATasm is a 6502 command-line cross-assembler.

    ATasm is a 6502 command-line cross-assembler that is compatible with the original Mac/65 macro assembler released by OSS software. The aim of ATasm is to provide Atari home-brew coders with a comfortable and powerful toolset.
    Leader badge
    Downloads: 4 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
    EiffelStudio
    EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...
    Downloads: 17 This Week
    Last Update:
    See Project
  • 6
    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
  • 7

    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: 0 This Week
    Last Update:
    See Project
  • 8
    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: 208 This Week
    Last Update:
    See Project
  • 9
    Downloads: 0 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
  • 10

    coNCePTuaL

    DSL for writing communication benchmarks

    coNCePTuaL is a toolset for rapidly generating portable, readable, and reproducible network-performance tests. coNCePTuaL can perform the equivalent of many pages of C code with just a few mouse clicks or lines of code in a domain-specific language.
    Downloads: 26 This Week
    Last Update:
    See Project
  • 11
    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: 7 This Week
    Last Update:
    See Project
  • 12

    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
  • 13

    MUMPS Database and Language

    ANSI Standard MUMPS

    Implementation of ANSI Standard MUMPS 1995 and ISO/IEC 11756 for FreeBSD, OSX and linux. Also on the Raspberry Pi (ARM) under debian and Windows under cygwin. This is the post-relational database.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 14
    GDL - GNU Data Language, a free IDL (Interactive Data Language, see http://ittvis.com/idl/) compatible incremental compiler.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15

    deemon

    Deemon Scripting Language

    A rich and powerful scripting language supporting the c preprocessor, classes, exceptions, lambdas, yield functions, label, switch-statement, pointers, foreign functions, and much more. With a fully packed standard library including support for file-io, threads, atomics, pipes, math, file-system, sockets, randomization, hashing, serialization, a wide selection of emulated c/c++ headers and more, deemon provides a suitable environment for any application. Syntax is easy to read and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.
    Downloads: 10 This Week
    Last Update:
    See Project
  • 17
    The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    The Open Fortran Project (OFP) provides a Fortran 2008 compliant parser and associated tools. These tools provide a Java and C API for actions called when parser rules are completed. It also provides Fortran interfaces to the OpenCL runtime (new). IMPORTANT NOTICE: The Open Fortran Project has switched to using a parser based on SDF (Syntax Definition Formalism). Please consider using our new work at https://github.com/OpenFortranProject/ofp-sdf. While the SDF parser is not as advanced as...
    Leader badge
    Downloads: 15 This Week
    Last Update:
    See Project
  • 19
    xSTreamC is a streaming language developed by STMicroelectronics to support the mapping of data intensive streaming applications on distributed multiprocessor SoCs. A compiler and a simulation library are provided.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Euphoria Programming Language
    This project will allow a group of people to develop the Euphoria programming language: interpreter, translator, binder, documentation etc. For more information visit https://openeuphoria.org
    Downloads: 16 This Week
    Last Update:
    See Project
  • 21
    JFlex

    JFlex

    The fast lexer generator for Java

    JFlex is a flex-like lexer generator for Java with emphasis on speed and full Unicode support. It has some not so usual features like negation in regexps and nested input streams. Also reads JLex specifications unchanged.
    Leader badge
    Downloads: 3 This Week
    Last Update:
    See Project
  • 22
    MiniLisp

    MiniLisp

    A readable lisp in less than 1k lines of C

    MiniLisp is a compact Lisp interpreter implemented in fewer than one thousand lines of C, designed to demonstrate the core principles of Lisp and interpreter design in a highly readable format. The interpreter evaluates expressions in a traditional read-eval-print loop, allowing users to input Lisp code and immediately see the results. Despite its small size, it supports a wide range of language features, including integers, symbols, lists, closures, macros, and garbage collection. The...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 24
    The Generic Universal MUMPS Project (GUMP) has the purpose of providing an Open Source Implementation of ANSI X11 (MUMPS) suite of Standards
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo