Hacker GitHub

← All repos

kadena-io/pact

View on GitHub ↗ ★ 606 Haskell archived

The Pact Smart Contract Language

9 mentions on Hacker News by 7 people: 2 stories, 7 comments · first 2017-07-03 · latest 2024-07-26

Mentions per year 9 mentions · busiest year 2017 (4)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    The Pact Programming Language
    story by wslh · 2024-07-26 · 0 comments
  2. How does this compare to pact[0]? [0] https://github.com/kadena-io/pact
    comment by galfarragem · 2022-07-06 · in Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme
  3. ▲ 2
    Pact Programming Language (For Smart Contracts)
    story by tosh · 2019-04-12 · 0 comments
  4. …<*> interpret b If you're curious, here's some real symbolic evaluation code I wrote doing the same https://github.com/kadena-io/pact/blob/234ba3dd01f0df8b4e462...
    comment by joelburget · 2019-04-08 · in A gentle introduction to symbolic execution
  5. …consensus protocol ( http://kadena.io/docs/chainweb-v15.pdf ) and our smart contract language https://github.com/kadena-io/pact + formal verification system. hiring+hn@kadena.io.
    comment by buckie · 2018-04-03 · in JPMorgan's Blockchain Chief Is Setting Out on Her Own
  6. …Uplink ( https://github.com/adjoint-io/uplink ), plus there's the Pact smart contract language ( https://github.com/kadena-io/pact )
    comment by spopejoy · 2017-12-06 · in Reflecting on Haskell in 2017
  7. …a non Turing complete Lisp language for writing contracts and provides a blockchain implementation. https://github.com/kadena-io/pact
    comment by mark_l_watson · 2017-12-01 · in Write your next Ethereum contract in Pyramid Scheme
  8. Pact ( http://github.com/kadena-io/pact ) is a turing-incomplete LISP (no recursion, no lambdas, no unbounded loops ... no macros either ;) ) and built in Haskell. Also has formal verification by directly compiling to SMT-LIB2 (not…
    comment by spopejoy · 2017-11-08 · in Parity Wallet security alert
  9. …just the interpreter; indeed there's a sample "TODO MVC" app showing just how easy this is (see https://github.com/kadena-io/pact/blob/master/README.md ). As for a public platform, stay tuned, we will have an annoucement very soon. Suffice…
    comment by spopejoy · 2017-07-03 · in Underhanded Solidity Coding Contest