Repository Index

Empowering everyone to build reliable and efficient software.

• rust
• compiler
• language

🌴 Empowering everyone to build reliable and efficient smart contracts.

• sway
• language
• compiler
• fuel

PowerShell for every system!

• powershell
• windows
• macos
• linux

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

• markdown
• markup-language
• paper
• scripting-language

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

• data
• pipeline
• sql

Powerful scripting language & versatile interactive shell

• shell
• go
• unix
• programming-language

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

• groovy
• jvm-languages
• programming-language
• metaprogramming

A fast, powerful, safe and lightweight scripting language and engine for .NET

• templating
• templating-language
• templating-engine
• handlebars

Power Fx low-code programming language

• power-fx
• powerfx

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436