A list of cryptocurrency and smart contract projects using functional programming languages and/or principles.
Pull requests welcome!
| Name ⇩ | Symbol | Programming Language |
|---|---|---|
| Aeternity | AE | Erlang, Elixir |
| Cardano | ADA | Haskell, Scala, PureScript, Coq, Nix |
| Status | SNT | Clojure/Script |
| Tezos | XTZ | OCaml, Coq |
| Name ⇩ | Description |
|---|---|
| DAML | An open-source smart contract language for building future-proof distributed applications on a safe, privacy-aware runtime. DAML is based on Haskell; it is a functional programming language that draws on many Haskell characteristics, such as strong typing, and utilizes the GHC compiler. |
| Liquidity | A high-level language to program Smart Contracts for Tezos. It is a fully typed functional language, it uses the syntax of OCaml, and strictly complies with Michelson security restrictions. |
| NEO Smart Contract | The NEO smart contract can be used directly by almost any high-level programming language. Among the first supported languages is F#. |
| Pact | Pact is immutable, deterministic, and Turing-incomplete. Based on LISP, Pact strikes a balance between low-level directly executable expressions and high-level declarative code. |
| Plutus | A strictly typed pure functional programming language used for defining smart contracts in Cardano. The syntax is fairly Haskell-like, but unlike Haskell, the language is eagerly evaluated. |
| Simplicity | A typed, combinator-based, functional language without loops and recursion, designed to be used for crypto-currencies and blockchain applications. |
- BCH:
1MBfARAVgiShgdhYjKnWmivyWMbp72Pjm9 - ETH:
0x8802aaa19733D451A8414e97d473767E9d2ff255 - NANO:
nano_163thh9pcxgox4fej3otqdre17q8k7sntzajitun76cfite9jc1toza8hano