7 projects for "type 1 hypervisor" with 2 filters applied:

  • 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.
  • 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
    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: 20 This Week
    Last Update:
    See Project
  • 2

    SPL Compiler

    A low-level system programming language with high-level syntax

    ... * Enable programming-by-contract and other high-level features (as long as they incur no extraordinary costs at run-time). * Provide a stricter and more platform-independent type system than C. * Allow direct use of existing C and platform (e.g. Win32 API) libraries. This phrase from the "SPL Language Reference" says it all: "One could say SPL is what C should have been, were it not for the limitations of the time when C was designed".
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    This project contains a library for writing compilers/type systems and toy compilers for small games.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Automaton Lexer

    A Java library for creating DFA-powered lexical analyzers

    ...Lexers generated by JPlex depend on this library. I separated it from JPlex so that projects using JPlex would not depend on GPL code. Revision 1 of this project is dual-licensed, as it is the same code that was formerly part of JPlex. All code in this library was either originally published under the BSD license or was exclusively authored by me.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 5
    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
  • 6
    TreeScript a next generation Java based language for inserting into and building large (proxy based) XML like object trees. It allows code and diverse data sources to be acted upon is if they were simple atomic and node type values.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Prog is a lightweight, high-level, general-purpose, interpretable, compilable, strongly typed language that balances pragmatism, legibility, and versatility. Types are first-class objects and evaluation is considered a side-effect of type conversion.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB