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/presidentbeef/brat
Brat is a little language for people who don't like to be told what to do.
brat language lua luajit programming-language
Last synced: 16 Apr 2025
https://github.com/schani/mathmap
An image processing programming language and GUI
c compiler gimp gimp-plugin graphics programming-language
Last synced: 17 Mar 2025
https://github.com/fuse-open/uno
Extremely fast, native C#-dialect and powerful tooling for mobile and desktop developers
c-sharp cross-platform fuse programming-language uno
Last synced: 10 Apr 2025
https://github.com/azhenley/knox
A toy programming language written in Go that compiles to C.
Last synced: 14 Jan 2026
https://github.com/nicbarker/river
River is an experimental assembly-like programming language.
assembly assembly-language experimental programming-language projectional-editor structure-editor
Last synced: 10 Apr 2025
https://github.com/eth-sri/zkay
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
blockchain compiler ethereum privacy programming-language zero-knowledge-proofs
Last synced: 23 Jul 2025
https://github.com/spydr06/cspydr
A static typed low-level compiled programming language inspired by Rust and C
assembly assembly-x86-64 c compiler cspydr hacktoberfest2024 proglangs-discord programming-language standard-library static-typed syntax x86-64 x86-64-linux-gnu
Last synced: 11 Aug 2025
https://github.com/cdiggins/plato
A simple and efficient cross-platform programming language.
functional-programming learn-to-code programming-language teaching
Last synced: 03 Jul 2025
https://github.com/stanford-oval/thingtalk
The Programming Language of Virtual Assistants
dsl hacktoberfest programming-language voice-assistant
Last synced: 05 Apr 2025
https://github.com/Nelson-numerical-software/nelson
The Nelson Programming Language
cpp17 data-science data-structures interpreter mathematical-functions matlab matrix-functions nelson octave programming-language scientific-computing scilab
Last synced: 11 May 2025
https://github.com/viperproject/silver
Definition of the Viper intermediate verification language.
programming-language verification viper
Last synced: 13 May 2025
https://github.com/alugili/csharp8cheatsheet
C# 8 Cheat Sheet, Default Interface Methods, Pattern Matching, Indices and Ranges, Nullable Reference Types, Asynchronous Streams, Caller Expression Attribute ,Static Local Functions, Default in Deconstruction., Alternative Interpolated Verbatim Strings, Using Declarations, Relax Ordering of ref and partial Modifiers, Disposable ref structs, Generic Attributes, Null Coalescing Assignment ,Disposable ref structs
cheat cheat-sheet cheatsheets csharp csharp8 programming-language
Last synced: 06 Dec 2025
https://github.com/milescranmer/borrowchecker.jl
A borrow checker for Julia
borrow-checker code-quality concurrency development development-tools julia memory-management memory-safety multithreading ownership programming-language rust safety testing thread-safety
Last synced: 09 Apr 2025
https://github.com/rhysd/Dachs
Dachs; A Doggy :dog: Programming Language
compiler cpp dog go inu language llvm programming-language
Last synced: 15 Mar 2025
https://github.com/Jackojc/cane
A small MIDI sequencer DSL designed around vectors and euclidean rhythms
cane composition cpp dsl euclidean-rhythms jackaudio linux-audio midi minimalist music music-tracker notation pipewire proglangs-discord programming-language rhythms sequencer song tracker vector-language
Last synced: 12 Apr 2025
https://github.com/rhysd/dachs
Dachs; A Doggy :dog: Programming Language
compiler cpp dog go inu language llvm programming-language
Last synced: 15 Apr 2025
https://github.com/kalebu/pyswahili
A Swahili version of programming language to allow Swahili speakers get started with programming
opensource programming-language pyswahili python python-swahili python-tanzania swahili swahili-programming-language swahili-transpiler swahilipython tanzania
Last synced: 11 Jul 2025
https://github.com/egel-lang/egel
The Egel Programming Language
c-plus-plus egel-language functional-programming interpreter programming-language
Last synced: 12 Apr 2025
https://github.com/thosakwe/bullseye
[WIP] A pure functional language that compiles to Dart.
compiler dart functional-programming programming-language
Last synced: 28 Apr 2025
https://github.com/jukalang/juka
🥣 Juka Programming Language - Fast Portable Programming Language. Run code anywhere without complicated installations and admin rights. Simple, yet powerful new programming language [Easy to code and run on any system] IOT devices supported!
android azure azure-functions cloud compiler console csharp desktop interpreter ios linux macos mobile portable programming programming-language programming-languages tool utility windows
Last synced: 13 Jun 2025
https://github.com/LucasMW/Headache
Programming Language that compiles to 8 Bit Brainfuck
ast bf brainfuck c compiler esolang esoteric esoteric-language esoteric-programming-language headache language programming-language translator transpiler
Last synced: 22 Apr 2025
https://github.com/frankbro/ordo
Ordo: A minimalist language with row polymorphism
compiler programming-language records row-polymorphism variants
Last synced: 24 Sep 2025
https://github.com/facet-lang/facet
a functional programming language with algebraic effects and handlers
algebraic-effects compiler programming-language
Last synced: 15 Mar 2025
https://github.com/narke/colorForth
Native 32-bit colorForth for PCs, Bochs and Qemu.
colorforth forth programming-language
Last synced: 14 Mar 2025
https://github.com/xyproto/battlestar
:dizzy: A different take on Assembly, with the goal of creating tiny executables.
assembly dosbox gcc inline linux programming-language tiny
Last synced: 14 Apr 2025
https://github.com/pandeykartikey/goto
Goto is an interpreted programming language written in go.
golang interpreter programming-language repl scripting
Last synced: 03 Nov 2025
https://github.com/maxxsoft/yulang
The Yu (羽) programming language.
compiler llvm programming-language yulang
Last synced: 14 Aug 2025
https://github.com/owo-lang/narc-rs
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
dependent-types pattern-matching programming-language type-theory
Last synced: 09 May 2025
https://github.com/jukaLang/juka
🥣 Juka Programming Language - Fast Portable Programming Language. Run code anywhere without complicated installations and admin rights. Simple, yet powerful new programming language [Easy to code and run on any system] IOT devices supported!
android azure azure-functions cloud compiler console csharp desktop interpreter ios linux macos mobile portable programming programming-language programming-languages tool utility windows
Last synced: 12 Apr 2025
https://github.com/vorov2/dyalect
Dyalect is a dynamic programming language for .NET.
c-sharp compiler coroutines cross-platform dotnet dotnet-core dyalect interpreter language programming-language scripting scripting-language virtual-machine
Last synced: 12 Apr 2025
https://github.com/pc2/sus-compiler
A new Hardware Design Language that keeps you in the driver's seat
fpga fpga-programming hardware-description-language hdl programming-language tree-sitter
Last synced: 04 Apr 2025
https://github.com/benzap/fif
Stack-based Programming in Clojure(script)
clojure edn fif forth programming-language scripting scripting-language stack-based
Last synced: 28 Jun 2025
https://github.com/dmadisetti/sona.js
a simple language with a 1000 character interpreter inspired by toki pona
esolang programming-language toki-pona
Last synced: 14 May 2025
https://github.com/cyrus-lang/cyrus
Cyrus: A high-performance, statically-typed, manually memory-managed, mid-level programming language. (heavily under development)
clang compiler compiler-design cpp cyrus-lang gcc inkwell lex llvm programming-language yacc
Last synced: 13 May 2025
https://github.com/akyoto/q
🌱 A minimal programming language and compiler (mirror).
compiler high-performance programming-language
Last synced: 30 Aug 2025
https://github.com/clark800/lambda-zero
minimalist pure lazy functional programming language (pythonic haskell)
c functional functional-programming haskell krivine-machine lambda-calculus lazy-evaluation minimalist programming-language pythonic
Last synced: 09 Apr 2025
https://github.com/MaxXSoft/YuLang
The Yu (羽) programming language.
compiler llvm programming-language yulang
Last synced: 26 Apr 2025
https://github.com/temperlang/temper
A programming language for libraries translated to all the others
distributed-systems interoperability programming-language reliability-engineering translation
Last synced: 12 Jan 2026
https://github.com/actonlang/acton
The Acton Programming Language
actor-model compiler distributed-computing hacktoberfest language programming-language
Last synced: 16 Jan 2026
https://github.com/tomaszrewak/trepl
TRE is an object oriented, functional programming language, that enables user to view all processes happening inside a memory during program execution.
interactive-visualizations memory-allocation object-oriented-programming programming-language teaching-materials
Last synced: 21 Apr 2025
https://github.com/igaowei/coderbooks
程序员免费编程书籍资源汇总,不定期分享编程开发相关的编程书籍、技术文章、学习资源、实用软件、互联网相关技术等。供各位小伙伴们学习参考,同时也方便自己提升,欢迎 Watch、Star。
android books golang ios java javascript lua pdf php programming-language vue
Last synced: 12 Apr 2025
https://github.com/dosx-dev/batchasm
BatchASM - primitive virtual machine (high level assembly language) for executing instructions in programming language environment Windows Batch.
asm assembler assembly batch batch-script cmd console language programming-language terminal virtual-machine virtualization virtualmachine vm windows
Last synced: 07 May 2025
https://github.com/rsms/colang
Programming language and compiler —WORK IN PROGRESS—
Last synced: 22 Mar 2025
https://github.com/ethproductions/japt
Japt 1.4.5, the other JavaScript golfing language
esolang golfing-language javascript programming-language
Last synced: 30 Apr 2025
https://github.com/fermarsan/aixt
Microcontrollers programming framework based on Vlang.
compiled-language microcontrollers programming-language transcompiler transpiler v-like v-programming-language vlang
Last synced: 13 May 2025
https://github.com/sacalon/sacalon
Sacalon is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software.
compiler compiler-backend compiler-design compiler-frontend compiler-optimization general-purpose hacktoberfest hascal hascal-language language optimal programming-language simple
Last synced: 16 Dec 2025
https://github.com/sno2/bf
A Brainheck interpreter built in the TypeScript type system.
interpreter programming-language typescript typescript-types
Last synced: 13 Apr 2025
https://github.com/project-eutopia/keisan
A Ruby-based expression parser, evaluator, and programming language
calculator equation formula math programming-language ruby symbolic-math
Last synced: 22 Mar 2025
https://github.com/xieyuheng/chimera
json logic logic-programming programming-language
Last synced: 30 Sep 2025
https://github.com/cyrus-lang/cyrus-lang
Cyrus: A high-performance, statically-typed, manually memory-managed, mid-level programming language. (heavily under development)
clang compiler cyrus-lang gcc inkwell llvm programming-language rust
Last synced: 08 Apr 2025
https://github.com/ntk148v/lets-go
Let's Go!
go golang hacktoberfest language learn-to-code learning learning-go learning-golang programming-language tutorial
Last synced: 09 Apr 2025
https://github.com/callisto-lang/compiler
The Callisto compiler of the 13th month, and other language extras
compiler concatenative concatenative-language concatenative-programming-language programming-language uxn uxntal x86-64
Last synced: 20 Nov 2025
https://github.com/nbittich/adana
repl / scripting language / namespaced command line aliases
alias-management interpreter language namespacing programming-language repl rust scripting wasm
Last synced: 13 Apr 2025
https://github.com/gioblu/biplan
Byte coded Interpreted Programming language
arduino compiler edge-computing embedded esolang esoteric-language interpreter linux programming-language virtual-machine
Last synced: 07 Sep 2025
https://github.com/songtianyi/landscape-of-programming
This repo aim to show you what to learn on the way to excellence.
algorithms architecture data-structures databases development engineering frameworks middlewares networks programming programming-language quality-assurance solutions storages
Last synced: 16 Jan 2026
https://github.com/amrdeveloper/amun
A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast
compiler cpp language llvm low-level-programming programming-language static-type-system system-programming type-inference
Last synced: 22 Mar 2025
https://github.com/haifenghuang/magpie-language-design
语言设计教程(献给想学语言设计的朋友)
interpreters language language-design language-learning languages pratt-parser programming-language programming-languages
Last synced: 14 Jan 2026
https://github.com/kagsa/kagsa
KAGSA PROGRAMMING LANGUAGE
compile compiler compiler-frontend console console-application interpreter kagsa kg lang language languages open-source programming programming-language programming-languages python
Last synced: 14 Dec 2025
https://github.com/dyvil/dyvil
The Dyvil programming language
dyvil dyvil-programming-language java jvm language programming-language
Last synced: 16 Mar 2025
https://github.com/aripiprazole/plank
📜 | Functional programming language written in kotlin.
compiler kotlin llvm parser plank programming-language
Last synced: 28 Jun 2025
https://github.com/es-js/esjs
JavaScript con sintaxis en Español | Lenguaje de programación en Español basado en JavaScript
esjs espanol javascript lenguaje-de-programacion programacion programming-language spanish spanish-language
Last synced: 12 Apr 2025
https://github.com/alimpfard/citron
General purpose programming language (mainly for unix-like systems)
c interpreter programming-language
Last synced: 11 May 2025
https://github.com/slackadays/chata
:guitar::long_drum::magic_wand: Make DSP Great Again. The Chata programming language!
api audio chata cli community console cross-platform digital-signal-processing dsl dsp embedded high-performance library linux macos open-source programming-language sound terminal windows
Last synced: 13 Apr 2025
https://github.com/Pebaz/LambdaCore
An interpreted language written in Rust inspired by the Lisp family of languages.
interpreter lisp parenthesis programming-language rust scripting scripting-language
Last synced: 11 Aug 2025
https://github.com/tekknolagi/ghuloum
Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
c compiler lisp lisp-compiler programming-language x86 x86-64
Last synced: 29 Oct 2025
https://github.com/rusini/manool
Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability
compiler development dynamically-typed functional functional-core functional-language functional-programming general-purpose homoiconic imperative imperative-programming interpreter multi-paradigm practical procedural procedural-programming programming programming-language software-development strongly-typed
Last synced: 13 Apr 2025
https://github.com/markusmoenig/ForgedThoughts
A 3D modeling and rendering programming language utilizing SDFs.
3d modeling programming-language rendering sdf
Last synced: 09 Aug 2025
https://github.com/pebaz/lambdacore
An interpreted language written in Rust inspired by the Lisp family of languages.
interpreter lisp parenthesis programming-language rust scripting scripting-language
Last synced: 19 Apr 2025
https://github.com/zepto-lang/zepto
A schemy Lisp backed by Haskell
interpreter programming-language scheme zepto
Last synced: 21 Apr 2025
https://github.com/uqbar-project/wollok
Wollok Programming Language
eclipse ide language language-reference programming-language sublime wollok xtend
Last synced: 15 Jan 2026
https://github.com/sampersand/squire
The medieval language held together by twine.
esolang macros pattern-matching programming-language runtime runtime-typechecking
Last synced: 09 May 2025
https://github.com/spydr06/bcause
BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.
assembly b bcause bell-labs c c99 compiler hacktoberfest hacktoberfest2023 language libb proglangs-discord programming-language single-pass
Last synced: 10 Apr 2025
https://github.com/markusmoenig/forgedthoughts
A 3D modeling and rendering programming language utilizing SDFs.
3d modeling programming-language rendering sdf
Last synced: 28 Apr 2025
https://github.com/cdiggins/heron-language
A pure functional type-inferred language based on JavaScript
3d 3d-graphics heron javascript language programming-language type-inference typed-language webgl
Last synced: 27 Apr 2025
https://github.com/barn-lang/barn
Barn is a simple programming language written in C that is compiled to C.
compilator compilator-development programming programming-language programming-language-development
Last synced: 11 Jan 2026
https://github.com/wellang/well
A high level assembler. https://wellang.github.io/well/
assembler assembly assembly-language c compilers languages lexer-parser parsers programming-language wellang
Last synced: 26 Oct 2025
https://github.com/orsinium-labs/rlci
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
fp functional-programming interpreter lambda lambda-calculus programming-language rust
Last synced: 15 Apr 2025
https://github.com/hugolgst/ikea-sharp
📦The new groundbreaking programming language
compiler golang ikea-sharp programming-language
Last synced: 17 Apr 2025
https://github.com/itchyny/fastinvsqrt
Fast inverse square root in programming languages
algorithm fastinvsqrt language pointer-casting programming-language
Last synced: 23 Feb 2025
https://github.com/l1mey112/stas
A stack based compiled systems programming language.
assembly compiler fasm forth freebsd linux nasm programming-language stackbased stas vlang x86-64
Last synced: 22 Oct 2025
https://github.com/til-lang/til
An easy to extend command language
dlang programming-language tcl
Last synced: 10 May 2025
https://github.com/adamsol/pyxell
Multi-paradigm programming language compiled to C++, written in Python.
compiler cpp generators indentation parser programming-language python rational-numbers syntax
Last synced: 10 Apr 2025
https://github.com/transistorfet/molten
An LLVM compiler for an ML-like language (written in Rust)
compiler language llvm molten programming-language rust
Last synced: 26 Apr 2025
https://github.com/tiancaiamao/cora
Genius programmer should write his own lisp!
cora lambda lisp programming-language
Last synced: 07 Apr 2025
https://github.com/picrin-scheme/libpicrin
Super Tiny Scheme Interpreter for Freestanding Environment
embedded gc programming-language scheme
Last synced: 11 May 2025
https://github.com/17cupsofcoffee/ein
🐕 A little programming language written in Rust
Last synced: 18 Mar 2025
https://github.com/vein-lang/vein
🔮⚡️Vein is an open source high-level strictly-typed programming language with a standalone OS, arm and quantum computing support.
arm32 arm64 cli interpreter jit language machine-learning programming-language quantum-computing research-project virtual-machine
Last synced: 14 Jan 2026
https://github.com/caffeine-suite/caffeine-script
CaffeineScript - a beautiful language that lets you write JavaScript with 3x less code
coffeescript javascript programming-language
Last synced: 15 Apr 2025
https://github.com/gaurav-gogia/mutant
Mutant is an open-source, garbage-collected programming language that tries to enable security by default.
encryption go golang hacktoberfest metamorphism programming-language security
Last synced: 12 Jan 2026
https://github.com/rmacnak/primordialsoup
An implementation of the Newspeak programming language
newspeak programming-language virtual-machine
Last synced: 25 Dec 2025
https://github.com/core-lang/core
moved to https://codeberg.org/core-lang/core
compiler garbage-collection jit language-design parser programming-language
Last synced: 12 Apr 2025
https://github.com/luapp-org/luapp
The Lua++ programming language. A simple type based programming language that inherited its syntax from Lua.
c compiler language lua programming-language
Last synced: 04 Apr 2025
https://github.com/dibyendumajumdar/dmr_c
dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
c compiler eclipse-omr jit llvm nanojit parser preprocessor programming-language
Last synced: 14 Apr 2025
https://github.com/tokiwa-software/fuzion
The Fuzion Language Implementation
compiler functional-programming fuzion object-oriented-programming programming-language safety-critical-systems static-analysis
Last synced: 30 Dec 2025
https://github.com/cyrus-/typy
A fragmentary bidirectional type system as a Python library
algebraic-data-types functional-language pattern-matching programming-language python
Last synced: 15 Sep 2025
https://github.com/jonathanvdc/flame
A compiler framework for managed code.
compiler flame programming-language
Last synced: 20 Sep 2025
https://github.com/kengorab/abra-lang
🧙♂️A small programming language with static typing and native compilation, selfhosted
compiler pratt-parser programming-language qbe self-hosted
Last synced: 15 Jan 2026
https://github.com/velipso/sink
Minimal programming language for embedding small scripts in larger programs
embeddable language programming-language scripting-language
Last synced: 11 Jun 2025
https://github.com/glossopoeia/boba
A general purpose statically-typed concatenative programming language.
compiler concatenative language programming-language type-inference
Last synced: 12 Apr 2025