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-07-04 00:20:36 UTC
JSON Representation

https://github.com/ericspencer00/resilient

Rust-based, self-healing, formal verification based Programming Language

programming-language

Last synced: 06 May 2026

https://github.com/ib823/riina

Formally verified programming language with security properties proven in Coq. Zero external dependencies. Thousands theorems. 0 admits.

bahasa-melayu compiler coq effect-system formal-verification information-flow mpl-2 non-interference programming-language rust security theorem-proving type-system zero-trust

Last synced: 10 Feb 2026

https://github.com/lucho00cuba/hello-in-docker

hello in docker

docker programming-language

Last synced: 06 Feb 2026

https://github.com/travisty-/monkey

A toy interpreted programming language, written in Go.

compiler go golang interpreter programming-language

Last synced: 10 Jun 2026

https://github.com/georgehanymilad/cpp-task-about-escape-sequences

Programming

challenges cpp problem-solving programming programming-language solution-challenge

Last synced: 05 Jun 2026

https://github.com/muskan-fatim/dev_quiz

**Muskan Developer Quiz** is an interactive quiz application designed to test and enhance your knowledge in web development. Built with a focus on beginners, it offers a range of questions of HTML, CSS

cli practice-quiz programming-language typescript

Last synced: 22 Apr 2026

https://github.com/alaanvv/milk

A basic programming language

compiler programming-language

Last synced: 24 Oct 2025

https://github.com/plume-lang/plume-bucket

Package manager related manifests for Plume language

programming-language scoop scoop-bucket

Last synced: 05 Mar 2026

https://github.com/microshaftcorp/itch-doser

An Programming Lanuage Easier Than ANYTHING!

batch beta-release dos programming-language test

Last synced: 21 Jan 2026

https://github.com/amila-rukshan/chocopy

ChocoPy - statically typed subset of Python.

chocopy dynamic-dispatch llvm object-oriented programming-language

Last synced: 24 Apr 2026

https://github.com/ahojukka5/weavec2

Self-hosted Weave compiler — written in surface Weave itself. Top of the bootstrap chain; bootstrapped via weavefront + weavec1.

bootstrap compiler llvm programming-language self-hosting weave-lang

Last synced: 17 Jun 2026

https://github.com/qundao/mirror-zig

Mirror of zig lang <https://codeberg.org/ziglang/zig> | https://github.com/ziglang/zig has moved | General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

programming-language zig

Last synced: 23 Jun 2026

https://github.com/tariqs26/st

Interpreted language with a JavaScript-like syntax

ast bun bun-test interpreter lexer parser programming-language repl scope typescript

Last synced: 09 May 2026

https://github.com/izo0x90/snake-toy-vm

A generalized/ multi-arch. toy virtual machine, assembler and debugger written in Python. Just a fun project in python building a classical computer emulator.

assembler assembly assembly-language compiler computer-science custom-language debbuger emulation emulator emulators low-level low-level-programming programming-language programming-language-theory programming-languages system-programming virtual-machine virtualization

Last synced: 24 Apr 2026

https://github.com/diiorie/razen-lang

🚀 Razen is a modern, lightweight programming language with Python-like syntax, high performance, and built-in debugging. Perfect for scripting, testing, and custom module development.

easy free lightweight llvm news open-source powerful programming-language python scripting-language speech

Last synced: 15 Mar 2026

https://github.com/michalspano/hello-word-and-beyond

Discover the legendary 'Hello world!' program in handful amount of programming languages compiled and executed on any Unix shell.

c helloworld-programs language learning-by-doing programming-language

Last synced: 25 Apr 2026

https://github.com/jhonshua/tutorial-c

This is a course on the basic concept of the C language.

c lenguaje-de-programacion programming-language

Last synced: 20 Jun 2025

https://github.com/ismielabir/hera-language-using-cpp

cpp programming-language

Last synced: 25 Apr 2026

https://github.com/maxbarsukov/toylang

🧸 Toy Language with OOP and Python-like syntax

interpreter oop-languages programming-language ruby ruby-interpreter

Last synced: 28 Mar 2025

https://github.com/vimkat/kitty

Homebase of the ^w^ (pronunciation: kɪtɪ) programming language

esolang esoteric-language hacktoberfest kitty programming-language

Last synced: 06 Jun 2026

https://github.com/seldom-se/tower

