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-02 00:24:22 UTC
JSON Representation

https://github.com/kardashevlang/kardashev

A Rust-flavored systems language with lightweight effect labels in the type system — LLVM backend (JIT + AOT), ownership + borrow checking, generics, traits, and #[derive].

borrow-checker compiler effect-system jit language llvm programming-language rust systems-programming type-system

Last synced: 09 Jun 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/poseidoncoder/progeny

a minimalist, clean programming language

interpreter progeny programming-language tree-walker

Last synced: 09 Jun 2026

https://github.com/daveyarwood/docs.alda.io

Documentation site for Alda, https://docs.alda.io

alda documentation language music music-composition programming-language

Last synced: 06 Sep 2025

https://github.com/fabiannorbertoescobar/csharp-windowsforms-ejercicios

Aplicaciones de Escritorio en C#.NET con Windows Forms. Polo Tecnológico.

bd csharp database database-connector mssql net object-oriented-programming programming-language windows-desktop windows-forms

Last synced: 02 May 2026

https://github.com/jeeldobariya38/coding-notes

Coding notes is a platform that contains notes for all topics releated to coding

cheatsheet coding notes programming-language

Last synced: 14 Feb 2026

https://github.com/atemmel/cherry

🍒 Personalized shell for unix systems

programming-language repl scripting-language shell

Last synced: 31 Jan 2026

https://github.com/quintuple-mallard/jikiscript

An interpreter for the Exercism Bootcamp's JikiScript programming language. (_Extremely_ WIP!)

exercism programming-language

Last synced: 02 May 2026

https://github.com/zavvdev/elise-lang

Mini programming language.

interpreter language lexer parser programming-language rust semantic-analysis semantic-analyzer tokenizer tokenizer-parser

Last synced: 24 Oct 2025

https://github.com/mohammad-al-refai/jsx-language

Stack-oriented programming language that feels like JSX

go programming-language

Last synced: 01 Jun 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: 22 Oct 2025

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/twolodzko/goer

A minimal Erlang implemented in Go

erlang golang interpreter programming-language

Last synced: 27 Feb 2026

https://github.com/mituskillologies/data-science-july24

Programs of Data Science batch @ MITU Skillologies, July 2024

classification data-analytics data-science machine-learning mysql powerbi programming-language python sql supervised-learning unsupervised-learning

Last synced: 05 May 2026

https://github.com/aadenboy/kawa-ide

Official IDE and interpreter for the Kawa esolang

esolang esolang-wiki esolangs esoteric-programming-language ide interpreter programming-language

Last synced: 14 Jun 2026

https://github.com/huidaecho/stacki

A stack-based interpreter that borrows all opcodes from Whitespace

esoteric-language interpreter programming-language whitespace

Last synced: 09 Jun 2026

https://github.com/lucasmcclean/serin

ML-style language with bidirectional typing, closures, and WASM compilation.

anf bidirectional-typechecking closures programming-language wasm

Last synced: 03 Jun 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/magnexis/code-playground

MGL — A Visual + Code-Based Data Processing Platform

dockerfile news playground-project programming-language release

Last synced: 26 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/blade-lang/blade-jit

A JIT compiler for the Blade programming language

blade compiler jit language programming-language

Last synced: 28 Jan 2026

https://github.com/f3nr1rs3c/algorithmandprogramming

Programlama Notlarım

algorithm cpp csharp programming programming-language

Last synced: 09 May 2026

https://github.com/mrwhoishe/pmc-ide

Program programs for the PMC project CPUs in their own language, PearlBasic, using PMC-IDE!

c ide ides pearlbasic programming programming-language project projects

Last synced: 18 Jun 2026

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

cpp programming-language

Last synced: 25 Apr 2026

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/markalexi/-egg-language

Impementation of programming language EGG (authored by Marijn Haverbeke, "Eloquent JavaScript").

egg programming-language

Last synced: 27 Oct 2025

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/lucasspinola/lip

Programming language

programming-language python

Last synced: 12 Jun 2026

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

hello in docker

docker programming-language

Last synced: 06 Feb 2026

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/dominhduy09/learning-programming

Learning-programming books and collections

books code coding coding-style collection learning programming programming-language study

Last synced: 25 Feb 2026

https://github.com/hgiesel/slang

A Clojure-like language with built-in Profunctor Optics

profunctor-optics programming-language

Last synced: 07 Jun 2026

https://github.com/pyxherb/slake

An embeddable programming language.

c-plus-plus c-plus-plus-17 cpp cpp17 embeddable-language gamedev gamedev-library language programming-language scripting-language

Last synced: 09 Feb 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/carloseduardonit/programa-infox

