Empowering everyone to build reliable and efficient software.
Repository Index
61,121 visible repositories in the index
1–13 of 13 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
A markup-based typesetting system that is powerful and easy to learn.
PowerShell for every system!
🪐 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
XGo is a programming language that reads like plain English. But it's also incredibly powerful — it lets you leverage assets from C/C++, Go, Python, and JavaScript/TypeScript, creating a unified software engineering ecosystem. Our vision is to enable everyone to become a builder of the world.
- data-science
- goplus
- scientific-computing
- stem-education
Powerful scripting language & versatile interactive shell
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
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