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-22 00:23:25 UTC
JSON Representation

https://github.com/lining808/CS-Ebook

一个高质量、经典计算机书籍推荐清单，特点为：只收集高质量，各方向经典书籍，不求书多，只求书精。

ai computer-science data-science deep-learning ebooks programming-language

Last synced: 06 Jan 2025

https://github.com/CatalaLang/catala

Programming language for literate programming law specification

legislative-texts programming-language

Last synced: 27 Dec 2024

https://github.com/kcl-lang/kcl

KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io

cloud-native compiler configuration configuration-language configuration-management devops functional infrastructure-as-code kubernetes language platform-engineering policy programming-language record rust schema shift-left validation

Last synced: 08 Apr 2025

https://github.com/valelang/vale

Compiler for the Vale programming language - http://vale.dev/

compiler language programming-language systems-programming vale

Last synced: 14 Apr 2025

https://github.com/chapel-lang/chapel

a Productive Parallel Programming Language

chapel compiler concurrency distributed-computing gpu high-performance-computing hpc language open-source parallel parallel-computing performance productive programming-language scientific-computing

Last synced: 11 Apr 2025

https://github.com/lamdu/lamdu

lamdu - towards the next generation IDE

integrated-development-environment programmer-tool programming-language projectional-editor structure-editor wytiwys

Last synced: 11 Apr 2025

https://github.com/ValeLang/Vale

Compiler for the Vale programming language - http://vale.dev/

compiler language programming-language systems-programming vale

Last synced: 26 Mar 2025

https://github.com/fusionlanguage/fut

Fusion programming language. Transpiling to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C.

language programming-language transpiler

Last synced: 11 Apr 2025

https://github.com/pocketpy/pocketpy

Portable Python 3.x Interpreter in Modern C for Game Scripting

c c11 header-only interpreter language programming-language python scripting-language vm

Last synced: 12 Apr 2025

https://github.com/rune-rs/rune

An embeddable dynamic programming language for Rust.

embedded programming-language scripting

Last synced: 08 Apr 2025

https://github.com/darklang/dark

Darklang main repo, including language, backend, and infra

cloud editor functional-programming programming-language

Last synced: 11 Apr 2025

https://github.com/kyclark/command-line-rust

