A friendly programming language from the future
-
Updated
Sep 11, 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.
lamdu - towards the next generation IDE
The Plutus language implementation and tools
A statically typed concatenative systems programming language.
The Egison Programming Language
An interpreter for learning and exploring pure λ-calculus
A language for intent-centric and declarative decentralised applications
A fast functional language based on two level type theory
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
A categorical programming language with effects
A typed, polyglot, functional language
A Super Kawaii Dependently Typed Programming Language
A language experiment -- irc.freenode.net ##coda
an automated solver for problems of competitive programming
A domain-specific language for state machines.
theseus, functional programming language with fully reversible computation
Dependently Typed Lambda Calculus in Haskell