Pact - Contract language

Pact is an open source contract language created in 2016 by Stuart Popejoy.

#616on PLDB

10Years Old

Download source code:

git clone https://github.com/kadena-io/pact

The Pact Smart Contract Language

Tags: contractLanguage
Pact is developed on GitHub and has 580 stars
Early development of Pact happened in Kadena LLC
Pact is written in Haskell, YAML, Markdown, C, reStructuredText, Bourne shell, Nix, JSON, CSV, Python, CSS, HTML, XML

Example from the web:

(map (+ 1) [1 2 3])

HackerNews discussions of Pact

title	date	score	comments
Show HN: Pact – a safe smart contract language (web editor)	11/13/2016	18	2