Tower is an esolang with painfully vertical data storage

esolang esoteric-language esoteric-programming-language programming-language rust

Last synced: 12 Oct 2025

https://github.com/soheil-01/eva

A Programming Language for Learning Purposes

interpreter parser programming-language recursive-descent-parser zig

Last synced: 27 Jun 2026

https://github.com/aerkiaga/nacre

A programming language for verified software.

compiler formal-verification programming-language

Last synced: 25 Oct 2025

https://github.com/alexandramartinez/adventofcode-2015

DataWeave scripts used in the adventofcode.com site for 2015.

advent-of-code adventofcode challenge challenges dataweave dataweave-lang dataweave-language dataweave-playground programming programming-challenges programming-exercises programming-language programming-languages

Last synced: 09 Feb 2026

https://github.com/0xleft/galang

gal programming language 🤑

galang go programming-language

Last synced: 04 Apr 2026

https://github.com/farbod-s/recursive-descent-parser

Programming Language Design and Implementation Course Project

c-plus-plus programming-language recursive-descent-parser

Last synced: 23 Jun 2026

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

Compiler for DC

cmake compiler cpp llvm llvm-compiler llvm-ir programming-language

Last synced: 16 Apr 2026

https://github.com/damechocolateya/yasos

Compiler for the new language yasos

compiler cpp llvm programming programming-language

Last synced: 09 May 2026

https://github.com/jacob-c-smith/eddy

c programming-language simd

Last synced: 10 Jun 2026

https://github.com/mustafaahmed313/typescript-for-jsdevs

This repository is a shorthand tutorial that explain the basic differences between typescript and Javascript for all javascript developers.

js-developer programming-language strongly-typed tutorial types typescript

Last synced: 13 Oct 2025

https://github.com/realchrisdebon/gyroprompt

GyroPrompt is a simple script interpreter, serving as its own language. GyroPrompt is a work in progress that intends to simplify higher level tasks, and enable users to make powerful and stable console applications.

c-sharp console-application high-level-language interpreter programming-language scripting-language

Last synced: 07 Jun 2026

https://github.com/seonghaedu/k.code

This web site is a programming school for students and we provide students with an opportunity to learn some programming languages through the Zoom which is an online meeting tool under COVID-19.

programming-language school school-education

Last synced: 27 Apr 2026

https://github.com/corejust/coreproject2024

The core programming language, written in C++ and LLVM

compiler core cpp cpp20 llvm programming-language

Last synced: 25 Feb 2026

https://github.com/rexionmars/snake-lang

SNAKE is a Concatenative Stack-Oriented Programming Language

assembly bytecode compiled-language concatenative-programming-language linux native programming-language stack-based x86-64

Last synced: 10 May 2026

https://github.com/boyninja1555/gruntlang

Suppose you are transitioning from Scratch and want something simpler than Python? What if you want to embed Python alongside an easier version? Gruntlang does just that!

easy-python programming programming-language python-sucks

Last synced: 09 Feb 2026

https://github.com/talha4t/java

Java Basics and OOP

java object-oriented-programming programming-language

Last synced: 01 Mar 2025

https://github.com/plume-lang/homebrew-plume

Plume Homebrew formula repository

homebrew homebrew-formula homebrew-tap programming-language

Last synced: 28 Apr 2026

https://github.com/it-delinquent/smack_your_brother

A small clicker game themed around smacking your brother

c-sharp caliburn caliburn-micro click clicker clicker-game clickergame clicking clicking-game csharp mvvm mvvm-architecture mvvm-framework mvvm-pattern programming programming-language windows wpf wpf-application wpf-ui

Last synced: 28 Apr 2026

https://github.com/billgewrgoulas/custom-compiler

Compiler for a small programming language, built for the Compilers course at UOI.

assembler code-generation compiler interpreter lexical-analysis programming-language symbol-table syntax-analysis syntax-tree

Last synced: 28 Apr 2026

https://github.com/habibun/c

A general-purpose computer programming language

c c-programming c-programming-language cplusplus learning programming-language

Last synced: 11 May 2026

https://github.com/okosa2/ion-lang

🚀 Transpile Ion to C efficiently, leveraging move-only ownership and channels for safe concurrency in a modern systems programming environment.

channels concurrency ffi ionic ionic-apps ionic-framework ionic3 langchain langchain-python language memory-safety multilanguage ng-translate no-gc programming-language support-rtl systems-programming transpiler

