Search: github.com/contra | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

MOVA – contract runtime for AI agents that require human approval (Rust/WASM)

github.com/mova-compact

3 months ago

1 points

272.

Show HN: Pacto – A runtime contract for cloud-native services

github.com/trianalab

3 months ago

1 points

273.

Show HN: Pacto – OCI-distributed contracts for cloud-native services

github.com/trianalab

4 months ago

1 points

274.

Show HN: EnvSentinel – contract-driven .env validation, zero dependencies

github.com/tweakyourpc

4 months ago

1 points

275.

Show HN: Verity, Formally verified smart contracts from spec to bytecode

github.com/Th0rgal

4 months ago

1 points

276.

Show HN: Soda 4.0 – Data contracts engine for the modern data stack

github.com/sodadata

5 months ago

1 points

277.

Show HN: Prometheus – Give LLMs memory, dreams, and contradiction detection

github.com/panosbee

5 months ago

1 points

278.

Show HN: SpecFact CLI: Reverse Engineer Legacy Python into Enforceable Contracts

github.com/nold-ai

6 months ago

1 points

279.

Contrast best practices between OS and enterprise

gist.github.com

7 months ago

1 points

280.

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

8 months ago

1 points

281.

Show HN: SaveContract – CLI tool to download verified smart contract source code

github.com/aaurelions

a year ago

1 points

282.

Quimera: LLMs based tool to discover smart contract exploits

github.com/gustavo-grieco

a year ago

1 points

283.

Data Contract CLI

github.com/datacontract

2 years ago

1 points

284.

Show HN: Data Contract CLI – Test your datasets

github.com/datacontract

2 years ago

1 points

285.

Show HN: A locally hosted smart contract manager for developers

github.com/boundless-forest

2 years ago

1 points

286.

Show HN: Sinatra-Param — Design by Contract for Query String & Form Parameters

github.com/mattt

14 years ago

1 points

287.

EVM Smart Contracts Using Homomorphic Encryption [pdf]

github.com/zama-ai

3 years ago

1 points

288.

Show HN: Data Contract CLI – Manage data contracts

github.com/datacontract

3 years ago

1 points

289.

Show HN: Answering to: 'What is the contrary of courage?'

github.com/paulfranceschi

3 years ago

1 points

290.

RGB, smart contracts on Bitcoin and Lightning made in Rust

github.com/RGB-WG

3 years ago

1 points

291.

Private keys management for smart contracts deployment

4 years ago

1 points

292.

AlgoPytest – Framework for Testing Algorand Smart Contracts Using PyTest

github.com/DamianB-BitFlipper

4 years ago

1 points

293.

Production Quality contracts under open source licenses

github.com/CosmWasm

4 years ago

1 points

294.

OpenSea compatible ERC721 (NFT) contract using Vyper

github.com/vykintasmak

4 years ago

1 points

295.

Rust library for writing NEAR smart contracts

github.com/near

4 years ago

1 points

296.

Moonbeam – An Ethereum-compatible smart contract parachain on Polkadot

github.com/PureStake

4 years ago

1 points

297.

Simple, opinionated and automated contract testing for your JSON API's

github.com/hellgrenj

5 years ago

1 points

298.

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

github.com/dotnet

5 years ago

1 points

299.

Design by Contract for Python

github.com/life4

6 years ago

1 points

300.

PHP Agnostic Connector, design-by-contract based

github.com/ticaje

6 years ago

1 points