Empowering everyone to build reliable and efficient software.
Repository Index
56,139 visible repositories in the index
1–24 of 119 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
PowerShell for every system!
The PHP Interpreter
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
- programming-language
- carbon-lang
- compiler
- cpp
Productive, portable, and performant GPU programming in Python.
- taichi
- differentiable-programming
- gpu-programming
- sparse-computation
Solidity, the Smart Contract Programming Language
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Development repository for the Triton language and compiler
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
A declarative, HTML-based language that makes building web apps fun
- javascript
- ui-components
- dom
- vdom
AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.
- autohotkey
- c-plus-plus
- automation
- windows
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
Expressive, robust, feature-rich CSS language built for nodejs
- stylus
- css
- preprocessor
- styl
The Clojure programming language
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
A language for writing HTML user interfaces in Go.
- templating-languages
- ide-support
- lsp
- language-server
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Lean 4 programming language and theorem prover
- lean4
- lean
The programming language for agents
- llm
- boundaryml
- guardrails
- structured-data
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