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-25 00:20:51 UTC
- JSON Representation
https://github.com/kmyeaserarafat/problem_solving
Problem Solving Repository This repository is dedicated to various problem-solving approaches and solutions. It contains a collection of algorithms, data structures, coding challenges, and practical problem-solving techniques across multiple programming languages. Ideal for developers looking to enhance their coding skills, prepare for technica
algori data-structures difficult dsa-algorithm fundamentals-of-programming problem-solving programming-language
Last synced: 16 Mar 2025
https://github.com/shuuida/jutsu-lang
Jutsu is an experimental, domain-specific programming language pioneering the Inference-Oriented Programming (IOP) paradigm. While traditional languages model deterministic states, Jutsu is engineered from the ground up to natively orchestrate asynchronous swarms of Artificial Intelligence agents safely and concurrently at the local hardware level.
ai-agents concurrency dsl edge-ai ffi gguf interpreter llamacpp llm local-ai orchestration programming-language rust tokio
Last synced: 19 Apr 2026
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/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