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/justinmeza/lolcode-spec
LOLCODE language specification archives and development.
esoteric-programming-language lolcode programming-language rfc specification
Last synced: 14 Mar 2025
https://github.com/ArkScript-lang/Ark
ArkScript is a small, fast, functional and scripting language for C++ projects
ark arkscript compiler cpp language lisp programming-language scripting scripting-language virtual-machine vm
Last synced: 01 Apr 2025
https://github.com/tcltk/tcl
The Tcl Core. (Mirror of core.tcl-lang.org)
cross-platform interpreter jit-compiler jit-interpreter language linux macos programming-language script scripting scripts tcl unix windows
Last synced: 13 Nov 2024
https://github.com/cotowali/cotowali
A statically typed scripting language that transpile into POSIX sh
cotowari language programming-language shell-script transpiler
Last synced: 04 Apr 2025
https://github.com/pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker
Last synced: 12 Nov 2024
https://github.com/johnearnest/ok
An open-source interpreter for the K5 programming language.
interpreter livecoding programming-language repl vector
Last synced: 04 Apr 2025
https://github.com/goruby/goruby
GoRuby, an implementation of Ruby written in Go
go golang interpreter language programming-language ruby
Last synced: 30 Nov 2024
https://github.com/onyx-lang/onyx
✨ The compiler and developer toolchain for Onyx
programming-language wasm webassembly
Last synced: 27 Mar 2025
https://github.com/JohnEarnest/ok
An open-source interpreter for the K5 programming language.
interpreter livecoding programming-language repl vector
Last synced: 12 Nov 2024
https://github.com/jobhope/TechnicalNote
Repository to store what we have studied. :book: We want everyone to get a job through TechnicalNote.
algorithm computer-architecture computer-science cpp data-structures database design-patterns github java linear-algebra network operating-system programming-language security software-engineering sort tech-interview technical-notes web windows
Last synced: 13 Nov 2024
https://github.com/thesephist/ink
Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.
functional-programming golang ink-programming-language javascript programming-language
Last synced: 05 Apr 2025
https://github.com/m-ender/hexagony
A two-dimensional, hexagonal programming language.
esolang hexagonal interpreter programming-language two-dimensional
Last synced: 28 Nov 2024
https://github.com/vexu/bog
Small, strongly typed, embeddable language.
compiler programming-language zig
Last synced: 28 Dec 2024
https://github.com/frol/completely-unscientific-benchmarks
Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)
ada benchmark cpp csharp dlang golang haskell java javascript kotlin lua luajit nim programming-language python ruby rust scoreboard swift
Last synced: 05 Apr 2025
https://github.com/leocardoso94/free-courses
A collection of free courses about programming :book:
course courses education free free-courses hacktoberfest learn learn-to-code learning programming-courses programming-language react study
Last synced: 04 Apr 2025
https://github.com/Gwion/Gwion
:musical_note: strongly-timed musical programming language
audio chuck compiler composition hacktoberfest interpreter lang language music programming-language real-time realtime-audio sound synth synthesis
Last synced: 12 Apr 2025
https://github.com/onflow/cadence
Cadence, the resource-oriented smart contract programming language 🏃♂️
cadence language onflow programming-language smart-contracts
Last synced: 11 Apr 2025
https://github.com/jolie/jolie
The Jolie programming language
jolie microservices programming-language
Last synced: 05 Apr 2025
https://github.com/Leocardoso94/Free-Courses
A collection of free courses about programming :book:
course courses education free free-courses hacktoberfest learn learn-to-code learning programming-courses programming-language react study
Last synced: 30 Mar 2025
https://github.com/jondgoodwin/cone
Cone Programming Language
compiler concurrency cone memory-management programming-language systems-language type-safety web3d webassembly
Last synced: 05 Apr 2025
https://github.com/abs-lang/abs
Home of the ABS programming language: the joy of shell scripting.
bash golang programming-language scripting scripting-language scripting-languages shell shell-scripting
Last synced: 21 Apr 2025
https://github.com/fsharp/fslang-design
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
fsharp language-design programming-language rfc
Last synced: 14 Apr 2025
https://github.com/thesephist/tabloid
A minimal programming language inspired by clickbait headlines
clickbait interpreter parser programming-language
Last synced: 05 Apr 2025
https://github.com/spcl/dace
DaCe - Data Centric Parallel Programming
cuda fpga high-level-synthesis high-performance-computing programming-language vivado-hls
Last synced: 11 Apr 2025
https://github.com/torch2424/wasm-by-example
Wasm By Example is a website with a set of hands-on introduction examples and tutorials for WebAssembly (Wasm)
example examples introduction learning learning-by-doing programming-language tutorial wasm webassembly
Last synced: 12 Apr 2025
https://github.com/lambdaclass/cleopatra_cairo
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
blockchain compiler cryptography programming-language rust stark zkp
Last synced: 20 Mar 2025
https://github.com/lambdaclass/cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
blockchain compiler cryptography programming-language rust stark zkp
Last synced: 13 Apr 2025
https://github.com/lilydjwg/swapview-rosetta
Print swap usage per process. Implemented in various programming languages
comparison helloworld linux programming-exercise programming-language rust
Last synced: 11 Apr 2025
https://github.com/paladin-t/my_basic
A lightweight BASIC interpreter written in standard C in dual files. Aims to be embeddable, extendable and portable.
basic interpreter programming-language scripting-language
Last synced: 05 Apr 2025
https://github.com/dfinity/motoko
Simple high-level language for writing Internet Computer canisters
internet-computer motoko motoko-language programming-language
Last synced: 01 Apr 2025
https://github.com/topshell-language/topshell
TopShell - a purely functional, reactive scripting language
functional-programming programming-language reactive type-safety
Last synced: 13 Mar 2025
https://github.com/eclipse-archived/golo-lang
Golo - a lightweight dynamic language for the JVM.
golo invokedynamic java jvm language programming-language
Last synced: 13 Nov 2024
https://github.com/kspalaiologos/malbolge-lisp
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
esoteric lisp malbolge programming-language
Last synced: 28 Nov 2024
https://github.com/anoma/juvix
A language for intent-centric and declarative decentralised applications
anoma arithmetic-circuits functional-programming privacy-preserving-technologies programming-language
Last synced: 25 Mar 2025
https://github.com/redgeoff/mson
🏗️MSON Lang: Generate an app from JSON
app-generator javascript json material-ui mson programming-language react validation
Last synced: 12 Apr 2025
https://github.com/iamgio/quarkdown
🪐 Markdown with superpowers — from ideas to presentations, articles and books.
markdown markdown-parser markup-language paper pdf presentations programming-language scripting-language slides typesetting typesetting-system
Last synced: 12 Apr 2025
https://github.com/wu-lang/wu
🐉 A practical game and data language
language lua programming-language wu
Last synced: 30 Nov 2024
https://github.com/lenguaje-latino/latino
Lenguaje de programación de código abierto para latinos y de habla hispana.
espanol latino lenguaje-de-programacion lenguaje-latino programacion programming-language
Last synced: 03 Apr 2025
https://github.com/ohkimur/the-c-programming-language-2nd-edition-solutions
Solutions to the exercises in the book "The C Programming Language" (2nd edition) by Brian W. Kernighan and Dennis M. Ritchie. This book is also referred to as K&R.
c c-language c-programming language programming programming-challenges programming-exercises programming-language solution solutions
Last synced: 04 Apr 2025
https://github.com/cmajor-lang/cmajor
The Cmajor public API
audio dsp programming-language
Last synced: 16 Mar 2025
https://github.com/pen-lang/pen
The parallel, concurrent, and functional programming language for scalable software development
concurrency functional go language programming-language rust statically-typed wasm
Last synced: 13 Apr 2025
https://github.com/larsbrinkhoff/lbforth
Self-hosting metacompiled Forth, bootstrapping from a few lines of C; targets Linux, Windows, ARM, RISC-V, 68000, PDP-11, asm.js.
6502 8051 arm asmjs avr compiler cortex-m forth interpreter linux m68k metacompiler msp430 pdp11 programming-language risc-v riscv self-hosted x86
Last synced: 05 Apr 2025
https://github.com/larsbrinkhoff/lbForth
Self-hosting metacompiled Forth, bootstrapping from a few lines of C; targets Linux, Windows, ARM, RISC-V, 68000, PDP-11, asm.js.
6502 8051 arm asmjs avr compiler cortex-m forth interpreter linux m68k metacompiler msp430 pdp11 programming-language risc-v riscv self-hosted x86
Last synced: 21 Apr 2025
https://github.com/slovnicki/plam
An interpreter for learning and exploring pure λ-calculus
church church-encoding computability computability-theory functional-programming interpreter lambda lambda-calculus language logic-programming numeral-systems programming-language
Last synced: 06 Apr 2025
https://github.com/slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
church church-encoding computability computability-theory functional-programming interpreter lambda lambda-calculus language logic-programming numeral-systems programming-language
Last synced: 13 Nov 2024
https://github.com/rhysd/wain
WebAssembly implementation from scratch in Safe Rust with zero dependencies
interpreter programming-language wasm wat webassembly
Last synced: 08 Apr 2025
https://github.com/lurk-lab/lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
compiler cryptography programming-language rust zero-knowledge zk-snarks
Last synced: 28 Dec 2024
https://github.com/nVoid/Introduction-to-touchdesigner
Open source introductory manual for Derivative TouchDesigner 088
creative-coding programming-language python shaders touchdesigner
Last synced: 25 Mar 2025
https://github.com/interactiveimmersivehq/Introduction-to-touchdesigner
Open source introductory manual for Derivative TouchDesigner 088
creative-coding programming-language python shaders touchdesigner
Last synced: 21 Feb 2025
https://github.com/phel-lang/phel-lang
Phel is a functional programming language that transpiles to PHP. A Lisp dialect inspired by Clojure and Janet.
clojure functional-programming language lisp phel phel-lang php programming-language transpiler
Last synced: 13 Apr 2025
https://github.com/zeroflag/punyforth
Forth inspired programming language for the ESP8266
concatenative-language embedded-devices esp8266 forth iot microcontroller programming-language raspberry-pi
Last synced: 05 Apr 2025
https://github.com/kulics/koral
An open source cross-platform programming language focused on efficiency.
cross-platform grammar language programming-language
Last synced: 14 Apr 2025
https://github.com/Water-Melon/Melang
A script language of time-sharing scheduling coroutine in single thread
base64 coroutine cron injection interpreter json language lexer linux md5 mysql parser-generator programming-language rc4 reactive-programming script-language sha1 sha256 syntax-analysis unix
Last synced: 04 Apr 2025
https://github.com/water-melon/melang
A script language of time-sharing scheduling coroutine in single thread
base64 coroutine cron injection interpreter json language lexer linux md5 mysql parser-generator programming-language rc4 reactive-programming script-language sha1 sha256 syntax-analysis unix
Last synced: 08 Apr 2025
https://github.com/abranhe/programming-languages-logos
Programming Languages Logos
design logos png programming-language programming-languages programming-languages-logos svg
Last synced: 12 Apr 2025
https://github.com/mazeppa-dev/mazeppa
A modern supercompiler for call-by-value functional languages
compiler functional functional-programming intermediate-representation language optimization performance program-analysis programming-language static-analysis supercompiler symbolic-execution
Last synced: 12 Mar 2025
https://github.com/catchthetornado/askql
AskQL is a query language that can express any data request
api graphql hacktoberfest integration nodejs programming-language query-language rest-api typescript
Last synced: 05 Apr 2025
https://github.com/haifenghuang/monkey
Interpreter with support for class, linq, sql, net, http, fmt, json and A realtime syntax highlighting REPL.
interpreted-languages interpreter language object-oriented pratt-parser programming-language scripting-language scripting-languages
Last synced: 15 Nov 2024
https://github.com/CatchTheTornado/askql
AskQL is a query language that can express any data request
api graphql hacktoberfest integration nodejs programming-language query-language rest-api typescript
Last synced: 14 Nov 2024
https://github.com/PlutoLang/Pluto
A superset of Lua 5.4 with a focus on general-purpose programming.
dialect language lua pluto plutolang programming-language superset
Last synced: 20 Nov 2024
https://github.com/program-in-chinese/overview
中文编程的历史、现状和展望。issue 中进行相关问题的讨论.
chinese program-in-chinese programming-language readability styleguide tutorial
Last synced: 30 Mar 2025
https://github.com/rntz/datafun
Research on integrating datalog & lambda calculus via monotonicity types
compiler datalog monotonicity programming-language query semilattices type-theory
Last synced: 29 Nov 2024
https://github.com/NishanthSpShetty/crust
C/C++ to Rust transpiler
programming-language rust rust-transpiler
Last synced: 15 Nov 2024
https://github.com/paradigmxyz/solar
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
compiler ethereum evm programming-language solc solidity yul
Last synced: 10 Apr 2025
https://github.com/thosakwe/t2b
A wicked-powerful text macro language for building binary files.
command-line macros programming-language t2b
Last synced: 06 Apr 2025
https://github.com/ecere/ecere-sdk
Ecere SDK (eC Language, Ecere IDE, Cross platform GUI, graphics, and more) — http://ec-lang.org —
3d-graphics-engine android binding-generator cross-platform cross-platform-development cross-platform-gui cross-platform-ide ec ec-language game-engine gui-toolkit hololens ide magicleap programming-language sdk vr
Last synced: 26 Mar 2025
https://github.com/juliasymbolics/metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
compiler-construction compiler-optimization egraphs equality-saturation julia optimization programming-language symbolic symbolic-computation symbolic-manipulation term-rewriting
Last synced: 14 Apr 2025
https://github.com/rohansi/mond
A scripting language for .NET Core
aot-compatible bytecode c-sharp compiler debugger dotnet dotnet-core embedded-scripting-language interpreter language mond nuget programming-language repl script-engine scripting scripting-language scripting-languages webassembly
Last synced: 08 Apr 2025
https://github.com/cedille/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
dependent-intersections dependent-types lambda-calculus programming-language
Last synced: 18 Mar 2025
https://github.com/JuliaSymbolics/Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
compiler-construction compiler-optimization egraphs equality-saturation julia optimization programming-language symbolic symbolic-computation symbolic-manipulation term-rewriting
Last synced: 29 Nov 2024
https://github.com/Shen-Language/shen-sources
Shen language kernel sources for porters
functional-programming lisp logic-programming programming-language prolog shen static-typing
Last synced: 28 Nov 2024
https://github.com/wenyan-lang/book
文言陰符 An Introduction to Programming in Wenyan Language
book chinese classical-chinese documentation programming-language tutorial wenyan-lang
Last synced: 06 Apr 2025
https://github.com/bitloops/bitloops-language
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
bdd bdd-tests behavior-driven-development bitloops bitloops-language clean-architecture contributions-welcome ddd ddd-architecture ddd-example developer-tools domain-driven-design domain-model open-source opensource programming-language test-driven-development transpiler typescript ubiquitous-language
Last synced: 14 Apr 2025
https://github.com/ClueLang/Clue
C/Rust like programming language that compiles into Lua code
cluelang compiler hacktoberfest language lua programming-language rust transpiler
Last synced: 12 Apr 2025
https://github.com/cluelang/clue
C/Rust like programming language that compiles into Lua code
cluelang compiler hacktoberfest language lua programming-language rust transpiler
Last synced: 13 Apr 2025
https://github.com/Rohansi/Mond
A scripting language for .NET Core
aot-compatible bytecode c-sharp compiler debugger dotnet dotnet-core embedded-scripting-language interpreter language mond nuget programming-language repl script-engine scripting scripting-language scripting-languages webassembly
Last synced: 14 Mar 2025
https://github.com/kfl/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
compiler programming-language standard-ml
Last synced: 26 Mar 2025
https://github.com/snektron/pareas
GPU-accelerated compiler
compiler cpp futhark gpgpu programming-language
Last synced: 06 Apr 2025
https://github.com/StaticScript/StaticScript
A new statically typed programming language, syntactically like TypeScript.
compiler language llvm programming-language static-typing staticscript typescript
Last synced: 06 Dec 2024
https://github.com/makenowjust/quine
Quine Museum
hacking language programming-language quine
Last synced: 28 Feb 2025
https://github.com/lspector/clojush
The Push programming language and the PushGP genetic programming system implemented in Clojure.
clojure genetic-programming interpreter programming-language pushgp stack-based
Last synced: 09 Apr 2025
https://github.com/lspector/Clojush
The Push programming language and the PushGP genetic programming system implemented in Clojure.
clojure genetic-programming interpreter programming-language pushgp stack-based
Last synced: 21 Apr 2025
https://github.com/cparse/cparse
A C++ configurable Expression Parser. Useful as a Calculator or for helping you write your own Programming Language
c-plus-plus calculator expression-parser programming-language
Last synced: 14 Nov 2024
https://github.com/mna/agora
a dynamically typed, garbage collected, embeddable programming language built with Go
Last synced: 13 Mar 2025
https://github.com/pirapira/bamboo
Bamboo see https://github.com/cornellblockchain/bamboo
bamboo ethereum ethereum-contract evm language programming-language
Last synced: 06 Apr 2025
https://github.com/saeiddrv/PythonPersianTutorial
"Python in Persian" is an open-source online book that offers a comprehensive tutorial on the Python programming language in Persian.
book coderz persian-language programming-language python python-book sphinx tutorial
Last synced: 20 Nov 2024
https://github.com/endbasic/endbasic
BASIC environment with a REPL, a web interface, a graphical console, and RPi support written in Rust
basic gpio graphics-programming interpreter language learn-to-code parser programming-language raspberry-pi repl rust scripting-language sdl2
Last synced: 14 Apr 2025
https://github.com/alantech/alan
Autoscalable Programming Language
alan parallelization programming-language
Last synced: 12 Apr 2025
https://github.com/candy-lang/candy
🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.
compiler fuzzer hacktoberfest language language-server programming-language rust
Last synced: 10 Apr 2025
https://github.com/thomscoder/luna
🌙 A really tiny WebAssembly compiler for demonstration and educational purposes. Written in Go and built as one of my quests to conquer the WebAssembly dungeon
codemotion compiler javascript learning learning-by-doing personal-project programming-language runtime sample-code tinygo wasm wasmer wasmtime wat2wasm webassembly
Last synced: 21 Nov 2024
https://github.com/lingdong-/psvg
Programmable Scalable Vector Graphics -- drawings that draw themselves
image-format programming-language svg vector-graphics
Last synced: 06 Apr 2025
https://github.com/goplus/c2go
Convert C to Go
c c2go go golang gop goplus programming-language
Last synced: 14 Mar 2025
https://github.com/jamiebuilds/ghost-lang
:ghost: A friendly little language for you and me.
Last synced: 01 Apr 2025
https://github.com/ajeetdsouza/loxcraft
Language tooling for the Lox programming language.
bytecode bytecode-interpreter compiler compiler-construction compiler-design crafting-interpreters hacktoberfest interpreter lalrpop language-server-protocol lox lox-language programming-language repl rust scripting-language tree-sitter virtual-machine webassembly
Last synced: 07 Apr 2025
https://github.com/tensorlang/tensorlang
Tensorlang, a differentiable programming language based on TensorFlow
automatic-differentiation deep-learning machine-learning programming-language tensorflow
Last synced: 27 Nov 2024
https://github.com/one-language/one
One (onelang) is an open-source system programming language that makes it easy to build reliable, efficient and performant software. (release as soon) 1️⃣ 🕐 🩱
compiler compiler-backend compiler-designs compiler-frontend compiler-optimization compiler-tool compilers-design hacktoberfest language llvm llvm-compiler llvm-frontend one one-lang onelang open-source programming programming-language programming-languages self-hosting
Last synced: 08 Apr 2025
