Search: github.com/smartcontracts | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Eth2 Book – A book about Ethereum (github.com/smartcontracts)

50 points

4 years ago

2.

Decentralized Ether Mixer (with a caveat) (github.com/yaronvel)

1 point

10 years ago

3.

Curated list of platforms to run Smart Contracts (github.com/Overtorment)

2 points

9 years ago

4.

Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf] (github.com/runtimeverification)

1 point

4 years ago

5.

HITB2018AMS: Smashing Smart Contracts for Fun and Real Profit [pdf] (github.com/b-mueller)

2 points

8 years ago

6.

Show HN: Timelock smart contract utilising M of N oracles

1 point

12 years ago

7.

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

1 point

7 years ago

8.

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

156 points

9 years ago

9.

Byzantine Fault Tolerant Raft With Smart Contracts (github.com/buckie)

71 points

10 years ago

10.

Michelson: The Language of Smart Contracts in Tezos (github.com/tezos)

36 points

9 years ago

11.

Show HN: Bloqly - write Smart Contracts in JavaScript (github.com/bloqly)

7 points

8 years ago

12.

ILF: AI-Based Fuzzer for Ethereum Smart Contracts (github.com/eth-sri)

5 points

7 years ago

13.

Bamboo: a language for morphing smart contracts (github.com/pirapira)

4 points

8 years ago

14.

Show HN: BlockHost OS – Autonomous VM provisioning through smart contracts (github.com/mwaddip)

3 points

4 months ago

15.

Vitra: A research project for exploring smart contracts without blockchains (github.com/pfrazee)

3 points

4 years ago

16.

Customize EOS smart contracts using JSON (github.com/EOSBlox)

3 points

8 years ago

17.

Show HN: IntelliJ Solidity – IntelliJ plugin for developing smart contracts (github.com/intellij-solidity)

3 points

9 years ago

18.

Show HN: Bloqly – smart contracts without Ethereum's EVM (github.com/bloqly)

2 points

8 years ago

19.

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

2 points

4 months ago

20.

Show HN: Compiler for Writing Ethereum Smart Contracts with TypeScript

2 points

a year ago

21.

Automated Exploit Generator for Smart Contracts on the Chains (github.com/fuzzland)

2 points

3 years ago

22.

Juno – Open-Source Platform for Interoperable Smart Contracts (github.com/CosmosContracts)

2 points

4 years ago

23.

Pact Programming Language (For Smart Contracts) (github.com/kadena-io)

2 points

7 years ago

24.

Blackstone – Smart contracts and high level API powering the Agreements Network (github.com/agreements-network)

2 points

8 years ago

25.

The shortest guide to testing Ethereum smart contracts (github.com/fgadaleta)

2 points

8 years ago

26.

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

2 points

8 years ago

27.

Flint: A New Language for Safe Smart Contracts on Ethereum (github.com/franklinsch)

2 points

franklinschrans

8 years ago

28.

Bamboo: a language for morphing smart contracts (github.com/pirapira)

2 points

8 years ago

29.

A micro-tutorial on deploying smart contracts with python (github.com/adamyala)

2 points

8 years ago

30.

Command line tool to monitor smart contracts and transactions (github.com/Neufund)

2 points

9 years ago