Search: github.com/comtrya | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Contract based programming (Python) (github.com/thoughtnirvana)

50 points

15 years ago

152.

Show HN: A memory database that forgets, consolidates, and detects contradiction (github.com/yantrikos)

48 points

2 months ago

153.

Show HN: Zig-DbC – A design by contract library for Zig

46 points

10 months ago

154.

ERCFund: An open-end fund smart contract for the Ethereum blockchain (github.com/ScJa)

45 points

8 years ago

155.

Show HN: Butter, a low contrast color scheme for reading code all day (github.com/brhs)

41 points

9 years ago

156.

Show HN: Mockingjay – Fake servers and consumer-driven contracts (github.com/quii)

39 points

11 years ago

157.

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

36 points

9 years ago

158.

Show HN: Open sourcing our ERP (Sold $500k contracts, 7k stars) (github.com/adenhq)

32 points

4 months ago

159.

Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract (github.com/ChrisCho-H)

27 points

6 months ago

160.

Specmatic: transform API specs into executable contracts (github.com/znsio)

27 points

2 years ago

161.

The Social Smart Contract – Democracy Earth Paper (github.com/DemocracyEarth)

16 points

9 years ago

162.

Simple CLI tool to generate contractor's invoices (github.com/t0mk)

16 points

8 years ago

163.

Simple, opinionated and automated contract testing for your JSON API's (github.com/hellgrenj)

15 points

5 years ago

164.

Show HN: Prisma Next – data contracts, migration graphs, agent DX (github.com/prisma)

13 points

14 days ago

165.

Two-Stage Contrastive Whole Output Explaination (CWOX-2s) (github.com/vaynexie)

12 points

3 years ago

166.

Show HN: An Ethereum Smart Contract in Solidity with a React Front End (github.com/localjo)

9 points

8 years ago

167.

Show HN: StudioLedger – Escrow-protected contracts for creators, on XRPL (github.com/remyyx)

8 points

a month ago

168.

Show HN: Bitcoin Smart Contract SDK, So Easy to Use (github.com/ChrisCho-H)

8 points

2 years ago

169.

Chef-sugar stands its grounds against ICE contract (github.com/igolman)

7 points

7 years ago

170.

Show HN: Syntax-highlighting with accessible color contrast (github.com/measuredco)

7 points

2 years ago

171.

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

7 points

8 years ago

172.

Show HN: AI Consulting Contract (github.com)

7 points

9 years ago

173.

Show HN: Design by Contract (tm) – C++ (github.com/Bambofy)

6 points

5 years ago

174.

Ethereum - A Smart Contract and Decentralized Application Platform (github.com/ethereum)

6 points

12 years ago

175.

Show HN: SixArm company consulting agreement v3.0 – GPL/CC developer contract (github.com/SixArm)

5 points

5 years ago

176.

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

5 points

7 years ago

177.

Show HN: Cm-colors –I got tired of manually fixing wcag contrast,so I made this (github.com/comfort-mode-toolkit)

5 points

6 months ago

178.

Show HN: Green Deal – smart contract for buying group discounts (github.com/tingwai-to)

5 points

8 years ago

179.

Drop Zone: Anonymous Peer-To-Peer Local Contraband Marketplace (github.com/17Q4MX2hmktmpuUKHFuoRmS5MfB5XPbhod)

5 points

11 years ago

180.

"Killer Contract" for web designers and developers (gist.github.com)

4 points

13 years ago