Programming language
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output. Programming languages generally consist of instructions for computers. There are many programming languages in existence, and each has at least one implementation, each of which consists of its own set of programming tools. Some programming languages require computation to be specified in an imperative form (i.e., as a sequence of operations to perform) while other languages use the declarative form (i.e. the desired result is specified, not how to achieve it).
- GitHub: https://github.com/topics/programming-language
- Wikipedia: https://en.wikipedia.org/wiki/Programming_language
- Aliases: programming-languages,
- Last updated: 2025-04-21 00:23:21 UTC
- JSON Representation
https://github.com/golang/go
The Go programming language
go golang language programming-language
Last synced: 15 Apr 2025
https://github.com/jetbrains/kotlin
The Kotlin Programming Language.
compiler gradle-plugin intellij-plugin kotlin kotlin-library maven-plugin programming-language wasm webassembly
Last synced: 15 Apr 2025
https://github.com/JetBrains/kotlin
The Kotlin Programming Language.
compiler gradle-plugin intellij-plugin kotlin kotlin-library maven-plugin programming-language wasm webassembly
Last synced: 14 Mar 2025
https://github.com/charlax/professional-programming
A collection of learning resources for curious software engineers
architecture computer-science concepts documentation engineer learning lessons-learned professional programmer programming-language read-articles scalability software-engineering
Last synced: 18 Apr 2025
https://github.com/julialang/julia
The Julia Programming Language
hacktoberfest hpc julia julia-language julialang machine-learning numerical programming-language science scientific
Last synced: 15 Apr 2025
https://github.com/JuliaLang/julia
The Julia Programming Language
hacktoberfest hpc julia julia-language julialang machine-learning numerical programming-language science scientific
Last synced: 14 Mar 2025
https://lecoupa.github.io/awesome-cheatsheets/
👩💻👨💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.
backend bash cheatsheet cheatsheets database django docker feathersjs frontend javascript kubernetes language nodejs php programming-language redis sailsjs vim vuejs xcode
Last synced: 24 Mar 2025
https://github.com/vlang/v
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
compiler language programming-language v
Last synced: 05 Mar 2025
https://github.com/carbon-language/carbon-lang
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
carbon-lang compiler cpp experimental experimental-language language programming-language
Last synced: 21 Apr 2025
https://github.com/ethereum/solidity
Solidity, the Smart Contract Programming Language
blockchain cpp ethereum hacktoberfest language programming-language smartcontracts solidity
Last synced: 15 Apr 2025
https://github.com/modular/max
The MAX Platform (includes Mojo)
ai language machine-learning max modular mojo programming-language
Last synced: 14 Apr 2025
https://github.com/modular/mojo
The Mojo Programming Language
ai language machine-learning modular mojo programming-language
Last synced: 30 Jan 2025
https://github.com/modularml/mojo
The Mojo Programming Language
ai language machine-learning modular mojo programming-language
Last synced: 03 Dec 2024
https://github.com/ruby/ruby
The Ruby Programming Language
c jit language object-oriented programming-language ruby ruby-language rust
Last synced: 11 Apr 2025
https://github.com/aldanial/cloc
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
cloc count-lines programming-language
Last synced: 18 Apr 2025
https://github.com/crystal-lang/crystal
The Crystal Programming Language
compiler crystal crystal-language hacktoberfest programming-language
Last synced: 19 Apr 2025
https://github.com/chai2010/advanced-go-programming-book
:books: 《Go语言高级编程》开源图书，涵盖CGO、Go汇编语言、RPC实现、Protobuf插件实现、Web框架实现、分布式系统等高阶主题(完稿)
asm book cgo cloud go golang programming-language rpc web
Last synced: 19 Apr 2025
https://github.com/wenyan-lang/wenyan
文言文編程語言 A programming language for the ancient Chinese.
classical-chinese esoteric-language programming-language wenyan-lang
Last synced: 08 Apr 2025
https://github.com/AlDanial/cloc
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
cloc count-lines programming-language
Last synced: 13 Mar 2025
https://github.com/manastech/crystal
The Crystal Programming Language
compiler crystal crystal-language hacktoberfest programming-language
Last synced: 29 Dec 2024
https://github.com/gleam-lang/gleam
⭐️ A friendly language for building type-safe, scalable systems!
compiler erlang gleam programming-language statically-typed
Last synced: 08 Apr 2025
https://github.com/trekhleb/learn-python
📚 Playground and cheatsheet for learning Python. Collection of Python scripts that are split by topics and contain code examples with explanations.
learning learning-by-doing learning-python programming-language python python3
Last synced: 08 Apr 2025
https://github.com/wasp-lang/wasp
The fastest way to develop full-stack web apps with React & Node.js.
compiler hacktoberfest haskell javascript node open-source prisma programming-language react wasp web-app
Last synced: 08 Apr 2025
https://github.com/gurugio/lowlevelprogramming-university
How to be low-level programmer
arduino assembly assembly-language-programming c-programming embedded-systems firmware hardware linux-kernel linux-kernel-hacking low-level low-level-programming operating-system programming-language rust-lang system-programming
Last synced: 25 Mar 2025
https://github.com/apple/pkl
A configuration as code language with rich validation and tooling.
config configuration data functional java json kotlin language object-oriented pkl programming-language properties propertylist validation xml yaml
Last synced: 08 Apr 2025
https://github.com/dart-lang/sdk
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
dart language programming-language sdk
Last synced: 15 Apr 2025
https://github.com/facebook/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
javascript ocaml programming-language reason reasonml
Last synced: 15 Apr 2025
https://github.com/reasonml/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
javascript ocaml programming-language reason reasonml
Last synced: 08 Apr 2025
https://facebook.github.io/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
javascript ocaml programming-language reason reasonml
Last synced: 15 Dec 2024
https://github.com/goplus/gop
The Go+ programming language is designed for engineering, STEM education, and data science. Our vision is to enable everyone to become a builder of the digital world.
data-science engineering golang gop goplus low-code programming-language scientific-computing stem stem-education
Last synced: 08 Apr 2025
https://github.com/penrose/penrose
Create beautiful diagrams just by typing notation in plain text.
diagrams domain-specific-language mathematics programming-language visualization
Last synced: 08 Apr 2025
https://github.com/witheve/eve
Better tools for thought
database eve ide language programming-language
Last synced: 10 Apr 2025
https://github.com/witheve/Eve
Better tools for thought
database eve ide language programming-language
Last synced: 24 Mar 2025
https://github.com/odin-lang/Odin
Odin Programming Language
compiler language odin odin-lang odin-programming-language programming-language programming-languages
Last synced: 26 Mar 2025
https://github.com/odin-lang/odin
Odin Programming Language
compiler language odin odin-lang odin-programming-language programming-language programming-languages
Last synced: 26 Mar 2025
https://github.com/imba/imba
🐤 The friendly full-stack language
declarative dom framework frontend imba javascript programming-language ui
Last synced: 08 Apr 2025
https://github.com/HaxeFoundation/haxe
Haxe - The Cross-Platform Toolkit
compiler cross-platform haxe jvm-languages language macros programming-language transpiler
Last synced: 26 Mar 2025
https://github.com/elves/elvish
Powerful scripting language & versatile interactive shell
go programming-language shell unix
Last synced: 08 Apr 2025
https://github.com/unisonweb/unison
A friendly programming language from the future
hacktoberfest haskell programming-language unison unison-language
Last synced: 09 Apr 2025
https://github.com/supercollider/supercollider
An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
algorithmic-composition audio c-plus-plus computer-music electronic-music livecoding music programming-language sclang scsynth sonification sound supercollider synthesis
Last synced: 08 Apr 2025
https://github.com/alda-lang/alda
A music programming language for musicians. :notes:
alda hacktoberfest music music-composition music-programming music-programming-language programming-language
Last synced: 08 Apr 2025
https://github.com/ponylang/ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
actor-model pony-language pony-source ponyc ponylang programming-language
Last synced: 08 Apr 2025
https://github.com/red/red
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
compiler cross-platform gui interpreter language native programming-language reactive-programming rebol red repl scripting-language toolchain
Last synced: 27 Mar 2025
https://github.com/cs-books/influential-cs-books
Most influential books on Computer Science/programming
books computer-science influential-books programming-language
Last synced: 26 Mar 2025
https://github.com/apache/groovy
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
apache compiler dynamic-typing functional-programming groovy jvm-languages metaprogramming programming-language static-typing
Last synced: 16 Apr 2025
https://github.com/huangsam/ultimate-python
Ultimate Python study guide :snake: :snake: :snake:
hacktoberfest international learn-to-code learning-by-doing learning-python learning-resources newcomers professionals programming-language python python3 replit study
Last synced: 09 Apr 2025
https://github.com/winglang/wing
A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
cloud compiler language programming-language rust sdk serverless typescript winglang
Last synced: 26 Mar 2025
https://github.com/sger/rustbooks
List of Rust books
programming-language programming-rust rust-book rust-language
Last synced: 09 Apr 2025
https://github.com/sger/RustBooks
List of Rust books
programming-language programming-rust rust-book rust-language
Last synced: 29 Mar 2025
https://github.com/provablehq/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
compiler leo programming-language zero-knowledge zksnarks
Last synced: 08 Apr 2025
https://github.com/AleoHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
compiler leo programming-language zero-knowledge zksnarks
Last synced: 17 Feb 2025
https://github.com/killme2008/aviatorscript
A high performance scripting language hosted on the JVM.
aviatorscript expression-evaluator java jvm-languages programming-language scripting-language
Last synced: 09 Apr 2025
https://github.com/ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
compiler leo programming-language zero-knowledge zksnarks
Last synced: 28 Mar 2025
https://github.com/hundredrabbits/orca
Esoteric Programming Language
esoteric-language livecoding midi osc programming-language udp
Last synced: 10 Apr 2025
https://github.com/hundredrabbits/Orca
Esoteric Programming Language
esoteric-language livecoding midi osc programming-language udp
Last synced: 16 Mar 2025
https://github.com/borgo-lang/borgo
Borgo is a statically typed language that compiles to Go.
compiler golang programming-language rust-lang
Last synced: 10 Apr 2025
https://github.com/marcobambini/gravity
Gravity Programming Language
bridge bytecode c closure fibers gravity interpreter json language object-oriented objective-c portable pratt-parser programming-language scripting-language virtual-machine
Last synced: 09 Apr 2025
https://github.com/google/wuffs
Wrangling Untrusted File Formats Safely
codec memory-safety parsing programming-language
Last synced: 09 Apr 2025
https://github.com/evhub/coconut
Simple, elegant, Pythonic functional programming.
coconut compiler functional functional-language functional-programming language programming-language python xonsh xontrib
Last synced: 08 Apr 2025
https://roblox.github.io/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
lua programming-language scripting-language
Last synced: 13 Mar 2025
https://github.com/luau-lang/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
lua programming-language scripting-language
Last synced: 09 Apr 2025
https://github.com/mint-lang/mint
:leaves: A refreshing programming language for the front-end web.
compile-to-js compiler language mint-lang programming-language
Last synced: 09 Apr 2025
https://github.com/dullabs/bhai-lang
A toy programming language written in Typescript
interpreter javascript parser programming-language typescript
Last synced: 09 Apr 2025
https://github.com/DulLabs/bhai-lang
A toy programming language written in Typescript
interpreter javascript parser programming-language typescript
Last synced: 22 Nov 2024
https://github.com/samuelmtimbo/unit
Next Generation Visual Programming System
dataflow-programming functional-programming live-programming programming programming-language reactive-programming unit visual-programming
Last synced: 09 Apr 2025
https://github.com/lax/learn-ios-swift-by-examples
精心收集并分类整理的Swift开发学习资源，包括Apple官方提供的示例代码和文档，以及github上的项目和国内外开发者的技术博客。欢迎提交pull-request一起维护。https://t.me/SwiftCN QQ交流群 32958950 申请请注明开发经验
apple-swift github-swift ios ios-swift ios-swift-demos programming-language swift swift-language swift-learning swift-library swift-programming swift-tutorial
Last synced: 13 Apr 2025
https://github.com/Lax/Learn-iOS-Swift-by-Examples
精心收集并分类整理的Swift开发学习资源，包括Apple官方提供的示例代码和文档，以及github上的项目和国内外开发者的技术博客。欢迎提交pull-request一起维护。https://t.me/SwiftCN QQ交流群 32958950 申请请注明开发经验
apple-swift github-swift ios ios-swift ios-swift-demos programming-language swift swift-language swift-learning swift-library swift-programming swift-tutorial
Last synced: 27 Mar 2025
https://github.com/locutusjs/locutus
Bringing stdlibs of other programming languages to JavaScript for educational purposes
javascript ports programming-language
Last synced: 09 Apr 2025
https://github.com/ballerina-platform/ballerina-lang
The Ballerina Programming Language
ballerina ballerina-lang cloud-native compiler hacktoberfest integration language programming-language
Last synced: 08 Apr 2025
https://github.com/eth-sri/lmql
A language for constraint-guided and efficient LLM programming.
chatgpt huggingface language-model programming-language
Last synced: 09 Apr 2025
https://github.com/d5/tengo
A fast script language for Go
compiler embedded-language go golang programming-language script tengo vm
Last synced: 08 Apr 2025
https://github.com/emojicode/emojicode
😀😜🔂 World’s only programming language that’s bursting with emojis
compiler emojicode emojis language programming-language
Last synced: 13 Apr 2025
https://github.com/gluon-lang/gluon
A static, type inferred and embeddable language written in Rust.
compiler embeddable functional gluon language programming-language repl rust type-inference
Last synced: 09 Apr 2025
https://github.com/p-org/p
The P programming language.
asynchronous distributed-systems event-driven formal-methods formal-verification model-checking p programming-language robotics state-machine systematic-testing
Last synced: 09 Apr 2025
https://github.com/microsoft/checkedc
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
c clang llvm microsoft programming-language system-programming
Last synced: 07 Jan 2025
https://github.com/artichoke/artichoke
💎 Artichoke is a Ruby made with Rust
artichoke language programming-language ruby ruby-language rust rust-application rust-crate wasm webassembly
Last synced: 10 Apr 2025
https://github.com/p-org/P
The P programming language.
asynchronous distributed-systems event-driven formal-methods formal-verification model-checking p programming-language robotics state-machine systematic-testing
Last synced: 14 Mar 2025
https://github.com/dlang/dmd
dmd D Programming Language compiler
compiler d dlang dmd fast hacktoberfest language native programming-language
Last synced: 24 Mar 2025
https://github.com/dafny-lang/dafny
Dafny is a verification-aware programming language
programming-language verification
Last synced: 08 Apr 2025
https://github.com/Microsoft/dafny
Dafny is a verification-aware programming language
programming-language verification
Last synced: 02 Apr 2025
https://github.com/SerenityOS/jakt
The Jakt Programming Language
jakt programming-language serenityos
Last synced: 28 Mar 2025
https://github.com/fstarlang/fstar
A Proof-oriented Programming Language
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification
Last synced: 10 Apr 2025
https://github.com/erg-lang/erg
A statically typed language compatible with Python
compiler erg language programming-language python rust transpiler
Last synced: 08 Apr 2025
https://github.com/FStarLang/FStar
A Proof-oriented Programming Language
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification
Last synced: 02 Apr 2025
https://github.com/ispc/ispc
Intel® Implicit SPMD Program Compiler
compiler intel ispc programming-language simd spmd
Last synced: 10 Apr 2025
https://github.com/agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
agda dependent-types programming-language proof-assistant type-theory
Last synced: 10 Apr 2025
https://github.com/beefytech/beef
Beef Programming Language
beef-language compiler ide programming-language
Last synced: 10 Apr 2025
https://github.com/beefytech/Beef
Beef Programming Language
beef-language compiler ide programming-language
Last synced: 20 Mar 2025
https://github.com/jank-lang/jank
The native Clojure dialect hosted on LLVM with seamless C++ interop.
clojure compiler cpp functional-programming jit language lisp llvm native programming-language
Last synced: 11 Apr 2025
https://github.com/minhaskamal/creepycodecollection
A Nonsense Collection of Disgusting Codes
code-golf creepy-codes esoteric esoteric-language golf golfing mandelbrot obfuscated polyglot programming programming-language quine signature
Last synced: 14 Apr 2025
https://github.com/MinhasKamal/CreepyCodeCollection
A Nonsense Collection of Disgusting Codes
code-golf creepy-codes esoteric esoteric-language golf golfing mandelbrot obfuscated polyglot programming programming-language quine signature
Last synced: 26 Mar 2025
https://github.com/BedirT/ACM-ICPC-Preparation
ACM-ICPC Preparation Guide
acm-icpc algorithm competitive-programming curriculum programming-language
Last synced: 15 Apr 2025
https://github.com/flix/flix
The Flix Programming Language
flix functional hacktoberfest imperative jvm language logic programming-language
Last synced: 11 Apr 2025
https://github.com/bedirt/acm-icpc-preparation
ACM-ICPC Preparation Guide
acm-icpc algorithm competitive-programming curriculum programming-language
Last synced: 14 Apr 2025
https://github.com/edubart/nelua-lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
c compiler efficient language lua luajit metaprogramming minimal nelua programming-language statically-typed
Last synced: 11 Apr 2025
https://github.com/leanprover/lean3
Lean Theorem Prover
dependent-types lean programming-language theorem-proving type-theory verification
Last synced: 19 Jan 2025
https://github.com/lining808/cs-ebook
一个高质量、经典计算机书籍推荐清单，特点为：只收集高质量，各方向经典书籍，不求书多，只求书精。
ai computer-science data-science deep-learning ebooks programming-language
Last synced: 14 Apr 2025
https://github.com/catalalang/catala
Programming language for literate programming law specification
legislative-texts programming-language
Last synced: 04 Apr 2025
