Empowering everyone to build reliable and efficient software.
Repository Index
81,588 visible repositories in the index
1–24 of 174 · Most stars
🌴 Empowering everyone to build reliable and efficient smart contracts.
The Kotlin Programming Language.
- kotlin
- programming-language
- compiler
- gradle-plugin
The Julia Programming Language
- julia-language
- julia
- scientific
- hpc
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
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
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
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).
Unfancy JavaScript
🪐 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