Topic · programming-language

programming-language

Tracked open-source repos tagged programming-language, sorted by stars.

191 repos

#31
ultimate-python ↗@huangsamPython
Ultimate Python study guide 🐍 🐍 🐍
★ 5,943+2Star change over the last 7 days
#32
alda ↗@alda-langGo
A music programming language for musicians. :notes:
★ 5,940+5Star change over the last 7 days
#33
luau ↗@luau-langC++
A small, fast, and embeddable programming language based on Lua with a gradual type system.
★ 5,825+10Star change over the last 7 days
#34
RustBooks ↗@sger
List of Rust books
★ 5,616+9Star change over the last 7 days
#35
go-ast-book ↗@chai2010Go
:books: 《Go语言定制指南》(原名：Go语法树入门/开源免费图书/Go语言进阶/掌握抽象语法树/Go语言AST)
★ 5,514+3Star change over the last 7 days
#36
groovy ↗@apacheJava
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
★ 5,466+3Star change over the last 7 days
#37
wing ↗@winglangTypeScript
A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
★ 5,399+1Star change over the last 7 days
#38
aviatorscript ↗@killme2008Java
A high performance scripting language hosted on the JVM.
★ 5,242+2Star change over the last 7 days
#39
Orca ↗@hundredrabbitsJavaScript
Esoteric Programming Language
★ 5,079+4Star change over the last 7 days
#40
gopl-zh.github.com ↗@gopl-zhGo
:books: Go语言圣经中文版 🇨🇳
★ 4,991+1Star change over the last 7 days
#41
unit ↗@samuelmtimboTypeScript
Next Generation Visual Programming System
★ 4,920+0Star change over the last 7 days
#42
leo ↗@ProvableHQRust
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
★ 4,821+0Star change over the last 7 days
#43
wuffs ↗@googleC
Wrangling Untrusted File Formats Safely
★ 4,821+0Star change over the last 7 days
#44
borgo ↗@borgo-langRust
Borgo is a statically typed language that compiles to Go.
★ 4,638-1Star change over the last 7 days
#45
gravity ↗@marcobambiniC
Gravity Programming Language
★ 4,564+3Star change over the last 7 days
#46
awesome-wasm-langs ↗@appcypher
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
★ 4,440+0Star change over the last 7 days
#47
coconut ↗@evhubPython
Simple, elegant, Pythonic functional programming.
★ 4,354+2Star change over the last 7 days
#48
mint ↗@mint-langCrystal
🍃 A refreshing programming language for the front-end web.
★ 4,264-2Star change over the last 7 days
#49
lmql ↗@eth-sriPython
A language for constraint-guided and efficient LLM programming.
★ 4,209+0Star change over the last 7 days
#50
bhai-lang ↗@DulLabsTypeScript
A toy programming language written in Typescript
★ 4,091-1Star change over the last 7 days
#51
ballerina-lang ↗@ballerina-platformBallerina
The Ballerina Programming Language
★ 3,849+2Star change over the last 7 days
#52
tengo ↗@d5Go
A fast script language for Go
★ 3,831+0Star change over the last 7 days
#53
locutus ↗@locutusjsTypeScript
Bringing stdlibs of other programming languages to TypeScript for fun
★ 3,763+0Star change over the last 7 days
#54
P ↗@p-orgC#
The P programming language.
★ 3,673+3Star change over the last 7 days
#55
dafny ↗@dafny-langC#
Dafny is a verification-aware programming language
★ 3,520+1Star change over the last 7 days
#56
gluon ↗@gluon-langRust
A static, type inferred and embeddable language written in Rust.
★ 3,441+6Star change over the last 7 days
#57
jank ↗@jank-langC++
jank is the native Clojure dialect with seamless C++ interop.
★ 3,322+1Star change over the last 7 days
#58
dmd ↗@dlangD
dmd D Programming Language compiler
★ 3,305+3Star change over the last 7 days
#59
checkedc ↗@checkedcC
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.
★ 3,258+1Star change over the last 7 days
#60
awesome-ocaml ↗@ocaml-community
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
★ 3,112+1Star change over the last 7 days

← Back to topics