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: 2026-01-16 00:25:52 UTC
- JSON Representation
https://github.com/pannous/english-script
π οΌ₯ο½ο½ο½ο½ο½ο½ as a programming language
compiler programming-language ruby
Last synced: 16 Mar 2025
https://github.com/artagnon/rhine
π¬ a C++ compiler middle-end, using an LLVM backend
c-plus-plus compiler compiler-design llvm programming-language
Last synced: 18 Dec 2025
https://github.com/ekmett/coda
A language experiment -- irc.freenode.net ##coda
coda haskell node programming-language visual-studio vscode-extension
Last synced: 15 Oct 2025
https://github.com/Storyyeller/cubiml-demo
A simple ML-like programming language with subtyping and full type inference.
programming-language type-inference
Last synced: 12 Apr 2025
https://github.com/alexst07/shell-plus-plus
A friendly and modern functional object oriented language for shell script.
command-line glob glob-pattern language programming-language scripting-language shell shell-script shellscript terminal
Last synced: 13 Apr 2025
https://github.com/Lartu/ldpl
COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases π¦πΌ
cobol compiled compiler dinosaur dinosaurs imperative-programming imperative-programming-language ldpl programming-language robust robustness static static-typed structured structured-programming systems-language systems-programming typed
Last synced: 12 Apr 2025
https://github.com/fluencelabs/aqua
Programming language for distributed systems & p2p
Last synced: 02 Aug 2025
https://github.com/yubrot/llrl
An experimental Lisp-like programming language
compiler lisp llvm macro programming-language rust self-hosting
Last synced: 21 Jul 2025
https://github.com/objeck/objeck-lang
Objeck is a modern object-oriented programming language with functional features tailored for machine learning. It emphasizes expression, simplicity, portability, and scalability. The programming environment consists of a compiler, virtual machine, REPL shell, and command line debugger with IDE plugins.
arm64 assembly-language c compiler cplusplus debuggers documentation examples jit-compilation linux lsp-server macos memory-management programming-language rpi4 runtime-system windows x64
Last synced: 04 Apr 2025
https://github.com/disco-lang/disco
Functional teaching language for use in a discrete mathematics course
discrete-mathematics functional-programming programming-language teaching
Last synced: 10 Jul 2025
https://github.com/Glistix/glistix
Fork of the Gleam compiler providing a Nix backend, compiling Gleam to Nix
compiler gleam nix programming-language
Last synced: 17 Jul 2025
https://github.com/savi-lang/savi
A fast language for programmers who are passionate about their craft.
actor-model compiler concurrent-programming llvm programming-language savi
Last synced: 20 Aug 2025
https://github.com/utkarsh1504/dsa-java
This repository contains all the concepts related to data structures and algorithms to get started. It also consists of a lot of problem-solving techniques that will help you in solving the questions of the coding rounds.
algorithms begginer-friendly coding-challenge competitiveprogramming data-structures dsa first-time good-first-issue hacktoberfest hacktoberfest-accepted hacktoberfest-starter hacktoberfest2023 interview-preparation java programming programming-language
Last synced: 07 Apr 2025
https://github.com/opshin/opshin
A simple pythonic programming language for Smart Contracts on Cardano
cardano compiler hacktoberfest language programming-language python smart-contracts validator
Last synced: 16 May 2025
https://github.com/OpShin/opshin
A simple pythonic programming language for Smart Contracts on Cardano
cardano compiler hacktoberfest language programming-language python smart-contracts validator
Last synced: 19 Apr 2025
https://github.com/kmyk-jikka/Jikka
an automated solver for problems of competitive programming
algorithms competitive-programming compiler optimization programming-contests programming-language transpiler
Last synced: 27 Mar 2025
https://github.com/gfngfn/sesterl
An ML-like statically-typed Erlang
actor-model concurrent-programming erlang f-ing-modules module-system monad ocaml process-calculus programming-language sesterl statically-typed type-system
Last synced: 16 Mar 2025
https://github.com/dimkr/szl
A lightweight, embeddable scripting language
c c99 dynamic-typing embeddable embedded embedded-scripting-language embedded-systems engine interactive interpreted-programming-language interpreter iot library lightweight linux mit programming-language script scripting shell
Last synced: 12 Jun 2025
https://github.com/ksco/BuildYourOwnLispCn
Build Your Own Lisp δΈζη
c lisp-interpreter programming-language
Last synced: 07 May 2025
https://github.com/ftripier/spookyc
A compiler for the π Spooky π± programming language π»
boo fear ghost halloween memes novelty programming-language scary skeleton spooky surprise vampire ventriloquist-dolls werewolf
Last synced: 07 May 2025
https://github.com/flax-lang/flax
general purpose programming language, in the vein of C++
c-plus-plus compiler flax language language-design llvm programming-language
Last synced: 11 Jan 2026
https://github.com/sarl/sarl
SARL Agent-Oriented Programming Language http://www.sarl.io
agent agent-based agent-based-modeling agent-teamwork agents dsl framework ide java linux macox programming-language windows xtext
Last synced: 04 Oct 2025
https://github.com/iamgio/pikt
:art: Image-based poetic programming language.
compiler esolang esoteric esoteric-language esoteric-programming-language interpreter jvm programming-language transpiler
Last synced: 25 Oct 2025
https://github.com/juanmanuel-tirado/savetheworldwithgo
Build systems with Go examples
book cobra concurrency free go gocql golang grpc-go kafka learning programming-exercises programming-language protobuf sql
Last synced: 11 Jun 2025
https://github.com/capjamesg/knowledge-graph-language
A query language for exploring knowledge graphs.
knowledge-graph programming-language
Last synced: 10 Apr 2025
https://github.com/Feral-Lang/Feral
Feral programming language reference implementation
bytecode-interpreter compiler cpp cpp20 cxx cxx20 interpreted-programming-language interpreter proglangs-discord programming-language scripting-language
Last synced: 12 Apr 2025
https://github.com/ibarryyan/golang-tips-100
You know , for golang tips!
code go golang golang-library http programming programming-language rpc tips
Last synced: 14 Jan 2026
https://github.com/gentee/gentee
Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).
automation compiler embedded-language go golang language programming-language script script-engine scripting-language virtual-machine
Last synced: 11 Jan 2026
https://github.com/duffney/golang-notebook
coding-interviews golang leetcode programming-language system-design-interview
Last synced: 08 Oct 2025
https://github.com/turbopape/scheje
A little scheme implementation on top of Clojure
clojure compiler evaluator lisp macros programming-language scheme
Last synced: 10 Apr 2025
https://github.com/fionafibration/owoScript
An OwO based, stack-oriented programming language
antlr4-grammar antlr4-python3 esoteric-programming-language owo owo-whats-this programming-language programming-languages python python3
Last synced: 26 Mar 2025
https://github.com/fionafibration/owoscript
An OwO based, stack-oriented programming language
antlr4-grammar antlr4-python3 esoteric-programming-language owo owo-whats-this programming-language programming-languages python python3
Last synced: 22 Apr 2025
https://github.com/benzap/eden
Embedded and Extensible Scripting Language in Clojure
clojure clojurescript eden lua programming-language
Last synced: 15 Mar 2025
https://github.com/ffwff/hana
πΈ a simple scripting language (alpha) πΈ
bytecode-interpreter programming-language scripting-language
Last synced: 30 Apr 2025
https://github.com/jcubic/gaiman
Gaiman: Text based game engine and programming language
dsl game game-development javascript javascript-library programming-language story story-driven-games storytelling text-adventure text-adventure-engine text-adventure-game text-adventure-games
Last synced: 04 Apr 2025
https://github.com/kekcleader/FreeOberon
Cross-platform IDE for development in Oberon programming language made in the classical FreePascal-like pseudo-graphic style.
compiler console-visualization cross-platform graphics-programming gui-application gui-programming ide libsdl2-dev linux oberon pascal programming-language retro terminal-emulator text-editor turbo-c turbo-pascal windows
Last synced: 12 Apr 2025
https://github.com/uraimo/swiftylisp
A minimal LISP implemented in Swift
interpreter language lisp programming-language
Last synced: 19 Oct 2025
https://github.com/storyyeller/intercalscript
The IntercalScript programming language
programming-language type-inference
Last synced: 05 Jan 2026
https://github.com/xsavitar/programming-books-and-resources
:book: Collection of programming related books & their frameworks.
books programming-language programming-resources
Last synced: 14 Jul 2025
https://github.com/murisi/l2
A minimalist type-inferred programming language with procedural macro support
c hindley-milner lisp longjmp macros meta-programming programming-language s-expressions scheme setjmp type-inference unsafe
Last synced: 06 Sep 2025
https://github.com/murisi/L2
A minimalist type-inferred programming language with procedural macro support
c hindley-milner lisp longjmp macros meta-programming programming-language s-expressions scheme setjmp type-inference unsafe
Last synced: 12 May 2025
https://github.com/hatashiro/kou
A minimal language compiled into wasm bytecode
compiler programming-language wasm
Last synced: 25 Mar 2025
https://github.com/emillaine/cx
C* is a hybrid low-level/high-level systems programming language focused on performance and productivity.
compiler fast high-performance language native performance programming-language system-programming systems-language
Last synced: 12 Jun 2025
https://github.com/zegl/tre
LLVM backed progamming language (Go subset)
clang golang language llvm llvm-ir programming-language
Last synced: 28 Oct 2025
https://github.com/uraimo/SwiftyLISP
A minimal LISP implemented in Swift
interpreter language lisp programming-language
Last synced: 16 Jul 2025
https://github.com/pashmaklang/pashmak
The Pashmak Programming Language
interpreter language pashmak pashmak-interpreter pashmak-programming-language prgroamming programming-language python
Last synced: 09 Jul 2025
https://github.com/julelang/jule
Effective programming language to build efficient, fast, reliable and safe software while maintaining simplicity
compiler jule julelang language programming-language
Last synced: 05 Apr 2025
https://github.com/pannous/angle
β¦ Angle: new speakable syntax for python π‘
apple-script compiler programming-by-natural-language programming-language python speech-recognition speech-to-text
Last synced: 09 Apr 2025
https://github.com/lice-lang/lice
A multi-paradigm programming language running on JVM
interpreter jvm kotlin language lice lisp lisp-dialect lisp-interpreter programming-language
Last synced: 22 Apr 2025
https://github.com/SummerSec/SPATool
ιζη¨εΊεζε·₯ε · δΈ»θ¦ηζζΉζ³ηCFGε.javaζδ»ΆηAST
ast cfg programming-language sa spa spatool static-analysis
Last synced: 11 Jul 2025
https://github.com/haifenghuang/magpie
:bird: Successor of my monkey Interpreter(support for class, linq, sql, net, http, fmt, json and A realtime syntax highlighting REPL).
async await debugger dsl go golang interpreted-languages interpreter language linq object-oriented pratt-parser programming-language scripting-language scripting-languages
Last synced: 13 Apr 2025
https://github.com/summersec/spatool
ιζη¨εΊεζε·₯ε · δΈ»θ¦ηζζΉζ³ηCFGε.javaζδ»ΆηAST
ast cfg programming-language sa spa spatool static-analysis
Last synced: 09 Jul 2025
https://github.com/paulstansifer/unseemly
Macros have types!
compiler macros programming-language types
Last synced: 07 May 2025
https://github.com/SenegalLang/Senegal
Senegal programming language
bird programming-language senegal senegal-language vm
Last synced: 05 May 2025
https://github.com/annimon/own-programming-language-tutorial
Source code for course "How to create your own programming language"
interpreted-programming-language interpreter java lexer parser programming-language tutorial
Last synced: 05 Apr 2025
https://github.com/markkurossi/mpc
Secure Multi-Party Computation (MPC) with Go. This project implements secure two-party computation with Garbled circuit protocol.
aes-128-cbc aes-128-gcm ed25519 garbled-circuit go golang hmac-sha256 hmac-sha512 logical-circuits mpc multi-party-computation multiparty-computation oblivious-transfer programming-language sha-256 sha-512 yao-millionaires
Last synced: 14 Dec 2025
https://github.com/qteatime/crochet
Crochet: A tool for creating and remixing interactive experiences, safely.
programming-language secure-by-default
Last synced: 23 Jul 2025
https://github.com/snowball-lang/snowball
π± Anything that can be written in Snowball, will eventually be written in Snowball
compiler llvm-compiler llvm-frontend object-oriented-programming programming-language snowball-lang
Last synced: 10 Aug 2025
https://github.com/AdeptLanguage/Adept
The Adept Programming Language
compiler low-level programming-language
Last synced: 12 Apr 2025
https://github.com/Narasimha1997/boson-lang
A hybrid programming language written in Rust.
compiler cpp dynamic-typing interpreter programming-language rust scripting-language
Last synced: 16 May 2025
https://github.com/narasimha1997/boson-lang
A hybrid programming language written in Rust.
compiler cpp dynamic-typing interpreter programming-language rust scripting-language
Last synced: 12 Apr 2025
https://github.com/enkomio/sacara
Sacara VM
assembler assembly fsharp obfuscation programming-language vm x86
Last synced: 10 Apr 2025
https://github.com/rowscript/rowscript
RowScript programming language, making a better browser world
dependent-types javascript programming-language row-polymorphism typescript
Last synced: 30 Apr 2025
https://github.com/chessai/theseus
theseus, functional programming language with fully reversible computation
functional-programming programming-language reversible-computation theseus
Last synced: 17 Mar 2025
https://github.com/myst-lang/myst
A structured, dynamic, general-purpose language.
crystal dynamic language myst-lang object-oriented programming-language
Last synced: 14 Apr 2025
https://github.com/bamless/jstar
A lightweight embeddable scripting language
bytecode-interpreter c c99 compiler intepreter interpreted-language jstar language-dynamic programming-language scripting-language virtual-machine
Last synced: 06 Apr 2025
https://github.com/Nimaoth/Nev
Nev is a keyboard focused GUI and terminal text editor
editor nim programming-language projection-editor projectional-editor text-editor
Last synced: 05 Oct 2025
https://github.com/ilya-klyuchnikov/ttlite
A SuperCompiler for Martin-LΓΆf's Type Theory
agda coq dependent-types idris programming-language supercompilation type-theory
Last synced: 25 Oct 2025
https://github.com/goplus/igop
The Go/Go+ Interpreter
data-science golang gop goplus igop interpreter low-code programming-language scientific-computing stem stem-education
Last synced: 04 Apr 2025
https://github.com/esoterra/claw-lang
The compiler for the Claw language
compiler programming-language webassembly
Last synced: 12 Jul 2025
https://github.com/trizen/sidef
A modern object-oriented programming language implemented in Perl.
object-oriented perl programming-language sidef transpiler
Last synced: 05 Apr 2025
https://github.com/kurehajime/typoscript
TypoScript is JavaScript-like language with typos. Some typos in variable and function names are acceptable.
javascript joke language programming-language
Last synced: 23 Apr 2025
https://github.com/ilya-klyuchnikov/lambdapi
Dependently Typed Lambda Calculus in Haskell
dependent-types programming-language
Last synced: 15 Apr 2025
https://github.com/neverRare/butter
A tasty language for building efficient software. Currently in hiatus
butter compiler language proglangs-discord programming-language rust
Last synced: 27 Apr 2025
https://github.com/maxmindlin/scout-lang
A web crawling programming language
dsl programming-language scraper scraping scraping-websites web-crawling web-scraping
Last synced: 06 Apr 2025
https://github.com/owo-lang/minitt-rs
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent-types programming-language type-theory
Last synced: 22 Apr 2025
https://github.com/nimaoth/nev
Nev is a keyboard focused GUI and terminal text editor
editor nim programming-language projection-editor projectional-editor text-editor
Last synced: 15 Jun 2025
https://github.com/tomhea/flip-jump
The single instruction language - Flip a bit, then Jump
compiler esolang esoteric-programming-language macro-assembler oisc programming-language
Last synced: 01 Nov 2025
https://github.com/rust-lang-de/rustbook-de
Deutsche Gemeinschafts-Γbersetzung des offiziellen Rust-Buchs
book programming-language rust rust-lang
Last synced: 03 Apr 2025
https://github.com/svenssonjoel/lispbm
An interpreter for a concurrent lisp with message-passing and pattern-matching.
chibios concurrency esp32 freertos functional-programming interpreter language lisp microcontroller nrf52 pattern-matching programming-language quasiquotation repl riscv32 stm32f4 zephyr
Last synced: 09 Sep 2025
https://github.com/gabordemooij/citrine
Citrine Programming Language
dutch-language french-language localization programming-language
Last synced: 07 Oct 2025
https://github.com/nelson-lang/nelson
The Nelson Programming Language
cpp17 data-science data-structures interpreter mathematical-functions matlab matrix-functions nelson octave programming-language scientific-computing
Last synced: 27 Dec 2025
https://github.com/stereobooster/write-you-a-programming-language
List of small programming languages that you can implement in a relatively small amount of time for educational purposes.
education programming-language
Last synced: 04 Aug 2025
https://github.com/kit-ty-kate/labrys
A toy language based on LLVM that implements the System FΟ type-system
compiler language llvm ocaml programming-language type-system
Last synced: 25 Jul 2025
https://github.com/cagataycali/awesome-brainfuck
π¦ Brainfuck is an esoteric programming language π¦
brainfuck esoteric esoteric-language programming-language
Last synced: 06 Jan 2026
https://github.com/svenssonjoel/lispBM
An interpreter for a concurrent lisp with message-passing and pattern-matching.
chibios concurrency esp32 freertos functional-programming interpreter language lisp microcontroller nrf52 pattern-matching programming-language quasiquotation repl riscv32 stm32f4 zephyr
Last synced: 07 May 2025
https://github.com/markusmoenig/signedlua
Signed is a 3D modeling and construction language based on Lua and SDFs. Signed will be available for macOS and iOS and is heavily optimized for Metal.
bsdf lua metal modeler path-tracing procedural programming-language sdf signed-distance-functions
Last synced: 28 Apr 2025
https://github.com/ab25cq/neo-c
neo-c is C + GC compiler. It has reffrence count GC with memory leak detector. self-hosted with zero memory leaks. It can outputs the code depends on standard C libraries only.
c compiler oop programming-language
Last synced: 16 Jan 2026
https://github.com/japiirainen/fp
A small, weird and unpractical programming language.
haskell interpreter programming-language
Last synced: 06 Apr 2025
https://github.com/xSavitar/programming-books-and-resources
:book: Collection of programming related books & their frameworks.
books programming-language programming-resources
Last synced: 09 May 2025
https://github.com/ren-lang/compiler
Cleaner, clearer JavaScript. A modern scripting language for the Web.
compile-to-js compiler elm functional-programming javascript programming-language transpiler
Last synced: 10 Apr 2025
https://github.com/syegulalp/akilang
A compiler for a simple language, built with Python and LLVM
aki compiler conway-life demo language language-syntax llvm llvmlite programming-language python python-3 python-3-6 python-3-7 python3 python36 python37 repl win32 windows
Last synced: 09 Apr 2025
https://github.com/OpenEuphoria/euphoria
The Euphoria programming language (https://openeuphoria.org/)
euphoria general-purpose openeuphoria programming-language
Last synced: 02 Apr 2025
https://github.com/katsaii/catspeak-lang
A cross-platform modding language for GameMaker games.
compiler domain-specific-language dynamically-typed gamemaker-studio-2 games language lexer-parser programming-language
Last synced: 01 Apr 2025
https://github.com/dolphywind/electra-lang
Electra is an esolang where you code like an electrician.
cplusplus cplusplus-20 cpp cpp20 esolang esolangs esoteric esoteric-interpreter esoteric-language esoteric-programming-language interpreted interpreted-language interpreted-programming-language interpreter language programming-language stack-based stack-based-language
Last synced: 08 Jul 2025
https://github.com/DolphyWind/Electra-Lang
Electra is an esolang where you code like an electrician.
cplusplus cplusplus-20 cpp cpp20 esolang esolangs esoteric esoteric-interpreter esoteric-language esoteric-programming-language interpreted interpreted-language interpreted-programming-language interpreter language programming-language stack-based stack-based-language
Last synced: 12 Apr 2025
https://github.com/kcreate/charly-vm
Fully parallel dynamically typed programming language
bytecode-interpreter compiler coroutines fiber parallel pointer-tagging programming-language
Last synced: 20 Jun 2025
https://github.com/yutopp/rill
Statically typed system programming language for ζι³₯
Last synced: 12 Apr 2025
https://github.com/formancehq/numscript
Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-prone custom code with easy-to-read, declarative scripts.
dsl fintech programming-language
Last synced: 24 Dec 2025
https://github.com/owo-lang/voile-rs
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
dependent-types extensible programming-language type-theory
Last synced: 09 May 2025