Last synced: 08 Jan 2026

https://github.com/davidlee18/minihaskell

a little, functional, and lazy language

functional-programming lazy programming-language

Last synced: 30 Jan 2026

https://github.com/gaming32/typo

I thought I'd try my hand at making an environment that looks like its own os.

programming-language scripting-language

Last synced: 13 Aug 2025

https://github.com/ttulka/turmin

Turmin esoteric programming language is neither a Turing machine nor a Minsky machine.

esolang js minsky programming-language turing-machine

Last synced: 12 Aug 2025

https://github.com/aroramrinaal/go

playing with golang

100daysofcode go golang programming-language

Last synced: 12 Aug 2025

https://github.com/b-jure/tokudae

Embeddable interpreted programming language (work in progress)

c embedded-language interpreter programming-language

Last synced: 12 Aug 2025

https://github.com/rasabh-org/cpp-tutorials

A repository to host sample C++ source files intended to be used as study materials for learning or teaching purposes.

cpp programming-language tutorial-code tutorial-demos tutorial-sourcecode tutorials

Last synced: 04 Oct 2025

https://github.com/drift-language/drift

The Drift programming language.

java jvm kotlin language programming-language

Last synced: 06 Jan 2026

https://github.com/lillian0x1a/lilium

Safe low-level programming with Python-like syntax.

compiler llvm programming-language rust-alternative safe-unsafe systems-programming

Last synced: 04 Oct 2025

https://github.com/nevmenandr/avtandil-programming-language

Esoteric programming language adopted to Digital Humanities tasks. Python implementation. 🤖

digital-humanities programming-language

Last synced: 02 Jan 2026

https://github.com/formulae-org/.github

arithmetic expression-language pretty-print programming-language reduction-rules symbolic

Last synced: 17 Jan 2026

https://github.com/inanyan/loop

Loop programming language. Compiler and VM

bytecode compiler programming-language vm

Last synced: 16 May 2025

https://github.com/samarthghag/international-programming-proggy-buggy-contest-2024-

This project is a collection of programming challenges and solutions. I took part in the International Code Competition organized by Data Art all over world

competition competitive-programming data-art international programming-language

Last synced: 10 Aug 2025

https://github.com/luxluth/gcompiler

A simple compiler for the G description language for simple graphs

compiler graphics mathematics programming-language svg

Last synced: 10 Aug 2025

https://github.com/meteoros-project/meteoros

MeteorOS PC

alpha bootloader cbit linux meteor operating operating-system os programming-language x86

Last synced: 03 Oct 2025

https://github.com/sourceduty/python_libraries

Pythonic libs, functions, definitions and statements.

ai artificial-intelligence code coder computer-science dev development framework lib library libs program programming programming-language python python-lib python-library science

Last synced: 08 Aug 2025

https://github.com/sourceduty/programming

Programming language, coding and format.

ai code code-format code-language coder coding dev developer hacker hacking program-code program-development programmer programming programming-language programs syntax theoretical theory

Last synced: 08 Aug 2025

https://github.com/mariot/brainrot

Brainrot is a playful programming language inspired by internet slang and memes. It incorporates popular online expressions, abbreviations, and quirky language patterns, transforming everyday internet culture into a unique coding experience. Perfect for those looking to code with a dash of humor and internet flair!

memes programming-language

Last synced: 25 Mar 2025

https://github.com/juliocamposmachado/itschool.github.io

Cursos Online de Tecnologia e Negócios Digitais ⚡ Evolua sua carreira e pratique de verdade!

discord discord-bot discord-py html-css-javascript programming-exercises programming-language python-script

Last synced: 18 May 2026

https://github.com/jf17/alexa

AlexA is an open source programming language

alexa language programming-language

Last synced: 06 Mar 2026

https://github.com/haseeb1389446/csharp

Here are all my C# 🟢 tasks and basic exercises 🖥, to strengthen my C# 🟢 logic-building skills 🧠.

c-sharp coding console-application csharp csharp-code programming programming-language tasks

Last synced: 06 Aug 2025

https://github.com/sanskar-jaiswal/ecommerceapp

This project is an eCommerce Web API developed using ASP.NET Web API, C#, and follows a clean architecture with the API, Core, and Infrastructure layers. It utilizes MSSQL for data storage and implements various features like product management, search functionality, pagination, and error handling.

