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/sebbekarlsson/wscript
a complete rewrite of wscript.exe, for *NIX
interpreter language lexer linux-port port programming-language vbscript
Last synced: 13 Oct 2025
https://github.com/annimon/hotarufx
Programming language for creating animations
animation java javafx programming-language
Last synced: 16 Oct 2025
https://github.com/moves-rwth/caesar
Deductive verification infrastructure for probabilistic programs
deductive-verification probabilistic-programs programming-language
Last synced: 20 Oct 2025
https://github.com/hesham-cant-fly/haste-lang
compiler haste language modern programming-language safety
Last synced: 22 Jun 2025
https://github.com/ktanaka101/monkey.rs
🐵 Monkey interpreter and compiler-vm in Rust. 🚀
compiler interpreter language monkey programming-language repl rust vm
Last synced: 08 Jul 2025
https://github.com/plume-lang/plume
Plume is a lightweight programming language that aims to be portable, powerful and easy to learn.
algebraic-data-types compiler functional-programming haskell imperative-programming lightweight programming-language traits
Last synced: 13 Aug 2025
https://github.com/cowboy8625/snow-lang
A functional programming language
compiler functional functional-programming language programming-language snow-lang
Last synced: 14 Apr 2025
https://github.com/lenguyenthanh/compilers
A place for me to learn/ experiment with interpreters/compilers
cats debruijn-indices functional-programming interpreter lambda-calculus lambda-calculus-interpreter programming-language scala scala-cli scala3 untyped-lambda-calculus y-combinator
Last synced: 18 Jul 2025
https://github.com/grieferatwork/deemon
Deemon Programming Language (v200+)
c compiler deemon interpreted-programming-language interpreter language programming-language regex scripting-language sequence unicode
Last synced: 06 Apr 2025
https://github.com/m-ender/orthagonal
A two-dimensional programming language from 1994.
esoteric-language interpreter programming-language two-dimensional
Last synced: 11 May 2025
https://github.com/njbrown/loris
toy language used for making games, currently in development
bytecode c-plus-plus compiler interpreter language parser programming-language scripting-language virtual-machine
Last synced: 31 Jul 2025
https://github.com/yangruihan/clox
Repository for C implement programming language with the book "Crafting Interpreters" http://www.craftinginterpreters.com/
Last synced: 11 May 2025
https://github.com/klardotsh/gale
Strongly-typed, minimal-ish, stack-based development at storm-force speed.
minimal programming-language stack-based type-safe
Last synced: 22 Mar 2025
https://github.com/colleagueriley/c-plus
Intermediary language between C and C++ with other added cool features too
c c-plus c-plus-plus c89 compiler language programming-language programming-languages rsgl sili sili-toolchain single-file
Last synced: 10 Apr 2025
https://github.com/karstenj/orca-play
Orca with web-based sound output
midi music osc programming-language tonejs
Last synced: 11 Apr 2025
https://github.com/tobyhodges/itpp
Introduction to Python Programming
beginner-friendly binder course-materials exercises jupyter-notebooks language-python programming-language python-language python-programming
Last synced: 02 Sep 2025
https://github.com/yjl9903/xlang
A Simple Programming Language powered by XLex and XParse
compiler programming-language xlang xlex xparse
Last synced: 23 Mar 2025
https://github.com/chiroptical/snail
A programming language for gastropods
lisp-dialect parser programming-language
Last synced: 16 Mar 2025
https://github.com/shinkwhek/microlisp
A lisp interpreter
interpreter lisp lisp-interpreter programming-language readable
Last synced: 11 May 2025
https://github.com/rami3l/golox
A VM-based interpreter for the Lox Programming Language.
crafting-interpreters go golang interpreter lox lox-language programming-language
Last synced: 13 May 2025
https://github.com/spagnuolocarmine/fly-language
FLY a Domain Specific Language for scientific computing on the Multi Cloud
cloud cloud-computing distributed-operating-systems distributed-systems domain-specific-language dynamic-type fly-language function-as-a-service programming-language scripting-language static-typing
Last synced: 02 Jan 2026
https://github.com/akshatvg/so-many-languages
Web application to help convert one programming language's code to another within seconds while also enabling the user to generate code using just logic.
akshat akshatvg anand-suresh code compete convert-code gupta hackerearth hacktoberfest languages pennapps practice programming-language redeem rewards so-many-languages team-yaas templating voice voice-to-code
Last synced: 11 Apr 2025
https://github.com/aarambhdevhub/rust_auth
Welcome to RustSecureAPI, a robust and secure Rust-based API project built with Actix-Web. This repository provides a comprehensive guide and implementation for creating a scalable backend system with JWT-based authentication and PostgreSQL integration.
actix actix-rs actix-web authentication backend jwt jwt-authentication jwt-token openapi postgresql programming programming-language rust rust-lang sqlx sqlx-cli swagger swagger-api swagger-ui
Last synced: 02 Aug 2025
https://github.com/techno-coder/lexica
Reversible programming language
language lexica programming-language reversible-computation
Last synced: 23 Mar 2025
https://github.com/yvan-sraka/yeast
Yet Another Shell Trick
pipe posix programming-language rust shell unix
Last synced: 17 Mar 2025
https://github.com/Fuechs/Lynx
c-like compiler cpp language llvm llvm-ir programming-language
Last synced: 12 Apr 2025
https://github.com/ketgg/Hana
Hana is an elegant, clean and minimalistic interpreted programming language inspired from lua, python and javascript <3
bison compiler-design flex intermediate-code-generation interpreter lex llvm programming-language yacc
Last synced: 14 Apr 2025
https://github.com/ketgg/hana
Hana is an elegant, clean and minimalistic interpreted programming language inspired from lua, python and javascript <3
bison compiler-design flex intermediate-code-generation interpreter lex llvm programming-language yacc
Last synced: 14 Apr 2025
https://github.com/techno-coder/lucent
A transparent systems programming language. Check out the next-prototype branch! On indefinite hiatus.
compiler programming-language systems
Last synced: 28 Oct 2025
https://github.com/corth-lang/corth
A self-hosted stack based language like Forth
compiler linux nasm-assembly programming-language stack-based-language
Last synced: 13 Apr 2025
https://github.com/courses-at-nju-by-hfwei/learning-c
Learning C Programming Language
c learning-c programming-language
Last synced: 01 May 2025
https://github.com/zyrouge/beize
A highly dynamic embeddable scripting language.
compiler interpreter programming-language
Last synced: 27 Mar 2025
https://github.com/aatxe/diet-coke
A small functional language with effect inference based on Koka.
effects functional-languages inference interpreter koka programming-language repl
Last synced: 14 Apr 2025
https://github.com/caerbannogwhite/preludio
Preludio is a data wrangling language based on PRQL and written in Go. 🎭
csv data data-analysis data-cleaning data-engineering dplyr dsl go golang language manipulation pipeline programming-language prql sql stack-oriented wrangling
Last synced: 17 Jan 2026
https://github.com/chunrapeepat/score-language
Score, the programming language designed for blind and visually impaired students as an educational tool for coding.
audio blind compiler educational-tool programming-language senior-project transpiler typescript
Last synced: 12 Apr 2025
https://github.com/roveroniandrea/HTPLcompiler
HTPL is a programming language based on HTML
html htpl-compiler programming-language
Last synced: 07 May 2025
https://github.com/navid-m/scar
Scar programming language
concurrency language parallelism programming-language
Last synced: 10 Aug 2025
https://github.com/kleinesfilmroellchen/sof-language
The Stack with Objects and Functions Programming Language, a pure stack-based reverse-polish-notation functional and object-oriented experimental programming language.
compiler compiler-construction interpreter java personal-programming-language personal-project programming-language sof sof-interpreter
Last synced: 11 Apr 2025
https://github.com/phorward/xpl
An eXample Programming Language
c-like compiler embeddable language programming-language scripting-language toy-language
Last synced: 23 Jun 2025
https://github.com/bor0/budge
Budge - a programming language and a theorem prover
programming-language theorem-prover
Last synced: 10 Apr 2025
https://github.com/LuisAlbizo/WardScript
A high-level and minimalist programming language
flex-bison interpreter minimalist parser programming-language
Last synced: 11 May 2025
https://github.com/dr-nekoma/salem
An interpreter for the Sal programming language written in Zig
concatenative interpreter language programming-language public-domain unlicense zig
Last synced: 14 Apr 2025
https://github.com/aabs/fifthlang
Fifth is a multi-paradigm language for the .NET platform treating Knowledge Graphs as first-class citizens, embedding RDF and SPARQL syntax directly into the code. It combines functional programming idioms—such as list comprehensions, lambdas, and pattern matching—with .NET interoperability and a Roslyn-based compilation pipeline.
compiler dotnet functional-programming programming-language
Last synced: 16 Jan 2026
https://github.com/raviqqe/lazy-ein
JSON meets Haskell.
concurrent functional parallel programming-language
Last synced: 16 Apr 2025
https://github.com/namberino/nimble
The NIMBLE Programming Language
cpp cpp20 interpreter lexical-analysis parsing programming-language
Last synced: 10 Apr 2025
https://github.com/shouhaddo/python-training
This is a repository to share my students who are undergoing python training under me codes of everyday lectures provided by me.
learn-python-fast learn-python-fundamentals learnpython programming-exercises programming-fundamentals programming-language python python-3-6 python-learn-exercises python-learning python-learning-journey python-learning-notes python-package python-practice python-training python3 students
Last synced: 09 Apr 2025
https://github.com/avarel/kaiper
Functional scripting in Java.
dynamic-languages dynamic-programming java jvm language programming-language
Last synced: 13 Oct 2025
https://github.com/smarthome-go/homescript
A custom DSL which provides scripting for the Smarthome Server
dsl language programming-language scripting scripting-language smarthome
Last synced: 06 May 2025
https://github.com/kajizukataichi/simple-programing-language
コンピュータの動作原理を学ぶ新しい教育用プログラミング言語
computer-science education programming-language
Last synced: 09 Apr 2025
https://github.com/richienb/ros-code
ROS Code is a revolutionary, modern and pleasing programming language to code in featuring a streamlined and speedy installation, a very straightforward and simplistic syntax and is provided as a Python 3 library.
basic code github github-stars module open-source opensource pip programming programming-language py python python-library python3 revolutionary ros travis-ci visual
Last synced: 03 Oct 2025
https://github.com/PhoenXHO/UwU
Just an UwU esoteric programming language interpreter written in C++.
bytecode bytecode-compiler bytecode-interpreter compiler compiler-design interpreter language programming-language uwu uwulang
Last synced: 22 Apr 2025
https://github.com/adebola-io/whirlwind
Programming language for clear, concise and clever computing.
extension interpreter language language-server-protocol library programming-language runtime rust typechecker typescript
Last synced: 17 Jul 2025
https://github.com/bjoernloetters/lambda-m
A lazy and untyped experimental programming language
functional-programming haskell lambda-calculus macros metaprogramming pattern-matching programming programming-language
Last synced: 05 May 2025
https://github.com/aboominister25/lite
an imperative and compiled programming language designed to be developer friendly
programming-language programming-languages
Last synced: 17 Jan 2026
https://github.com/duskyelf/rpg-rs
Terminal based Rbg Game (engine)
diamondguru game game-engine interpreter programming-language rust terminal-based terminal-game ui
Last synced: 19 Jun 2025
https://github.com/trackoor/Pistolet
🔫 Toy ML-like Imperative Programming Language (WIP)
functional-language imperative-programming-language programming-language rust
Last synced: 25 Oct 2025
https://github.com/jweinst1/fire
The Reactive Programming Language
programming-language reactive-programming reactive-streams stream-processing
Last synced: 10 Jul 2025
https://github.com/pera/ad-hoc
Ad-hoc programming language
compiler functional-programming interpreter programming-language
Last synced: 11 May 2025
https://github.com/tokahuke/ryan
Ryan: a configuration language for the practical programmer
cli configuration configuration-language embedded-language json programming-language yaml
Last synced: 21 Aug 2025
https://github.com/michaelsproul/dblib-linear
Formalisation of the linear lambda calculus in Coq
coq honours-thesis lambda-calculus programming-language proof software-verification type-system
Last synced: 07 May 2025
https://github.com/williamragstad/cakelang
A Minecraft data pack programming language
compiler datapack language minecraft minecraft-datapack programming-language transpiler
Last synced: 20 Sep 2025
https://github.com/pheuter/pm
post mortem - A stack-based programming language written in NodeJS and parsed using PEG.js
grammar interpreter nodejs programming-language
Last synced: 29 Oct 2025
https://github.com/proost-assistant/ProostLean
An reimplementation of the Proost proof-assistant written in Lean 4
functional-programming lean4 programming-language proof-assistant type-theory
Last synced: 22 Jul 2025
https://github.com/sigmasoldi3r/saturnus
A general-purpose high level programming language, the feels of Swift, Rust and Lua in a simple but flexible language.
compiler functional-programming lua multiparadigm programming-language rust-lang scripting-language
Last synced: 08 Jul 2025
https://github.com/ericlbuehler/falcon-programming-language
Falcon is a powerful, interpreted programming language.
bytecode cpp falconpl interpreter programming-language
Last synced: 12 May 2025
https://github.com/typee-language/typee
A new generic object oriented programming language.
compiler-backend compiler-design compiler-frontend compilers object-oriented-programming programming-language python python-3 python-3-6 python3 python36 translator translators
Last synced: 09 Apr 2025
https://github.com/trackoor/pistolet
🔫 Toy ML-like Imperative Programming Language (WIP)
functional-language imperative-programming-language programming-language rust
Last synced: 29 Jul 2025
https://github.com/tsarchghs/mt
MT is a high level programming language.
c compiler programming-language
Last synced: 23 Mar 2025
https://github.com/kourva/streetslang
StreetsLang CyberPunk Programming language made with python | It is python language with different names :)
cyberpunk cyberpunk2077 programming-language python3 streets-lang streetslang
Last synced: 22 Mar 2025
https://github.com/spargle/ark
The programming language that is *somewhat* useful.
ark programming-language stack-based-language
Last synced: 12 Apr 2025
https://github.com/ah-naf/borno
Borno is a dynamically typed Bangla-based programming language that allows developers to write code using Bangla keywords and identifiers
bangla golang interpreter programming-language
Last synced: 01 Jul 2025
https://github.com/nwtgck/platy-lang-haskell
Platy Language Compiler by Haskell & LLVM: Declarative, Statically typed and Simple to implement language
compiler haskell language llvm programming-language
Last synced: 07 May 2025
https://github.com/cronokirby/poline
Tiny language with green threads
compiler concurrency interpreter programming-language rust threading
Last synced: 30 Apr 2025
https://github.com/dmeijboom/atom
Dynamically typed interpreted programming language
atom compiler-design garbage-collection interpreter nan-boxing precedence-climbing programming-language recursive-descent-parser rust tail-call-optimization
Last synced: 12 May 2025
https://github.com/minegame159/fireball
General-purpose programming language that compiles to efficient native binaries.
compiler fireball language programming-language
Last synced: 28 Jun 2025
https://github.com/buscedv/ask
Ask is a modern open-source transpiled programming language, designed for building backend services and APIs. Ask reduces the amount of needed boilerplate code for setting up things like database connections and authentication to virtually zero lines.
ask backend backend-programming-language databases flask hacktoberfest jwt programming-language python
Last synced: 29 Jul 2025
https://github.com/adelarsq/lightlang
General purpose FP first programming language made for peace that compiles for your desired language/platform [WIP] 💙💛🤍💚
compiler lightlang nowar peace programming-language
Last synced: 24 Dec 2025
https://github.com/agentcooper/eye
Eye is a statically typed compiled language implemented using LLVM, with a syntax inspired by TypeScript
compiler llvm programming-language typescript
Last synced: 06 May 2025
https://github.com/lunastev/wave
A versatile programming language designed for high performance, safety, and seamless integration across diverse domains, from low-level systems programming to web development and AI.
compiler low-level-programming programming-language wave
Last synced: 13 Apr 2025
https://github.com/bugenzhao/lime
🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques included!
functional interpreter language peg programming-language rust swift
Last synced: 11 Apr 2025
https://github.com/andreaslyn/mini-yu
A dependently typed programming language prototype
compiler dependent-types functional-programming programming-language type-theory
Last synced: 10 Jul 2025
https://github.com/p7g/c-bytecode-vm
A VM implementing a dynamically-typed imperative programming language from scratch.
interpreter programming-language
Last synced: 21 Aug 2025
https://github.com/owez/jingo
A lightweight, high-level language designed for rapid prototyping
compiler programming-language rust
Last synced: 09 Jul 2025
https://github.com/iafisher/venice
A modern, high-level, statically-typed programming language
Last synced: 10 Apr 2025
https://github.com/marihachi/holo
A system programming language of modern syntaxes with LLVM.
compiler llvm low-level programming-language system-programming
Last synced: 06 May 2025
https://github.com/sinanislekdemir/minik
Minik OS - Kernel with an Interpreted language for ATMega2560 and ESP32 boards.
arduino compiler esp32 esp32-wroom interpreter kernel programming-language
Last synced: 10 Apr 2025
https://github.com/k0dep/moonsharp
🌑Unity npm package of interpreter for the Lua language, written entirely in C# for the Unity3D engine, including handy remote debugger facilities
lua moonsharp originer programming-language unity unity-extension unity3d unity3d-npm-package upm-package
Last synced: 30 Sep 2025
https://github.com/abiriadev/dyn
Highly dynamic and powerful scripting language
programming-language scripting-language
Last synced: 24 Jul 2025
https://github.com/xeouz/virec
A small compiler with LLVM
compiler cpp llvm programming-language
Last synced: 25 Jun 2025
https://github.com/baijum/essential-go
Essentials of Go Programming
book golang programming programming-language self-publishing
Last synced: 02 May 2025
https://github.com/cl4cnam/funcsug
Program like the event loop doesn't exist! FuncSug is a language that simplifies programming the reaction to events in browser. It aims to make more linear code in line with async/await and structured concurrency.
async-await await-event browser easy-programming event-loop gui-programming logical-parallelism programmer-friendly programming-language structured-concurrency user-event user-interaction
Last synced: 13 Aug 2025
https://github.com/ayushmantripathy/pipe-script
A programming language that revolves around piping
compiler interpreter js programming-language uhc
Last synced: 22 Jul 2025
https://github.com/narcode/codeklavier-js
programming with the piano as interface (legacy javascript version)
dream music piano programming-language
Last synced: 23 Jul 2025
https://github.com/gelbpunkt/mamba-lang
A language built on top of python, with JS flavours
language lex ply programming-language python3 yacc
Last synced: 18 Sep 2025
https://github.com/divs1210/rudralang
A dynamic general-purpose high-level functional-programming language with familiar syntax that compiles to native binaries.
functional-programming language native programming-language
Last synced: 06 Mar 2025
https://github.com/erikdelange/EXIN-The-Experimental-Interpreter
Define your own programming language and design your own interpreter! This one is written in C and executes a simple Basic/C/Python like programming language.
c ebnf interpreter programming-language
Last synced: 11 May 2025
https://github.com/megabytesofrem/deimos
The compiler for Deimos, a small, low-level Lua inspired language
compiler proglangs-discord programming-language rust
Last synced: 15 Apr 2025
https://github.com/hcengineering/rebeldb
RebelDB™ • A new database engine is brewing 🧪 Imagine if REBOL and SQLite had a rebellious offspring ⚡️
database language nosql nosql-database programming-language
Last synced: 23 Apr 2025