Showing 10 open source projects for "one plus"

View related business solutions
  • One Monitoring Tool for IT, OT and Cloud | Free Trial Icon
    One Monitoring Tool for IT, OT and Cloud | Free Trial

    Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

    Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
    Try PRTG Free
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Start 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. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to...
    Downloads: 558 This Week
    Last Update:
    See Project
  • 2
    Odin

    Odin

    Odin Programming Language

    Odin is a general-purpose programming language with distinct typing built for high performance, modern systems, and data-oriented programming. Odin has been designed for readability, scalability, and orthogonality of concepts. Simplicity is complicated to get right, clear is better than clever. Odin allows for the highest performance through low-level control over the memory layout, memory management, custom allocators and so much more. Odin is designed from the bottom up for the modern...
    Downloads: 17 This Week
    Last Update:
    See Project
  • 3
    Swift

    Swift

    The Swift Programming Language

    Swift is a high-performance, general-purpose programming language built with a modern approach to safety, performance, and software design patterns. With a clean and modern syntax, it offers seamless access to existing C and Objective-C code and frameworks. Swift makes it easy to write software that is incredibly fast and safe by design. It comes packaged with core features like flow control, data structures and functions, with high-level constructs like objects, protocols, closures, and...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4

    SC

    SC is a C based meta/programming language/environment

    SC is a C based/compatible language that uses a binary source code format and a "special" editor to provide a far more advanced programming and meta-programming environment. The basic philosophy is to "simplify" the "form" and not the "meaning" of C. SC allows you to write source code that can analyze and modify itself. Which in turn allows you to create far more compact and powerful libraries, templates, toolkits and simply source code, using techniques similar to aspect and/or language...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Veeam Data Platform v13.1 Icon
    Veeam Data Platform v13.1

    Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try Now
  • 5
    Ring

    Ring

    Simple and flexible programming language for applications development

    The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    MANOOL

    MANOOL

    Programming language with expressive power and a simple implementation

    MANOOL is a practical, homoiconic, dynamic, multiparadigm general-purpose programming language with a functional core. It has high expressive power but is implemented in less than 10K LOC of optimized, idiomatic C++11 for native run-time environments. MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello,...
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    ChaiScript

    ChaiScript

    Embedded Scripting Language Designed for C++

    An easy to use embedded scripting language for C++. ChaiScript is one of the only embedded scripting language designed from the ground up to directly target C++ and take advantage of modern C++ development techniques, working with the developer how they would expect it to work. Being a native C++ application, it has some advantages over existing embedded scripting languages. There are no external tools required, no preprocessor, no libraries, just your C++14 compliant compiler. ChaiScript is...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    KAREL 3D C++  ( Karel the Robot in 3D )

    KAREL 3D C++ ( Karel the Robot in 3D )

    Karel - 3D language interpreter

    version 5 in C++ WinAPI, for compiler MinGWx64 is manually rewrited from JavaScript no GL version in Notepad++ ( https://sourceforge.net/projects/karel-3d/ ). ZIP include source code and just one EXE file without install to direct Run KAREL-3D ( tested on Win10 x64 and Win7 x64 without MinGW compiller [ not need .dll ] ) Objects: brick, wall, mark, bridge. In Karel, currently can not be use Load or Save ( use Ctrl+C, Ctrl+V between the editor and Notepad ) Tip for Karel: Type...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    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
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Start Free
  • 10
    The P* Web Programming Language
    P* (P-star) is a web programming language. P* targets to incorporate common tasks like template handling and database queries into the language. P* is currently in development, and help is needed with writing new functionality and testing. Functionality P* has by now is MySQL database access with prepared statements, HTML templates, standard arithmetic and variables, functions, structs, (to-be-classes), JSON output, GET and POST. Say hello on the mailing list if you want to...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next