15 projects for "safe" with 2 filters applied:

  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
    Sign Up 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
    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: 2 This Week
    Last Update:
    See Project
  • 2
    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: 1 This Week
    Last Update:
    See Project
  • 3

    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: 6 This Week
    Last Update:
    See Project
  • 4
    An implementation of a light-weight stack-less jit compiler for x86 (32/64), ARM (32 [v5,v7,thumb2]/64), PowerPC (32/64), MIPS (32/64) and SPARC (32) architectures. It generates machine code from a platform independent (simplified) assembly language.
    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
    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: 6 This Week
    Last Update:
    See Project
  • 6
    ASN.1 library for Python
    ASN.1 types and codecs (BER, CER, DER) implementation in Python programming language. A collection of various ASN.1-based protocols data structures is supplied in a dedicated Python package. Project moved to GitHub: https://github.com/etingof/pyasn1
    Downloads: 21 This Week
    Last Update:
    See Project
  • 7

    star language

    Star Programming Language Compiler

    Star is a full featured programming language which has a strong functional programming flavor. It is intended to be safe, readable and extensible.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Compiler and interpreter for the Scriptol programming language. Scriptol is object oriented and the first language to use XML as data structure in sources. It is easy to learn and safe. Also, RSS readers in PHP, an RSS feed editor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The Tree Processing Language allows the specification of an object oriented tree structure, with strong seperation of concerns, which can be compiled into a type safe class hierarchy implementing the tree.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    Tools for developing dynamic web sites using the Standard ML programming language, including all the software you need to create PHP-style web sites with type-safe, statically checked page generation
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Meta-Ja is to Java what C++ was to C - it lets you express Java class hierarchies at a higher level of abstraction, and then writes XML Schema files, constructors, hash-access type-safe lists, get, set, copy, print, and XML parsing/generation functions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Freude is a new general purpose, very type safe, postfix / concatenative language in the style of \"Manfred von Thun\'s\" Joy. Freude programs are composed of axiomatic mathematical structures and verifiably correct concrete implementations thereof.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    This project is to create a lexical scanner generator. It generates C++ STL compatible, thread safe, scanner classes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Compiler for the scripting language Tcl used to create native application out of tcl language input files. The native applications are significant faster and absolute safe in terms of protect your private property
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    This provides an interactive, programmer-friendly interface to VMware's VProbes facility. VProbes is a safe, dynamic technology for instrumenting software running in virtual machines, and the software stack itself.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB