Search: github.com/contra | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Fae - A purely functional smart contract system built in Haskell.

github.com/ConsenSys

7 years ago

3 points

182.

Ruby for Contract / Transaction Scripts on the Blockchain World Computer

github.com/s6ruby

7 years ago

3 points

183.

Customize EOS smart contracts using JSON

github.com/EOSBlox

8 years ago

3 points

184.

JavaScript validation lib to implmenet Design by Contract based on JSDoc syntax

github.com/dsheiko

8 years ago

3 points

185.

Doug – smart contract artifact release manager

github.com/BadgeForce

9 years ago

3 points

186.

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

github.com/intellij-solidity

9 years ago

3 points

187.

Tomos Library – Ethereum Database Smart Contract

github.com/tomosDB

9 years ago

3 points

188.

CALC – An estimator for hourly rates on professional services contracts from 18F

11 years ago

3 points

189.

Len – types, relations, and generation contracts for LLM codegen

github.com/ewiger

3 months ago

2 points

190.

Seeking Work – Contract or Full-Time – Remote or Hybrid USA Southern CA

a year ago

2 points

191.

Ethereum: A Next-Gen Smart Contract and Decentralized Application Platform

github.com/ethereum

12 years ago

2 points

192.

LineageScope – static analyzer for SQL, dbt, Airflow, Spark, and data contracts

github.com/kirannarayanak

2 months ago

2 points

193.

Show HN: Signal Core - contracts, approvals, and receipts for OpenClaw agents

github.com/FeatureForge-Labs

3 months ago

2 points

194.

Show HN: FlowScript – Agent memory where contradictions are features

github.com/phillipclapham

3 months ago

2 points

195.

Show HN: SAIA – Typed Contracts for LLM Outputs

github.com/serendip-ml

4 months ago

2 points

196.

Simple Solidity lib to deploy CREATE3 contracts

github.com/bandohq

2 years ago

2 points

197.

Seeking Work| Remote – Contract

3 years ago

2 points

198.

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

github.com/bloqly

8 years ago

2 points

199.

Abstract Contracts for Payments

github.com/gayanhewa

11 years ago

2 points

200.

A low-contrast Vim color scheme based on Seoul Colors

github.com/junegunn

13 years ago

2 points

201.

Show HN: Due Diligence Agents – 13 AI agents for M&A contract analysis

github.com/zoharbabin

a month ago

2 points

202.

A Black-Box Contract Engine for Agentic Software Development

github.com/elmacnifico

2 months ago

2 points

203.

Show HN: Lexicon – Write complex legal contracts in Markdown

3 months ago

2 points

204.

Show HN: Themal – a React design system editor plugin with WCAG contrast auditor

github.com/davemelk100

3 months ago

2 points

205.

Java framework for reliable, contract and graph based LLM execution

github.com/11divyansh

4 months ago

2 points

206.

AI-Driven Smart Contract Vulnerability Research

github.com/CoinFabrik

4 months ago

2 points

207.

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

5 months ago

2 points

208.

Contract-first AI code generation in Go

github.com/yuedongze

6 months ago

2 points

209.

Dataset with 53M+ Options Contracts for Spy, IWM, QQQ Inc Greeks and Market Data

github.com/philippdubach

6 months ago

2 points

210.

Compose, building a new smart contract library

github.com/Perfect-Abstractions

8 months ago

2 points