Showing 11 open source projects for "player one software"

View related business solutions
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Access competitive interest rates on your digital assets.

    Generate interest, borrow against your crypto, and trade a range of cryptocurrencies β€” all in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 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.
    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. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to...
    Downloads: 28 This Week
    Last Update:
    See Project
  • 2
    Swift

    Swift

    The Swift Programming Language

    ...Its many features make it a language that is powerful, yet fun to use. It’s no wonder that Swift has quickly become one of the fastest growing languages in history.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 3
    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: 11 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
  • 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
    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: 2 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,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    KonsolScript and Game Engine

    KonsolScript and Game Engine

    Free and Open Game Programming Language for Windows and GNU/Linux

    KonsolScript is a free and open source, scripting language primarily intended for 2D games development. KonsolScript Development Team believes that the unavailability of games on GNU/Linux desktops is one of the major concerns why people keep using unauthorized copies of proprietary OS over GNU/Linux and that is something the Development Team is ought to address – we are doing our part to help promote GNU/Linux as a viable gaming platform for desktops both for Game Publishers and...
    Downloads: 14 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
    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
  • 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
  • 10
    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
  • 11
    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
MongoDB Logo MongoDB