A friendly programming language from the future
-
Updated
Jun 25, 2024 - Haskell
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).
A friendly programming language from the future
Agda is a dependently typed programming language / interactive theorem prover.
A language for intent-centric and declarative decentralised applications
lambdaQ - a functional quantum programming language.
The Plutus language implementation and tools
Multiparadigm programming language designed to be satisfyingly functional
A toy programming language for PL research implemented in Haskell
A programming language for gastropods
A typed, polyglot, functional language
Plume is a lightweight programming language that aims to be portable, powerful and easy to learn.
Madlib language compiler
A pedagogical functional programming language.
🧮 Programming with pure lambda calculus
A stack-based programming language with derivational morphemes
Elara is a purely-functional programming language targetting the JVM
TinyAPL, a tiny APL dialect and interpreter in Haskell
A cunning interpreter for the pure untyped λ-calculus.
Implementation of a logical programming language including a tokenizer, LL(1)-parser, translator, evaluator and an execution CLI
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.