Code for Command-Line Rust (O'Reilly, 2024, ISBN 9781098109417)

cli command-line programming-language rust

Last synced: 07 Apr 2025

https://github.com/luxlang/lux

The Lux Programming Language

clojure functional-languages functional-programming haskell javascript jvm-languages language lisp lua macros programming-language python ruby types

Last synced: 10 Apr 2025

https://github.com/LuxLang/lux

The Lux Programming Language

clojure functional-languages functional-programming haskell javascript jvm-languages language lisp lua macros programming-language python ruby types

Last synced: 20 Mar 2025

https://github.com/clojerl/clojerl

Clojure for the Erlang VM (unofficial)

beam clojure erlang erlang-vm programming-language

Last synced: 13 Apr 2025

https://github.com/factor/factor

Factor programming language

concatenative factor language programming-language stack

Last synced: 23 Mar 2025

https://github.com/metacall/core

MetaCall: The ultimate polyglot programming experience.

c cpp docker faas ffi function-mesh golang gsoc inter-language javascript metacall node nodejs polyglot polyglot-programming programming-language python ruby

Last synced: 09 Apr 2025

https://github.com/mattwparas/steel

An embedded scheme interpreter in Rust

contracts lisp programming-language racket rust scheme scripting-language transducers

Last synced: 03 Apr 2025

https://github.com/simonwaldherr/golang-examples

Go(lang) examples - (explain the basics of #golang)

education examples go golang hacktoberfest hacktoberfest-accepted howto learning programming-language

Last synced: 10 Apr 2025

https://github.com/intersectmbo/plutus

The Plutus language implementation and tools

blockchain programming-language smart-contracts

Last synced: 11 Apr 2025

https://github.com/SimonWaldherr/golang-examples

Go(lang) examples - (explain the basics of #golang)

education examples go golang hacktoberfest hacktoberfest-accepted howto learning programming-language

Last synced: 26 Mar 2025

https://github.com/IntersectMBO/plutus

The Plutus language implementation and tools

blockchain programming-language smart-contracts

Last synced: 26 Mar 2025

https://github.com/thakeenathees/pocketlang

A lightweight, fast embeddable scripting language.

bytecode-compiler c functional interpreter language programming-language scripting-language vm

Last synced: 05 Apr 2025

https://github.com/ThakeeNathees/pocketlang

A lightweight, fast embeddable scripting language.

bytecode-compiler c functional interpreter language programming-language scripting-language vm

Last synced: 08 Apr 2025

https://github.com/jmoenig/snap

a visual programming language inspired by Scratch

apcsp bjc blocks byob cs10 programming-language snap visual

Last synced: 10 Apr 2025

https://github.com/jmoenig/Snap

a visual programming language inspired by Scratch

apcsp bjc blocks byob cs10 programming-language snap visual

Last synced: 28 Mar 2025

https://github.com/mattn/anko

Scriptable interpreter written in golang

go programming-language

Last synced: 13 Apr 2025

https://github.com/fetlang/fetlang

Fetish-themed programming language

compiler esolang esoteric-language fetlang language programming-language transpiler

Last synced: 08 Apr 2025

https://github.com/ngs-lang/ngs

Next Generation Shell (NGS)

programming-language shell

Last synced: 11 Apr 2025

https://github.com/saptakbhoumik/peregrine

A blazing fast language for the blazing fast world(WIP)

compiler language peregrine peregrine-lang programming-language

Last synced: 28 Nov 2024

https://github.com/SaptakBhoumik/Peregrine

A blazing fast language for the blazing fast world(WIP)

compiler language peregrine peregrine-lang programming-language

Last synced: 25 Nov 2024

https://github.com/hendisantika/list-all-programming-telegram-group

List of All Programming Telegram Group

android group groups hacktoberfest hacktoberfest2021 indonesia intellij java kotlin programming-language python telegram-group user

Last synced: 11 Apr 2025

https://github.com/hendisantika/List-All-Programming-Telegram-Group

List of All Programming Telegram Group

android group groups hacktoberfest hacktoberfest2021 indonesia intellij java kotlin programming-language python telegram-group user

Last synced: 10 Apr 2025

https://github.com/vmware-archive/differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

datalog ddlog incremental programming-language rust

Last synced: 07 Apr 2025

https://github.com/vmware/differential-datalog

datalog ddlog incremental programming-language rust

Last synced: 10 Mar 2025

https://github.com/moonbitlang/moonbit-docs

The docs of MoonBit programming language

programming-language

Last synced: 08 Feb 2025

https://github.com/hylo-lang/hylo

The Hylo programming language

programming-language

Last synced: 12 Apr 2025

https://github.com/pedropark99/zig-book

An open, technical and introductory book for the Zig programming language 📚📖

book course programming programming-language tutorial tutorial-course zig ziglang

Last synced: 13 Apr 2025

https://github.com/titzer/virgil

A fast and lightweight native programming language

compiler garbage-collection native programming-language system-programming systems webassembly

Last synced: 13 Apr 2025

https://github.com/krisnova/naml

Convert Kubernetes YAML to Golang

go kubernetes programming-language yaml-templating

Last synced: 08 Apr 2025

https://github.com/ring-lang/ring

Simple and flexible programming language for applications development

compiler declarative-language desktop functional-programming games imperative-programming-language language linux macos mobile natural-language object-oriented procedural programming-language ring ring-programming-language virtual-machine web webassembly windows

Last synced: 14 Mar 2025

https://github.com/sharkdp/numbat

A statically typed programming language for scientific computations with first class support for physical dimensions and units

calculator physics programming-language statically-typed terminal-based units web-app

Last synced: 11 Apr 2025

https://github.com/dibyendumajumdar/ravi

Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

c jit lua mirjit programming-language

Last synced: 13 Apr 2025

https://github.com/gfngfn/satysfi

A statically-typed, functional typesetting system

functional-programming latex markup-language ocaml opam opentype pdf pdf-generation programming-language satysfi typesetting-system

Last synced: 12 Apr 2025

https://github.com/kylestetz/slang

🎤 a simple audio programming language implemented in JS

audio javascript livecoding programming-language

Last synced: 12 Apr 2025

https://github.com/gfngfn/SATySFi

A statically-typed, functional typesetting system

functional-programming latex markup-language ocaml opam opentype pdf pdf-generation programming-language satysfi typesetting-system

Last synced: 27 Mar 2025

https://github.com/objectionary/eo

EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-calculus

eolang java language object-oriented object-oriented-language object-oriented-programming oop programming-language

Last synced: 12 Apr 2025

https://github.com/stepfenshawn/cantonese

粤语編程語言.The Cantonese programming language.

cantonese cantonese-language compiler programming-language python3

Last synced: 11 Apr 2025

https://github.com/StepfenShawn/Cantonese

粤语編程語言.The Cantonese programming language.

cantonese cantonese-language compiler programming-language python3

Last synced: 30 Mar 2025

https://github.com/vtereshkov/umka-lang

Umka: a statically typed embeddable scripting language

c compiler concurrency coroutines cross-platform fibers interpreter language programming-language scripting-language static-typing virtual-machine

Last synced: 12 Apr 2025

https://github.com/inko-lang/inko

A language for building concurrent software with confidence

compiler inko llvm programming-language rust

Last synced: 13 Apr 2025

https://github.com/onelang/onelang

cpp csharp golang java javascript language perl php programming-language python ruby source-to-source swift transpiler typescript

Last synced: 08 Apr 2025

https://github.com/onelang/OneLang

cpp csharp golang java javascript language perl php programming-language python ruby source-to-source swift transpiler typescript

Last synced: 30 Mar 2025

https://github.com/aaronjanse/asciidots

Esolang inspired by ASCII art

ascii-art asciidots esolang esoteric-language programming-language python python3

Last synced: 13 Apr 2025

https://github.com/in28minutes/java-a-course-for-beginners

Java Programming Tutorial for Beginners

java java-8 java-9 java-programming programming programming-language tutorial tutorial-teaches-people

Last synced: 08 Apr 2025

https://github.com/evincarofautumn/kitten

A statically typed concatenative systems programming language.

concatenative effects forth haskell language programming-language static-types

Last synced: 09 Apr 2025

https://github.com/primaryobjects/ai-programmer

Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149

ai artificial-intelligence c-sharp fitness-score genetic-algorithm genetic-algorithms genetic-programming genome program-synthesis programming-language

Last synced: 12 Apr 2025

https://github.com/zesterer/tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

compiler functional programming-language

Last synced: 12 Apr 2025

https://github.com/vrtbl/passerine

A small extensible programming language designed for concise expression with little code.

compiler interpreter macros passerine programming-language vm

Last synced: 11 Apr 2025

https://github.com/vpanjeta/modiscript

Acche din aa gaye

ast compiler esoteric esoteric-interpreter esoteric-language esoteric-programming-language fun hindi language modi modiscript programming programming-language programming-languages python syntax tree

Last synced: 12 Apr 2025

https://github.com/hamler-lang/hamler

Haskell-style functional programming language running on Erlang VM.

compiler hamler programming-language

Last synced: 12 Apr 2025

https://github.com/CakeML/cakeml

CakeML: A Verified Implementation of ML

compiler formal-semantics formal-verification hol programming-language sml theorem-proving

Last synced: 12 Apr 2025

https://github.com/marcpaq/b1fipl

A Bestiary of Single-File Implementations of Programming Languages

basic brainfuck forth lisp pascal programming-language

Last synced: 04 Apr 2025

https://github.com/gaijinentertainment/dascript

daslang - high-performance statically strong typed scripting language

game-development interpreter programming-language scripting-language static-typing

Last synced: 13 Apr 2025

https://github.com/GaijinEntertainment/daScript

daslang - high-performance statically strong typed scripting language

game-development interpreter programming-language scripting-language static-typing

Last synced: 12 Apr 2025

https://pedropark99.github.io/zig-book/

An open, technical and introductory book for the Zig programming language

book course programming programming-language tutorial tutorial-course zig ziglang

Last synced: 06 Feb 2025

https://github.com/clio-lang/clio

Clio is a functional, parallel, distributed programming language.

clio compiler distributed-programming functional-programming language parallelism programming-language

Last synced: 26 Mar 2025

https://github.com/sumn2u/learn-javascript

A book that teaches JavaScript 📗💻📖

beginner beginner-friendly collaborate development-handbook front-end github hacktoberfest javascript js learn-javascript learn-to-code learning open-source programming programming-language student-vscode web-development

Last synced: 13 Apr 2025

https://github.com/alilleybrinker/langs-in-rust

A list of programming languages implemented in Rust, for inspiration.

programming-language rust

Last synced: 13 Apr 2025

https://github.com/egison/egison

The Egison Programming Language

computer-algebra-system differential-geometry egison functional-programming hacktoberfest pattern-matching programming-language tensor

Last synced: 12 Apr 2025

https://github.com/neugram/ng

scripting language integrated with Go

golang programming-language scripting-language

Last synced: 03 Dec 2024

https://github.com/hirrolot/metalang99

Full-blown preprocessor metaprogramming

c c99 cpp cpp11 embedded-language fp functional-language functional-programming header-only interpreter language macros metalang99 metaprogramming programming-language

Last synced: 13 Apr 2025

https://github.com/noir-lang/noir

Noir is a domain specific language for zero knowledge proofs

compiler cryptography noir-lang programming-language zero-knowledge

Last synced: 30 Mar 2025

https://github.com/Hirrolot/metalang99

Full-blown preprocessor metaprogramming

c c99 cpp cpp11 embedded-language fp functional-language functional-programming header-only interpreter language macros metalang99 metaprogramming programming-language

Last synced: 21 Nov 2024

https://github.com/wmww/Pinecone

An unmaintained programming language

language pinecone programming-language

Last synced: 18 Nov 2024

https://j2team.github.io/awesome-AutoIt/

:star: A curated list of awesome UDFs, example scripts, tools and useful resources for AutoIt.

autoit autoit-script awesome awesome-list list programming-language scripting-language udf

Last synced: 14 Nov 2024

https://github.com/stevedonovan/gentle-intro

A gentle Rust tutorial

programming-language rust tutorial

Last synced: 09 Apr 2025

https://github.com/yoeo/guesslang

Detect the programming language of a source code

classification deep-learning deep-neural-networks machine-learning programming-language python tensorflow

Last synced: 13 Apr 2025

https://github.com/virejdasani/pythOwO

an UwU programming language

hacktoberfest hacktoberfest2022 owo programming-language python pythowo pythuwu uwu uwulang virej youtube

Last synced: 13 Apr 2025

https://github.com/eguatech/egua

Linguagem de programação em português, simples e moderna

egua javascript linguagem-de-programacao portugues programacao programming-language

Last synced: 17 Nov 2024

https://github.com/felix-lang/felix

The Felix Programming Language

c-plus-plus code-generator compiled compiler coroutine-framework coroutines functional-programming ocaml parametric-polymorphism performant platform-independent polymorphism programming programming-language scripting-language static-analysis type-classes

Last synced: 06 Apr 2025

https://github.com/lingdong-/wax

A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀

c99 compiler java programming-language transpiler typescript

Last synced: 10 Apr 2025

https://github.com/sobeston/zig.guide

Repo for https://zig.guide content. Get up to speed with Zig quickly.

documentation education educational learn-to-code learning learning-by-doing programming-language zig ziglang

Last synced: 13 Apr 2025

https://github.com/LingDong-/wax

A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀

c99 compiler java programming-language transpiler typescript

Last synced: 19 Mar 2025

https://github.com/Sobeston/zig.guide

Repo for https://zig.guide content. Get up to speed with Zig quickly.

documentation education educational learn-to-code learning learning-by-doing programming-language zig ziglang

Last synced: 13 Apr 2025

https://github.com/justinmeza/lci

A LOLCODE interpreter written in C.

c esoteric-programming-language interpreter lolcode lolcode-interpreter programming-language

Last synced: 17 Nov 2024

https://github.com/ehsanmok/create-your-own-lang-with-rust

Create your own programming language with Rust

book compiler compiler-design language-design programming-language rust-lang teaching-materials

Last synced: 12 Apr 2025

https://github.com/nickmqb/muon

Modern low-level programming language

programming-language

Last synced: 04 Apr 2025

https://github.com/astrolang/astro

A fun safe language for rapid prototyping and high performance applications

astro javascript language-features numerical-computation programming-language python wasm webassembly

Last synced: 04 Apr 2025

https://github.com/arturo-lang/arturo

Simple, expressive & portable programming language for efficient scripting

arturo bytecode functional-programming homoiconic interpreter language programming-language stack-based virtual-machine

Last synced: 14 Apr 2025

https://github.com/Rick-Lang/rickroll-lang

The Rick Roll programming language is a rickroll based, process oriented, dynamic, strong, esoteric programming language. All of the keywords/statements are from Rick Astley's lyrics. Check our tutorial site, https://rick-lang.github.io/programming-language-explainer/

abstract-syntax-tree ast compiler esoteric-language esoteric-programming-language interpreter language meme memes never-gonna-give-you-up programming-language python python3 rick-astley rick-roll-language rickroll rickroll-lang transpiler youtube