Computing Language

winapp, the Windows App Development CLI, is a single command-line interface for managing Windows SDKs, packaging, generating app identity, manifests, certificates, and using build tools with any ap...

Protocol Buffers are language-neutral, platform-neutral extensible mechanisms for serializing structured data.

Rocq is a general-purpose, industrial-strength interactive theorem prover.

AGENTS.md is a simple, open format for guiding coding agents. Think of it as a README for agents.

WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.

DragonBones TypeScript / JavaScript Runtime. Contribute to DragonBones/DragonBonesJS development by creating an account on GitHub.

The unofficial native PC Port for Jak & Daxter

With Azul you'll achieve new levels of Java performance with even higher security & stability. See why Java-based businesses trust Azul to get more from Java.

Amazon Corretto is a no-cost, multiplatform, production-ready distribution of the Open Java Development Kit (OpenJDK). Corretto comes with no-cost long-term support. Amazon runs Corretto internally on thousands of production services and Corretto is certified as compatible with the Java SE standard.

Eclipse Adoptium provides prebuilt OpenJDK binaries ...

Crystal is a general-purpose, object-oriented programming language. With syntax inspired by Ruby, it’s a compiled language with static type-checking. Types are resolved by an advanced type inference algorithm.

A general-purpose shell language

Empowering real-time graphics developers with advanced language features.

Download MinGW - Minimalist GNU for Windows for free. A native Windows port of the GNU Compiler Collection (GCC) MinGW: A native Windows port of the GNU Compiler Collection (GCC), with freely distributable import libraries and header files for building native Windows applications; includes extensions to the MSVC runtime to support C99 functionality.

Cooklang is a markup language for recipes.

The Gleam programming language

A new markup-based typesetting system that is powerful and easy to learn. - GitHub - typst/typst: A new markup-based typesetting system that is powerful and easy to learn.

JerryScript is a very lightweight JavaScript engine with capability to run on microcontrollers with less than 8KB of RAM.