Programming language

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

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

The unofficial native PC Port for Jak & Daxter

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.

The Gleam programming language

OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety.

Discover AMPL: The Ultimate Optimization Software by AMPL Optimization - Empowering Efficient Decision-Making with Powerful Mathematical Modeling. AMPL

A stack-based array programming language

A programming language for readable, correct, and performant software.

D is a general-purpose programming language with static typing, systems-level access, and C-like syntax.

A friendly programming language from the future.

A delightful language with friendly error messages, great performance, small assets, and no runtime exceptions.

Website for Elixir

The nonprofit project Catrobat aspires to develop solutions which inspire teenagers and kids to learn coding, get creative and be prepared for the digital world of our future.

Swift is a programming language created by Apple for building iOS and Mac apps. It’s powerful and easy to use, even for beginners.

An open source Python 3 (CPython = 3.11.0) interpreter written in Rust 🐍 😱 🤘

Kornshell Homepage

Ghostscript is the #1 PDL conversion and interpreter tool available, offering native rendering of PDF, PostScript, PCL, XPS, raster and vector files, as well as ASCII text.