Search: github.com/xspec | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

github.com/promises-aplus

14 years ago

3 points

452.

YINI: A lightweight, structured, human-readable configuration format

github.com/YINI-lang

a year ago

3 points

453.

Show HN: YouTube Musical Spectrum as a DAW Plugin

github.com/mfcc64

a year ago

3 points

454.

github.com/maplibre

2 years ago

3 points

455.

TLA+ specification of the Ceph consensus algorithm

github.com/afonsonf

5 years ago

3 points

456.

A Tour of the RISC-V ISA Formal Specification

github.com/rsnikhil

7 years ago

3 points

457.

Swagger Rest API Server and Client Generator

github.com/swagger-api

11 years ago

3 points

458.

Agent API Spec Design: When API Callers Change from Application to AI Agent

github.com/tomsun28

3 months ago

2 points

459.

New config file format based on Markdown

github.com/mol-format

2 months ago

2 points

460.

Show HN: UCP – A file-system protocol to fix AI amnesia

github.com/CorePack-AI

5 months ago

2 points

461.

Incorporate monads and category theory to Promises/A+

github.com/promises-aplus

13 years ago

2 points

462.

Theta: Declarative, harness-agnostic configuration standard for AI coding agents

github.com/tamarillo-ai

a day ago

2 points

463.

Built this for my civil engineering firm's static site on Cloudflare Pages

github.com/bwengr

2 months ago

2 points

464.

Preliminary in-progress RISC-V "P" Extension

github.com/riscv

2 months ago

2 points

465.

Amazingly succinct ES6 summary

espadrine.github.com

14 years ago

2 points

466.

Show HN: YouTube Musical Spectrum is now available on Spotify and SoundCloud

github.com/mfcc64

7 months ago

2 points

467.

Claude Code Spec Workflow: Automated Spec-Driven Workflow for Claude Code

github.com/Pimzino

a year ago

2 points

468.

Evergreen Protocol

github.com/google-deepmind

2 years ago

2 points

469.

Show HN: YouTube Musical Spectrum – visualizer for YouTube with musical notes

github.com/mfcc64

3 years ago

2 points

470.

The Portal Network

github.com/ethereum

5 years ago

michaelsbradley

2 points

471.

Build a Debian Raspberry Pi 3 Image

github.com/Debian

7 years ago

2 points

472.

The state of the proposed H element

github.com/jonathantneal

9 years ago

2 points

473.

Show HW: Markdown Object Language

github.com/mol-format

2 months ago

1 points

474.

Show HN: Agent – Inline code annotations for AI agents

github.com/codebasedlearning

2 months ago

1 points

475.

Show HN: Endemic Species (AES) Release on World Environment Day

github.com/shenlu89

2 years ago

1 points

476.

Working draft of the proposed RISC-V V vector extension

github.com/riscv

2 years ago

1 points

477.

Show HN: Arc OS – spec-first audit layer for GPT prompts (MD and self-check)

github.com/arenalensmuaydata

a year ago

1 points

478.

Concerns over mask register design in RISC-V Vector Extension v1.0

github.com/riscv

4 years ago

1 points

479.

Py.spec – RSpec style tests in py.test

github.com/jasonkeene

12 years ago

1 points

480.

TimeSeries Format Specification Proposal

github.com/StevenLeRoux

13 years ago

1 points