An open API service indexing awesome lists of open source software.

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).

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