Repositório do Programa Infox: Projeto desenvolvido para aprendizado e prática em lógica de programação e desenvolvimento de software. Inclui soluções criativas para desafios propostos no programa.

crud java-8 mssql programming-language youtube

Last synced: 11 May 2026

https://github.com/shoaib1522/oop-in-python

This repository contains comprehensive lecture codes, practice exercises, and resources for learning Object-Oriented Programming (OOP) in Python. It covers core OOP concepts like classes, inheritance, and polymorphism, with practical examples and assignments.

aggregation c class codes composite language object-oriented-programming oop-principles polymorphism programming-language python

Last synced: 29 Apr 2026

https://github.com/robinncode/banglascript

BanglaScript is a programming language that uses Bengali characters for its syntax.

bengali javascript programming-language typescript

Last synced: 29 Apr 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/pithecene-io/dao

Dao is a language project for high-performance structured computation

compiler cpp23 language-design llvm longarc lsp playground programming-language systems-language

Last synced: 04 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/meysam81/interpreter-for-numex

This project has to do with NUMEX (Number-Expression Programming Language). NUMEX programs are written directly in Racket by using the constructors defined by the structs defined

college college-project computer-science computer-science-and-engineering coursera coursera-assignment coursera-course coursera-programming coursera-programming-language dan-grossman engineering functional-programming programming-language project racket racket-lang racket-language racket-recursive study university-of-washington

Last synced: 14 Feb 2026

https://github.com/sahilverse/nepdai

NepDai is a fun Nepali programming language inspired by bhailang. This project is currently under development.

abstract-syntax-tree interpreter javascript lexer-parser nepdai programming-language typescript

Last synced: 01 May 2026

https://github.com/acerx-amj/cfunge

2D esoteric programming language based off Befunge-93.

cpp17 esolang interpreter programming-language

Last synced: 17 Sep 2025

https://github.com/acerx-amj/cll_interpreter

Interpreter for CLL inspired by C++ and Python.

cpp17 interpreted-programming-language interpreter programming-language

Last synced: 17 Sep 2025

https://github.com/jethrr/bisaya-prog-language

A high interpreted programming language based on Cebuano built using Typescript

programming-language

Last synced: 09 Sep 2025

https://github.com/aceinetx/zenlang

Primary programming language of ZenOS

garbage-collection programming-language rust rust-lang

Last synced: 06 Nov 2025

https://github.com/tensorush/ziggykanren-logic-language

:zap: 🎎 ZiggyKanren is an attempt of embedding miniKanren in Zig.

embedded-language embedding kanren language logic-programming microkanren minikanren programming-language zero-allocation zig ziglang

Last synced: 01 Sep 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/wgtsantos/aula_javascript_m

Aulas Práticas de Javascript - Turma Manhã

desenvolvimento-de-sistemas javascript lessons-learned programming-language senai students

Last synced: 04 Oct 2025

https://github.com/ayushsiloiya619/pwskills_decode_batch

Pwskills_Decode_Batch

competitive-programming cplusplus placement-preparation programming-language

Last synced: 23 Mar 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/ltabis/d-lisp

An implementation of Lisp in C

lisp-interpreter programming-language

Last synced: 17 Jan 2026

https://github.com/newlandtv/python-tutorial-3.11.0

This is tutorial about Python 3.11.0 for beginners.

programming-language python python3 python3-11 tutorial

Last synced: 16 Sep 2025

https://github.com/ayushsiloiya619/threshold-dkn

C++ Important Coding questions with solutions.

competitive-programming cplusplus cpp programming-language

Last synced: 23 Mar 2025

https://github.com/erkamuzuncayir/cpp-primer

This repository contains my solutions of exercises for "C++ Primer, 5th Edition" by Stanley B. Lippman

cpp cpp-programming programming programming-exercises programming-language solutions

Last synced: 15 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/ryansakurai/artigo-linguagens

Artigo sobre linguagens de programação, feito para a Revista HackoonSpace 2023.

article c cpp java javascript programming-language python typescript

Last synced: 21 Jun 2025

https://github.com/sergeychelak/fox-bytecode

Rust port of clox language

bytecode bytecode-interpreter crafting-interpreters interpreter programming-language

Last synced: 23 May 2026

https://github.com/basemax/goscript

GoScript is a lightweight scripting language implemented in Go. It provides a simple, expressive syntax for common scripting tasks and serves as an excellent platform for learning language design and building domain-specific languages.

go go-interpreter go-programming-language golang golang-interpreter interpreter interpreter-basic interpreter-go interpreter-language interpreter-pattern programming-language programming-language-design programming-language-development programming-language-go programming-language-translator programming-languages

Last synced: 18 Mar 2025

https://github.com/metagn/kismet

