Search Results for "pentesting operating system"

Showing 9 open source projects for "pentesting operating 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
  • 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
  • 1
    ALG

    ALG

    A Fast, Offline, Graphical distribution based on Arch Linux

    October 2025 ISOs have been released! 3 new ISOs - PLASMA, GNOME, XFCE have been released. Thank you to all the members in the ALG community for their support.
    Leader badge
    Downloads: 344 This Week
    Last Update:
    See Project
  • 2
    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: 30 This Week
    Last Update:
    See Project
  • 3
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 5
    PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    Fireball (FSD) Amoeba is a distributed operating system. It collects a huge varity of single machines connected over a (fast) network to one, huge computer.It's a full Operating System Distribution. Based on Amoeba,Vrije Universiteit.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    shadowk kernel aim to be a clean portable object micro-kernel. Clean and extensible would be most too important directions for this development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB