Search: github.com/smartcontracts | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Eth2 Book – A book about Ethereum

github.com/smartcontracts

4 years ago

50 points

2.

Decentralized Ether Mixer (with a caveat)

github.com/yaronvel

10 years ago

1 points

3.

Curated list of platforms to run Smart Contracts

github.com/Overtorment

9 years ago

2 points

4.

Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]

github.com/runtimeverification

5 years ago

1 points

5.

HITB2018AMS: Smashing Smart Contracts for Fun and Real Profit [pdf]

github.com/b-mueller

8 years ago

2 points

6.

Show HN: Timelock smart contract utilising M of N oracles

12 years ago

1 points

7.

Show HN: Plutus-yesod-starter-app: a tool for researching Plutus User Interfaces

7 years ago

1 points

8.

Show HN: Dharma – Programmable Peer-To-Peer Loans Using Ethereum Smart Contracts

9 years ago

156 points

9.

Byzantine Fault Tolerant Raft With Smart Contracts

github.com/buckie

10 years ago

71 points

10.

Michelson: The Language of Smart Contracts in Tezos

github.com/tezos

9 years ago

36 points

11.

Show HN: Bloqly - write Smart Contracts in JavaScript

github.com/bloqly

8 years ago

7 points

12.

ILF: AI-Based Fuzzer for Ethereum Smart Contracts

github.com/eth-sri

7 years ago

5 points

13.

Bamboo: a language for morphing smart contracts

github.com/pirapira

9 years ago

4 points

14.

Show HN: BlockHost OS – Autonomous VM provisioning through smart contracts

github.com/mwaddip

4 months ago

3 points

15.

Vitra: A research project for exploring smart contracts without blockchains

github.com/pfrazee

4 years ago

3 points

16.

Customize EOS smart contracts using JSON

github.com/EOSBlox

8 years ago

3 points

17.

Show HN: IntelliJ Solidity – IntelliJ plugin for developing smart contracts

github.com/intellij-solidity

9 years ago

3 points

18.

Show HN: Bloqly – smart contracts without Ethereum's EVM

github.com/bloqly

8 years ago

2 points

19.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

5 months ago

2 points

20.

Show HN: Compiler for Writing Ethereum Smart Contracts with TypeScript

a year ago

2 points

21.

Automated Exploit Generator for Smart Contracts on the Chains

github.com/fuzzland

3 years ago

2 points

22.

Juno – Open-Source Platform for Interoperable Smart Contracts

github.com/CosmosContracts

4 years ago

2 points

23.

Pact Programming Language (For Smart Contracts)

github.com/kadena-io

7 years ago

2 points

24.

Blackstone – Smart contracts and high level API powering the Agreements Network

github.com/agreements-network

8 years ago

2 points

25.

The shortest guide to testing Ethereum smart contracts

github.com/fgadaleta

8 years ago

2 points

26.

Trustless, provable event ordering in p2p network (e.g. for smart contracts)

github.com/levy

8 years ago

2 points

27.

Flint: A New Language for Safe Smart Contracts on Ethereum

github.com/franklinsch

8 years ago

franklinschrans

2 points

28.

Bamboo: a language for morphing smart contracts

github.com/pirapira

8 years ago

2 points

29.

A micro-tutorial on deploying smart contracts with python

github.com/adamyala

8 years ago

2 points

30.

Command line tool to monitor smart contracts and transactions

github.com/Neufund

9 years ago

2 points