asp-net-core-web-api entity-framework-core mssql pagination programming-language swagger-ui

Last synced: 20 May 2026

https://github.com/sclorentz/my_js_test_runtime

third test to Cb, this one, again, related to rust. But this time I'm trying to include "backwards" compatibilities with the original version

deno js js-runtime programming-language rust ts

Last synced: 29 Apr 2026

https://github.com/ashesh-para/travel-management-system

This project is designed to manage and streamline travel arrangements, including booking flights, accommodations, and other travel-related activities. The system aims to provide an efficient way to handle travel logistics for users.

css database final-year-project html javaswing jdbc-database jquery nodejs pijus-mazumdar programming programming-language tkinter-gui tourism-website travel-website

Last synced: 09 Apr 2026

https://github.com/wenyuzhao/honours-thesis

My Honours Thesis @ ANU

garbage-collection java jikesrvm programming-language virtual-machine

Last synced: 03 Aug 2025

https://github.com/carloseduardonit/mensagem-em-java

Projeto 'Mensagem em Java': Aplicação simples desenvolvida em Java para enviar e exibir mensagens. Focado em praticar conceitos básicos de programação, estrutura de dados e lógica de controle de fluxo em Java.

beginner java-8 jdk8 programming-language

Last synced: 04 Apr 2025

https://github.com/hoetty/marble

A simple and compact functional programming language

functional functional-programming programming-language

Last synced: 02 Aug 2025

https://github.com/maksmakuta/mlang

M Programming language (WIP)

cpp20 language mlang programming-language

Last synced: 02 Aug 2025

https://github.com/ekt0re/veneto-coding-language

The first programming language in the Venetian language!

c programming-language

Last synced: 31 Mar 2025

https://github.com/l12-krts/wslang

Well Simple - A Well... Simple yet powerful scripting language with graphics, JSON, cryptography, and file I/O capabilities.

programming-language repl wslang

Last synced: 15 May 2026

https://github.com/johan-jnn/flylang

Source code of my dream programming language

language oop programming-language rust

Last synced: 26 Sep 2025

https://github.com/chrischtel/loom

compiler llvm loom programming-language

Last synced: 17 May 2026

https://github.com/rybla/compilator

An abstractly-specified transpiler

haskell programming-language type-setting

Last synced: 08 Nov 2025

https://github.com/haimonmon/cpp-practice-hub

learning C++ with short simple exercises

cpp learn-to-code learning-exercise practice-programming programming-language

Last synced: 12 Mar 2025

https://github.com/pyzh/cpn

common programming notation

apl chinese erlang forth mathematics programming-language prolog rpn

Last synced: 15 Mar 2025

https://github.com/aloussase/sotest

A tiny scripting language to test loading shared libraries

c interpreter programming-language shared

Last synced: 23 Aug 2025

https://github.com/progambler227788/battle-ship-game

This is a Python implementation of the Battleship game where the computer plays against itself. The game board is a 10x10 2D list, and five ships are randomly placed on it at the start of the game.

battle-ship-game battleship-game coding-beginners-projects database django dsa flask flask-sqlalchemy programming programming-fundamentals programming-language python python-library random-library ship-battle

Last synced: 16 May 2025

https://github.com/tomeraberbach/schoenberg

Shoenberg: The MIDI Esoteric Programming Language

brainfuck esolang esoteric-programming-language interpreter midi programming-language

Last synced: 01 Aug 2025

https://github.com/kinderjosh/pcl

The PCL programming language.

compiler compiler-backend compiler-design fasm programming-language

Last synced: 31 Jul 2025

https://github.com/niqzart/carp-lang

processor programming-language python

Last synced: 31 Jul 2025

https://github.com/lowkeykeishz/turtlebasic

A basic-like programming language for Python Turtle drawing experiments. Still in development state.

programming-language python python3 turtle turtle-graphics turtle-python

Last synced: 16 May 2025

https://github.com/ivov/lisette

A little language inspired by Rust that compiles to Go

compiler go programming-language rust

Last synced: 20 Apr 2026

https://github.com/grassleaff/tif

tif is a lightweight interpreted language implemented in Lua, featuring basic control flow, variables, expressions and more. Aimed at experimentation and educational use.

interpreter language lexer lua lua-programming parser programming-language