Weird lisp-like language with imperative syntax and typed macros

programming-language

Last synced: 18 Mar 2025

https://github.com/TanzeelaFatima492/Function-in-C-

cpp function program programming-language

Last synced: 22 Jun 2026

https://github.com/r1c4rdco5t4/scripting-language

Attempt of a custom scripting language using Python

interpreter programming-language python scripting-language

Last synced: 30 Mar 2025

https://github.com/willmcpherson2/tulip

A Tiny, Untyped, Lazy, Interpreted, Pure language

haskell programming-language

Last synced: 30 Mar 2025

https://github.com/spacebody/bpp

Slides of Basic Python Programming

programming-language python

Last synced: 13 Apr 2025

https://github.com/baleyko/docker-luvit

Dockerized Luvit environment

docker-image lua luvit programming-language

Last synced: 10 Mar 2025

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/voidwyrm-2/npscript

A PostScript implementation

interpreted-programming-language nim postscript postscript-interpreter programming-language

Last synced: 05 Sep 2025

https://github.com/abdulrhman-dev/abood_lang

A simple Arabic scripting language built with python.

arabic programming-language python scripting-language

Last synced: 18 Mar 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/b-jure/tokudae

Embeddable interpreted programming language (work in progress)

c embedded-language interpreter programming-language

Last synced: 12 Aug 2025

https://github.com/saidhanush27/javascript-fundamentals

daily-tasks javascript javascript-es6 programming-language

Last synced: 30 Mar 2025

https://github.com/aroramrinaal/go

playing with golang

100daysofcode go golang programming-language

Last synced: 12 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/mattiaz/funk

A custom programming language called Funk. This is a mirror of the Gitlab repo.

interpreter lexer parser programming-language

Last synced: 28 Jul 2025

https://github.com/two-project/2lang

[Work in progress] An assembler for the 2Lang meta programming language

assembly assembly-language binary compiler language programming-language

Last synced: 27 Feb 2025

https://github.com/dimits-ts/userfriendlyautomaton

A project containing data structures for different kinds of automata (DFAs/NFAs), a simple custom language defining operations on them, as well as a fully functional and customizable GUI editor.

desktop-application dfa-construction integrated-development-environment java-swing programming-language ui

Last synced: 17 May 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/mikaelfangel/crn-plus-plus

👩🏻‍🔬 Implementation of the molecular programming language CRN++

biology chemical-reactions compiler crn crn-simulator interpreter molecular plotting programming-language simulator

Last synced: 26 Oct 2025

https://github.com/hyperifyio/gnd

Gendo Lang

ai bitnet-llm deterministic functional-programming llm openai openai-api pipeline programming-language prompt-engineering

Last synced: 26 Jan 2026

https://github.com/webcien/u-lang

U is a Modern, Safe, and Lightweight systems programming language

programming-language

Last synced: 20 Jan 2026

https://github.com/tttardigrado/mixtape

Befunge + Brainf*ck + ❤️ = MixTape

befunge brainfuck esolangs esoteric-programming-language interpreter nim programming-language topic

Last synced: 03 Apr 2025

https://github.com/tttardigrado/esostack

A small stack oriented esolang

esolang interpreter programming-language stack

Last synced: 03 Apr 2025

https://github.com/shreyaj-27/mini_projects_in_java

This repository contains mini projects created in java.

eclipse-ide intellij-idea java programming-exercises programming-language

Last synced: 17 May 2026

https://github.com/haliliceylan/hku-come-103-python-lab-2018

education laboratory programming-language python

Last synced: 27 Jul 2025

https://github.com/miguelvprieto/pseudocode-compiler

A pseudocode compiler following the computer science IGCSE standards. It is supposed to help people who want to practice pseudocode for the IGCSE exam.

compiler computer-science cs exam igcse igcse-cs programming programming-language pseudocode pseudocode-compiler pseudocode-language

Last synced: 28 Jun 2025

https://github.com/jeluchu/matepedia

Aquí podrás encontrar todos los programas de matemáticas que voy realizando. Desde los más fáciles hasta operaciones complejas

cpp matematicas mathematics maths operations programming programming-language

Last synced: 18 Jun 2025

https://github.com/aishikmukherjee/random-password-generator-in-python

Developer/Creator: Aishik Mukherjee

code easy learn-to-code password password-generator programming programming-in-python programming-language python python3 randomization ready-to-use

Last synced: 09 Apr 2025

https://github.com/andreas-schoch/dominoscript

A recreational stack-oriented concatenative two-dimensional non-linear self-modifying esoteric programming language that uses the dots on domino pieces to represent code.

compiler domino domino-script dominoscript esolang esoteric-programming-language interpreter programming-language stack-oriented