Search Results for "open-vm-tools"
Sort By:
67 projects for "open-vm-tools" with 2 filters applied:
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Build Agents and Models on One PlatformGemini 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.
-
1
Lean 4
Lean 4 programming language and theorem prover
...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 develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform. -
2
Python
The Python programming language
...It supports multiple programming paradigms including procedural, object-oriented, and functional styles. CPython, the reference implementation, is developed and maintained by the Python Software Foundation and the global open-source community. The language includes a vast standard library that accelerates development by providing built-in modules for file handling, networking, data manipulation, and more. Python runs seamlessly across platforms such as Linux, macOS, and Windows, making it ideal for both development and production environments. With constant updates, optimizations, and an active community, Python continues to be one of the most widely adopted languages worldwide. -
3
AssemblyScript
A TypeScript-like language for WebAssembly
AssemblyScript is a TypeScript-like programming language specifically designed to compile into WebAssembly, enabling developers to write high-performance code using familiar JavaScript syntax. It introduces static typing and low-level control while maintaining compatibility with existing JavaScript tooling and workflows. The language is optimized for generating efficient and compact WebAssembly modules, making it suitable for performance-critical applications in both browser and server... -
4
Vercel Zero
The programming language for agents
Zero is an experimental programming language from Vercel Labs designed with AI agents as first-class users. The project explores what a language, tooling system, and standard library might look like if agents need to read, debug, repair, and ship code reliably. It focuses on a small and regular language surface, structured diagnostics, predictable tooling, and machine-readable outputs. Zero is still pre-1 and intentionally unstable, so its syntax and APIs are meant for exploration rather... -
MongoDB Atlas runs apps anywhereMongoDB 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.
-
5
Starlark in Go
Starlark in Go: the Starlark configuration language, implemented in Go
starlark-go is the official Go implementation of the Starlark programming language, a Python-like, dynamically typed configuration and scripting language originally developed for the Bazel build system. Starlark combines Python’s expressiveness and readability with deterministic execution, making it ideal for defining build configurations, scripting automation, and embedding domain-specific logic in applications. The Go-based interpreter allows developers to run or embed Starlark programs... -
6
Mangle
Go library for Datalog-style logical reasoning and domain modeling
Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern... -
7
PLT (Programming Languages Theory)
Programming Language Theory
Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes... -
8
mruby
Lightweight Ruby
mruby is a lightweight implementation of the Ruby programming language designed for embedding and integration into applications, particularly in resource-constrained environments such as embedded systems or game engines. It maintains compatibility with modern Ruby syntax while offering a significantly reduced footprint compared to the standard Ruby interpreter. The system includes its own virtual machine, bytecode compiler, and interactive shell, enabling developers to write, compile, and... -
9
CLIPS Rule Based Programming Language
Expert System Tool
CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities. -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
10
Agena
Agena is an interpreted procedural programming language.
Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS. -
11
Ring
Simple and flexible programming language for applications development
...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 distributed as a Free-Open Source project under the MIT License. -
12
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. -
13
newRPL
The classic RPL programming language reimplemented and reimagined.
This project reimplements from scratch the RPL language made popular by HP programmable calculators, in portable C/C++. The main goal is to release a complete computing environment for various targets. There's currently 4 active targets: the HP 50g, HP39gs and HP40gs calculators and a PC simulator (see the downloads section!). Other ports are planned for the future. -
14
Programming Language ADP
ADP is a script language designed for Web database prgramming.
ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install. ADP is base on Prolog. But ADP uses only the backtrack and unification. The syntax is original and likes a another scripting language, supports method call. -
15
Seed7
Interpreter and compiler for the Seed7 programming language.
Interpreter, compiler, libraries, documentation and examples for the Seed7 programming language. Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C/C++ and Java. In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Seed7... -
16
Ficl is a lightweight, embeddable scripting language designed to be incorporated into other programs, and especially embedded systems that may have memory and OS constraints. Applications include scripting, hardware bring-up, rapid prototyping, and system extensions. Unlike Lua or Python, Ficl acts as a component of your system - you feed it stuff to do, it does the stuff, and comes back to you for more. You can export compiled code to Ficl, execute Ficl code from your compiled code, or...
-
17
NetRexx
The open sourced NetRexx reference implementation
...It supports a classic REXX syntax, with no reserved keywords, along with considerable additions to support object-oriented programming in a manner compatible with Java's object model, yet can be used as both a compiled and an interpreted language, with an option of using only data types native to the JVM or the NetRexx runtime package. Originally from IBM, NetRexx is the creation of Mike Cowlishaw, the 'Father of Rexx'. This IBM product has been open sourced in 2011. -
18
aime
A C-like, high level programming language and interpreter.
aime is a programming language intended for application extension purposes. It is simple, with a C like syntax and automatic resource management. The interpreter interface has many options for connecting the interpreted programs to the embedding application state. It allows application supervision with regard to such concerns as execution length, memory allocation, error reporting. A standalone interpreter together with many demo/test programs is included. -
19
Xi Programming Language
A general-purpose, mutliparadigm language.
Xi is a programming language which attempts to play a similar role to languages such as C, C++, or D. It is initially designed to leverage the procedural and object-oriented paradigms. It aims to provide an expressive language based off of a simple, LL(1) grammar with a comprehensive class library. -
20
M.O.R.T.A.L.
The M.O.R.T.A.L. programming language
M.O.R.T.A.L. is a new general-purpose programming language now under development. It is meant to take the best features of multiple paradigms and combine them all into a single, easy-to-use language, suitable for professionals and hobbyists alike. (The basic OOP paradigm, with metaprogramming features, will be implemented first.) Its primary goal is to allow very heavy computations to be performed efficiently and easily, even by scientists from other fields than computer science. For... -
21
The Unicon Project
A modern descendant of the Icon programming language.
Unicon is a very high level object-oriented network- and graphics-savvy programming language with a syntax similar to Pascal or C. Goal-direction, backtracking, patterns and novel data structures make Unicon ideal for rapidly solving complex problems. -
22
ALCHA
A New Programming Language for FPGA Projects
ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting. -
23
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... -
24
JSchemePlus
An hack of Jscheme with a lot of enhancements and additional features.
JSchemePlus is an hack of Jscheme 1.4 by Peter Norvig. It allows to redistribute a script in an executable JAR file of only ~40K and implements all of R4RS with a lot of additional functions, like: (execute command) (random) (sequence from up-to step) (split list element) (string-split string sub-string) (read-all-from-file file) (write-to-file file data) (file-size file) etc... For the complete list read the HELP file or type (help). JSchemePlus needs only the Java Virtual Machine (version... -
25
The Demonstrations Programs for the Wikibook "Ada Programming".
