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-06-17 00:20:34 UTC
- JSON Representation
https://github.com/aallan/vera-bench
VeraBench: a benchmark suite for LLM code generation in Vera
benchmark code-generation contracts formal-verification llm programming-language vera verification verified-programming
Last synced: 08 Jun 2026
https://github.com/thedan64/limonite
[WIP] Compiler for the Limonite programming language.
Last synced: 15 Apr 2025
https://github.com/edg-l/edlang
Experimental statically-typed compiled programming language made with LLVM and Rust.
compiler edlang experimental-language language llvm programming-language rust
Last synced: 24 Jun 2025
https://github.com/sammi-turner/crab-basic
An interpreter for the Crab dialect of the BASIC programming language.
basic interpreter programming-language
Last synced: 11 Apr 2025
https://github.com/ismoilovdevml/osmon-lang
Osmon lang dasturlash tilida calculator
calculator osmon-lang programming-language xinux
Last synced: 08 Apr 2025
https://github.com/ademar/ironkernel
IronKernel is a dialect of the Kernel programming language for the .NET framework.
fsharp programming-language scheme
Last synced: 16 Apr 2025
https://github.com/fg123/wendy
Wendy is an compiler / interpreter for WendyScript
compiler interpreter programming-language wendy
Last synced: 11 May 2025
https://github.com/opshin/pyscc
Python Smart Contracts for Cardano
cardano cardano-community compiler programming-language python smart-contracts
Last synced: 04 Aug 2025
https://github.com/arthurfiorette/brainease
🤯 A brainf*ck-style programming language, but readable.
brain brainease brainfuck fuck language programming-language rust rust-language
Last synced: 10 Apr 2025
https://github.com/snowfoxsh/aplang
A programming language made to aid students who are taking AP Computer Science Principles
education educational highschool interpreter language programming-language
Last synced: 07 Apr 2026
https://github.com/idorobots/spartan
A small Lisp dialect that serves me as a test bed for programming language features.
actor-model compiler compiler-design concurrency continuations language-design lisp-dialect programming-language rules-engine scheme
Last synced: 23 Feb 2026
https://github.com/oxalorg/ninshu
ninshu - The Ninja Programming Language (inspired from naruto)
Last synced: 05 Oct 2025
https://github.com/s-macke/forthly
Tiny Forth implementation in Go
forth golang programming-language webassembly
Last synced: 12 Apr 2025
https://github.com/turborium/turboriumbasic
Simple BASIC interpriter
basic clean-architecture clean-code computer-science cpp delphi gdd gdd-methodology ingenieria-informatica interpreter linux-kernel object-pascal pascal programming-language pure-c web3 xplatform
Last synced: 20 Sep 2025
https://github.com/imgabreuw/notes
My Public Second Brain Framework and Style.
collaborative-learning knowledge-sharing open-source programming-language software-engineering
Last synced: 29 Jul 2025
https://github.com/bastianblokland/novus
General purpose, statically typed, functional programming language
compiler cxx language novus programming-language toy-compiler toy-language
Last synced: 19 Mar 2025
https://github.com/origamidev-pete/odinlox
Odin implementation of a Lox virtual machine and compiler based on Robert Nystrom's Crafting Interpreters
compiler interpreter programming-language virtual-machine
Last synced: 09 Feb 2026
https://github.com/remulang/proud
The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax
first-class-polymorphisms interactively-static-checking programming-language row-polymorphism traits type-inference
Last synced: 12 Mar 2026
https://github.com/marcoonroad/moonforth
My own Forth dialect on top of the Lua programming language. [Work in Progress]
compiler forth interpreter lua programming-language programming-language-theory repl
Last synced: 17 Jul 2025
https://github.com/rhpo/luna
A High-Level dynamically typed versatile language for elegant programming and streamlined scripting.
javascript language luna programming programming-language rust scripting-language typescript vanilla-javascript vanilla-js web
Last synced: 26 Oct 2025
https://github.com/luizzak/zscript
A game scripting programming language written in .NET C#
c-sharp interpreter language programming-language toy-language zscript-programming-language
Last synced: 10 Sep 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: 26 Jun 2025
https://github.com/fabasoad/setup-mint-action
This action installs Mint (programming language for writing single page applications).
cli github-action github-actions mint programming-language setup-mint
Last synced: 17 Mar 2025
https://github.com/1whatleytay/kara
Easy-to-use, blazing-fast programming language.
Last synced: 26 Apr 2025
https://github.com/nakov/introcsharpbook
"Fundamentals of Computer Programming with C#" Book
book bulgarian csharp english programming programming-exercises programming-fundamentals programming-language
Last synced: 28 Aug 2025
https://github.com/fifthlang/fifthlang
Fifth is a .NET 10.0 systems programming language combining imperative and functional programming with first-class knowledge graph and semantic web support. It offers a modified C#-like syntax enhanced with Erlang-inspired function overloading, parameter destructuring, and guard clauses.
compiler database dotnet functional-programming knowledge-graph programming-language
Last synced: 02 Apr 2026
https://github.com/haze/pill
the ill programming language & interpreter
assembly programming-language rust
Last synced: 04 Mar 2026
https://github.com/emmaunel/fluffy
This is my own programming language called fluffy(similar to python)
fluffy fluffy-language interpreter language programming-language toy-language
Last synced: 30 Apr 2025
https://github.com/vurv78/expressive
Expression, but it's Typescript (with extras). Replacement for Expression2, ExpAdv, Starfall
compiler e2 expression2 garrysmod glua gmod programming-language transpiler typescript wiremod
Last synced: 25 Apr 2025
https://github.com/jzwood/portcullis
A minimalist / functional / dataflow programming language
compilers javascript language lua portcullis programming-language python
Last synced: 25 Jun 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: 03 Mar 2026
https://github.com/tomlin7/kookie
Static, powerful programming language written in C#
compiler dotnet hacktoberfest kookie programming-language
Last synced: 13 Apr 2025
https://github.com/inferara/inference-language-spec
🌀 Inference programming language specification
formal-specification formal-verification programming-language
Last synced: 03 Mar 2026
https://github.com/sleepy-monax/udfore
🔣 A safe and statically typed programming language
Last synced: 13 Apr 2025
https://github.com/ujjwal-kr/brainf
Making a brainf*ck compiler in 24 hours
assembly compiler programming-language x64
Last synced: 24 Aug 2025
https://github.com/brianobot/c_learning
Codebase of C Code snippets written while learning C
c c-programming learning-by-doing learning-c programming programming-language
Last synced: 06 Jul 2025
https://github.com/kzh/lyca
programming language compiler w/ llvm
compiler llvm programming-language
Last synced: 27 Oct 2025
https://github.com/h1ghbre4k3r/y-lang
Compiler for the (rather new and very experimental) Y programming language.
compiler nasm-assembly programming-language rust
Last synced: 13 Apr 2025
https://github.com/emmathemartian/musi
an artistic programming language made to be embedded into projects and to build domain-specific-languages
language musi programming-language vlang vlang-package
Last synced: 17 Feb 2026
https://github.com/cerus/edina
Edina - A simple stack-oriented compiled programming language.
compiled-language concatenative concatenative-language imperative imperative-language jvm-language language programming-language stack-based stack-based-language stack-oriented
Last synced: 11 Apr 2025
https://github.com/anshumansinha3301/programming-in-c-basics
Programs in the C language that I worked on during my first semester including basics, conditional statements and Control Flow Statements.
basic-programming c conditional-statements controlflow programming-language
Last synced: 13 Apr 2025
https://github.com/wsdevv/copper
An open source, OOP language with editable syntax.
compiler customizable editable-syntax language object-oriented-programming paintl programming-language programming-languages
Last synced: 28 Jun 2025
https://github.com/objectionary/news.eolang.org
Our Official Blog: we write about the development of EOLANG and 𝜑-calculus
blog eolang formal-methods jekyll language oop programming-language
Last synced: 18 Oct 2025
https://github.com/thefox6/luavenuscompiler
a compiler that loads and runs lua Venus scripts
compiler lua programming-language script venus venus-files
Last synced: 18 Mar 2025
https://github.com/bas1c1/go-script
Go Script is a dynamically typed general purpose programming language
code csharp-code go go-script golang golang-script goscript interpreted-programming-language interpreter language programming programming-language script scripting scripting-language
Last synced: 09 Apr 2025
https://github.com/ferhatgec/gretea
Fegeya Gretea (aka green tea), new generation programming language.
compiler cpp cpp17 green greentea programming programming-language rust tea
Last synced: 14 Apr 2025
https://github.com/zlliang/tslox
An interpreter of the Lox scripting language, implemented in TypeScript
interpreter programming-language typescript
Last synced: 12 Jun 2026
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/slowy07/xvr
The xvr programming language
bytecode-interpreter programming-language
Last synced: 18 Feb 2026
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/omarbazaraa/mppcompiler
A simple programming language written using Lex and Yacc.
bison compiler flex lex lexer parser programming-language yacc
Last synced: 04 Sep 2025
https://github.com/annimon/hotarufx
Programming language for creating animations
animation java javafx programming-language
Last synced: 16 Oct 2025
https://github.com/bauripalash/pankti
Pankti Programming Language, A Practical Bengali Programming Language
bangla bengali compiler interpreter language programming-language
Last synced: 16 Jan 2026
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/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/spencerpark/mellowd
Programmable music! A compiler and high level language.
antlr mellowd music music-composition music-programming-language programming-language
Last synced: 12 Jun 2025
https://github.com/selectnull/pylox
Python implementation of Lox language
interpreter lox-language programming-language python
Last synced: 12 Jun 2025
https://github.com/artegoser/onlang
Object Notation Programming Language?
esoteric-language esoteric-programming-language experiment experimental interpreter language onlang programming-language scripting-language
Last synced: 16 Mar 2026
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/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/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/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/shinkwhek/microlisp
A lisp interpreter
interpreter lisp lisp-interpreter programming-language readable
Last synced: 11 May 2025
https://github.com/srgaabriel/selene
🍂|Selene is a statically-typed, imperative and procedural programming language compiled to LLVM IR. The language of tranquil and serenity.
ast-parser build-tool compiler gradle jvm kotlin kotlin-jvm kotlin-native llvm llvm-ir multiplatform programming-language programming-language-development selene
Last synced: 06 Mar 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/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/psidh/ganges
Ganges is a modern, dynamically typed, interpreted language with Sanskrit-inspired syntax. Built in Go, Ganges is designed to be fun, expressive, and powerful, perfect for scripting, learning, and exploring core programming concepts in a new light.
ast backend go golang interpreter lexer low-level parser programming-language
Last synced: 10 Oct 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/techno-coder/lexica
Reversible programming language
language lexica programming-language reversible-computation
Last synced: 23 Mar 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/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/evilmartians/furnace-xray
A visualizer for transformations of code in Static Single Assignment form based on the Furnace library.
programming-language visualizer
Last synced: 12 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/upstat-io/ori-lang
A statically-typed, expression-based language with declarative patterns, mandatory testing, and explicit effects.
compiler effect-system functional-programming pattern-matching programming-language rust static-typing testing type-inference
Last synced: 13 Apr 2026
https://github.com/hesham-cant-fly/haste-lang
compiler haste language modern programming-language safety
Last synced: 22 Jun 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/chiroptical/snail
A programming language for gastropods
lisp-dialect parser programming-language
Last synced: 16 Mar 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/moves-rwth/caesar
Deductive verification infrastructure for probabilistic programs
deductive-verification probabilistic-programs programming-language
Last synced: 20 Oct 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/cowboy8625/snow-lang
A functional programming language
compiler functional functional-programming language programming-language snow-lang
Last synced: 14 Apr 2025
https://github.com/lus-lang/lus
A small, fast, and reliable programming language that is sovereign.
language lua lua-script lua-scripting lus programming-language
Last synced: 13 Jun 2026
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/raviqqe/lazy-ein
JSON meets Haskell.
concurrent functional parallel programming-language
Last synced: 16 Apr 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/corex-inc/corex
Modern, Paper-exclusive compiled scripting engine
corex gradle-kotlin lightweight minecraft minecraft-plugin paper-plugin plugin programming-language scripting-language
Last synced: 07 Jun 2026
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/yvan-sraka/yeast
Yet Another Shell Trick
pipe posix programming-language rust shell unix
Last synced: 02 Apr 2026
https://github.com/ariannamethod/ariannamethod.ai
Arianna Method Programming Language
ai ariannamethod attention llm programming-language transformers
Last synced: 08 Mar 2026
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/namberino/nimble
The NIMBLE Programming Language
cpp cpp20 interpreter lexical-analysis parsing programming-language
Last synced: 10 Apr 2025
https://github.com/bor0/budge
Budge - a programming language and a theorem prover
programming-language theorem-prover
Last synced: 16 Mar 2026
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/LuisAlbizo/WardScript
A high-level and minimalist programming language
flex-bison interpreter minimalist parser programming-language
Last synced: 11 May 2025
https://github.com/shayyz-code/poolang
A tiny interpreted language written in Rust. This language is named `Poo ပူး`, taken from the Burmese word for Guinea Pig.
programming-language rust-lang
Last synced: 26 Apr 2026