https://github.com/sriharikapu/spedn
A Smartcontract Platform for Bitcoin Cash, Spedn is a high level smart contracts language for Bitcoin Cash. It is designed for explicity and safety: It is statically typed - detects many errors at compile time It is explicitly typed - no guessing what the expression is supposed to return It is purely-functional - free of side effects, the common source of bugs It has a familiar C-like syntax
https://github.com/sriharikapu/spedn
bch bch-smartcontracts bitcoin-cash bitcoincash smartcontracts spedn
Last synced: 10 months ago
JSON representation
A Smartcontract Platform for Bitcoin Cash, Spedn is a high level smart contracts language for Bitcoin Cash. It is designed for explicity and safety: It is statically typed - detects many errors at compile time It is explicitly typed - no guessing what the expression is supposed to return It is purely-functional - free of side effects, the common source of bugs It has a familiar C-like syntax
- Host: GitHub
- URL: https://github.com/sriharikapu/spedn
- Owner: sriharikapu
- Created: 2018-10-28T09:02:05.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-10-28T09:51:09.000Z (over 7 years ago)
- Last Synced: 2025-04-07T12:48:18.140Z (about 1 year ago)
- Topics: bch, bch-smartcontracts, bitcoin-cash, bitcoincash, smartcontracts, spedn
- Language: Haskell
- Homepage: https://spedn.readthedocs.io/
- Size: 996 KB
- Stars: 7
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Spedn
=================================

Spedn is a high level smart contracts language for Bitcoin Cash.
It is designed for explicity and safety:
* It is statically typed - detects many errors at compile time
* It is explicitly typed - no guessing what the expression is supposed to return
* It is purely-functional - free of side effects, the common source of bugs
* It has a familiar C-like syntax
> [Quick Start](https://github.com/sriharikapu/Spedn/wiki/Quick-Start)
> [Docs](http://spedn.rtfd.io)