Showing 9 open source projects for "zabbix-4"

View related business solutions
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 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
  • 1
    Lean 4

    Lean 4

    Lean 4 programming language and theorem prover

    Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment.
    Downloads: 15 This Week
    Last Update:
    See Project
  • 2
    OnixOS

    OnixOS

    OnixOS Arch is a Linux-based and open source distribution.

    OnixOS Arch is a Linux-based and open source distribution. It comes with its own system-based functional programming language (O Language). It offers some customized tools for developers.
    Downloads: 38 This Week
    Last Update:
    See Project
  • 3
    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: 5 This Week
    Last Update:
    See Project
  • 4
    MANOOL

    MANOOL

    Programming language with expressive power and a simple implementation

    ...Explicitly stated design priorities of MANOOL: 1. implementation simplicity; 2. expressive power, usability, and general utility, attention to syntax and semantics details; 3. correctness, security, and overall quality of implementation, run-time reliability; 4. run-time performance and scalability; 5. consistency, completeness, orthogonality of features, and language elegance, conceptual economy and purity. MANOOL strives to satisfy all of the above goals, better than existing alternatives!
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 5
    Very high level modular programming language with multiple dispatch, object-oriented programming, functional closures and goal-directed programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Gura Programming Language
    Gura is a programming language that features "implicit mapping" and "member mapping", which can handle multiple data in lists and iterators at any one time.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    BOLT Programming

    BOLT Programming

    The programming language for begginers.

    This is a programming language dedicated toward teaching beginning programmers proper concepts and helping them adjust to more complex languages such as C++ or Java. BOLT uses a syntax similar you BASIC to help the programs written in BOLT to be more user friendly.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    runpl

    Run Programming Language

    a new concept for programing: new syntax and a new way of coding source files. not bytecode or any typical implementation for vm. in fact, it encodes functions and keywords for a smaller code, which is good for small devices and embebbed devices. small code, small size, RUN faster.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    Mpp Project

    Mpp Project

    MPP is a C-based programming language that allows you to code more eas

    MPP is a C-based programming language that allows you to code more easily . #IDE : WMPP new features - a minimap has been added in order to improve navigation though the source code. - Code autocomplete - Status information - sidebar menu -Simple & Fast -Syntax highlighting -Compiling -Tabs [+] Supported languages : MPP, PHP, SQL, VB, HTML
    Downloads: 0 This Week
    Last Update:
    See Project
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB