Search Computing language

Found 5 bookmarks

Newest

The Slang Shading Language

Source-code: https://github.com/shader-slang/slang

Programming language #Type: Open-Source #Source Code: GitHub

·shader-slang.org·Jan 19, 2026

The Slang Shading Language

Protocol Buffers

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

Programming language #Type: Open-Source #Source Code: GitHub

·protobuf.dev·Jan 19, 2026

Protocol Buffers

F*: A Proof-Oriented Programming Language

Programming language #Source Code: GitHub #Type: Open-Source

·fstar-lang.org·Jan 5, 2026

F*: A Proof-Oriented Programming Language

toon-format/toon: 🎒 Token-Oriented Object Notation (TOON) – JSON for LLM prompts at half the tokens

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

Markup language #Source Code: GitHub #Type: Open-Source

·github.com·Nov 6, 2025

toon-format/toon: 🎒 Token-Oriented Object Notation (TOON) – JSON for LLM prompts at half the tokens

typst/typst · GitHub

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.

Markup language #Source Code: GitHub #Type: Open-Source

·github.com·Feb 4, 2024

typst/typst · GitHub