- [x-post r/haskell] Pact: a safe smart contract language https://github.com/kadena-io/pact 6 comments lisp
- Pact: a Safe Smart Contract Language https://github.com/kadena-io/pact 20 comments haskell
Linking pages
- Welcome to Pact | Kadena Docs https://docs.kadena.io/learn-pact/beginner/welcome-to-pact#:~:text=Pact%20is%20an%20open%2Dsource,high%2Dperformance%20logic%20for%20transactions 4 comments
- Kadena Bug Bounties | Immunefi https://immunefi.com/bounty/kadena/ 1 comment
- The EVM Is Fundamentally Unsafe. An in-depth examination of the Ethereum… | by Emily Pillmore | Kadena | Medium https://medium.com/kadena-io/the-evm-is-fundamentally-unsafe-ba486cb17f1f 0 comments
- Pact Formal Verification: Making Blockchain Smart Contracts Safer | by Vivienne Chen | Kadena | Medium https://medium.com/kadena-io/pact-formal-verification-for-blockchain-smart-contracts-done-right-889058bd8c3f 0 comments
- Why We Open-Sourced Our Blockchain’s Smart Contract Language | by Vivienne Chen | Kadena | Medium https://medium.com/kadena-io/https-medium-com-kadena-io-why-we-open-sourced-our-blockchains-smart-contract-language-fe143c6c4df 0 comments
- real-world-pact/02-Pact-In-20-Minutes.md at main · thomashoneyman/real-world-pact · GitHub https://github.com/thomashoneyman/real-world-pact/blob/main/00-core-concepts/02-Pact-In-20-Minutes.md 0 comments
- GitHub - LukasMasuch/best-of-crypto: 🏆 A ranked list of awesome open-source crypto projects. Updated weekly. https://github.com/LukasMasuch/best-of-crypto 0 comments
Linked pages
- Atom https://atom.io 1706 comments
- welcome home : vim online http://www.vim.org/ 709 comments
- Homebrew — The Missing Package Manager for macOS (or Linux) https://brew.sh 184 comments
- Git - Downloads https://git-scm.com/downloads 150 comments
- MELPA https://melpa.org/#/hl-prog-extra 122 comments
- GHCup https://www.haskell.org/ghcup/ 74 comments
- The Haskell Cabal | Overview https://www.haskell.org/cabal/ 63 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - kadena-io/pact: The Pact Smart Contract Language
See how to search.