Empowering everyone to build reliable and efficient software.
Repository Index
73,362 visible repositories in the index
1–24 of 88 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
The Julia Programming Language
- julia-language
- julia
- scientific
- hpc
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
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
The Ruby Programming Language
- ruby
- c
- language
- object-oriented
JDK main-line development https://openjdk.org/projects/jdk
- openjdk
- java
- jvm
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
- micropython
- python
- embedded
- microcontroller
Development repository for the Triton language and compiler
TranslatedA programming language for the ancient Chinese.
- programming-language
- classical-chinese
- esoteric-language
- wenyan-lang
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
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
- scala
- scala-compiler
- scala-programming-language
- scala-library
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
A configuration as code language with rich validation and tooling.
- pkl
- java
- kotlin
- config
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
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
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.
- wren
- scripting-languages
- c
- fibers