Search: github.com/contra | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Show HN: EnvSentinel – contract-driven .env validation, zero dependencies (github.com/tweakyourpc)

1 point

3 months ago

272.

Show HN: Verity, Formally verified smart contracts from spec to bytecode (github.com/Th0rgal)

1 point

3 months ago

273.

Show HN: Soda 4.0 – Data contracts engine for the modern data stack (github.com/sodadata)

1 point

4 months ago

274.

Show HN: Prometheus – Give LLMs memory, dreams, and contradiction detection (github.com/panosbee)

1 point

4 months ago

275.

Show HN: SpecFact CLI: Reverse Engineer Legacy Python into Enforceable Contracts (github.com/nold-ai)

1 point

5 months ago

276.

Contrast best practices between OS and enterprise (gist.github.com)

1 point

6 months ago

277.

DDSE Foundation Announces Agentic Contract Model (ACM) Framework v0.5.0

1 point

8 months ago

278.

Show HN: SaveContract – CLI tool to download verified smart contract source code (github.com/aaurelions)

1 point

10 months ago

279.

Quimera: LLMs based tool to discover smart contract exploits (github.com/gustavo-grieco)

1 point

a year ago

280.

Data Contract CLI (github.com/datacontract)

1 point

2 years ago

281.

Show HN: Data Contract CLI – Test your datasets (github.com/datacontract)

1 point

2 years ago

282.

Show HN: A locally hosted smart contract manager for developers (github.com/boundless-forest)

1 point

2 years ago

283.

Show HN: Sinatra-Param — Design by Contract for Query String & Form Parameters (github.com/mattt)

1 point

14 years ago

284.

EVM Smart Contracts Using Homomorphic Encryption [pdf] (github.com/zama-ai)

1 point

3 years ago

285.

Show HN: Data Contract CLI – Manage data contracts (github.com/datacontract)

1 point

3 years ago

286.

Show HN: Answering to: 'What is the contrary of courage?' (github.com/paulfranceschi)

1 point

3 years ago

287.

RGB, smart contracts on Bitcoin and Lightning made in Rust (github.com/RGB-WG)

1 point

3 years ago

288.

Private keys management for smart contracts deployment

1 point

4 years ago

289.

AlgoPytest – Framework for Testing Algorand Smart Contracts Using PyTest (github.com/DamianB-BitFlipper)

1 point

4 years ago

290.

Production Quality contracts under open source licenses (github.com/CosmWasm)

1 point

4 years ago

291.

OpenSea compatible ERC721 (NFT) contract using Vyper (github.com/vykintasmak)

1 point

4 years ago

292.

Rust library for writing NEAR smart contracts (github.com/near)

1 point

4 years ago

293.

Moonbeam – An Ethereum-compatible smart contract parachain on Polkadot (github.com/PureStake)

1 point

4 years ago

294.

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

1 point

5 years ago

295.

Are Code Contracts going to be supported in .NET Core going forwards? (2018) (github.com/dotnet)

1 point

5 years ago

296.

Design by Contract for Python (github.com/life4)

1 point

6 years ago

297.

PHP Agnostic Connector, design-by-contract based (github.com/ticaje)

1 point

6 years ago

298.

Diamond Standard for Upgradeable Contracts (github.com/ethereum)

1 point

6 years ago

299.

Cofoja style Contracts for Javascript (github.com/wbecker)

1 point

15 years ago

300.

Uniswap smart-contract PR: “block some countries” (github.com/Uniswap)

1 point

6 years ago