Computing language

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.

🎒 Token-Oriented Object Notation (TOON) – JSON for LLM prompts at half the tokens. Spec, benchmarks & TypeScript implementation. - toon-format/toon

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.

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.

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

Orgdown (in short “OD) is a lightweight markup language similar to Markdown but it’s consistent, easy to learn, simple to type even without tool-support, and it is based...

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.