Search: github.com/Specy | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Arch Linux specific virtual environments (universal NPM or lightweight Nix?) PoC (github.com/beryll1um)

5 points

a year ago

812.

Show HN: Cz: list and get specific files from remote zip archives (github.com/ozkatz)

5 points

2 years ago

813.

A unikernel designed specifically for running WASM apps and compatible with WASI (github.com/Mewz-project)

5 points

2 years ago

814.

The Standard Webhooks Specification (github.com/standard-webhooks)

5 points

3 years ago

815.

Show HN: Especser – easy way to read the ES6 spec (github.com/awalGarg)

5 points

11 years ago

816.

Show HN: Generate Claude Code Workflows using Spec Driven Development approach

5 points

11 days ago

817.

Show HN: Unspaghettit – executable behavior specs for AI coding agents (github.com/lyriks-io)

5 points

12 days ago

818.

Show HN: UIGen – Runtime front end for any OpenAPI spec with AI skills (github.com/darula-hpp)

5 points

a month ago

819.

Show HN: Spekkio: Reverse-engineer specs from vibe-coded apps (github.com/paulkarayan)

5 points

tessier0ashpool

3 months ago

820.

Show HN: Oneil, design specification language for rapid system modeling (github.com/careweather)

5 points

2 years ago

821.

The Improved RISC-V Specification (latest WIP draft)

5 points

2 years ago

822.

Show HN: AI-Powered OpenAPI Spec Generator (gist.github.com)

5 points

3 years ago

823.

Windows registry file format specification (github.com/msuhanov)

5 points

4 years ago

824.

Show HN: Prototype of a pair programming tool without special editors (github.com/three-consulting)

5 points

5 years ago

825.

Ring 2.0 Draft Specification (github.com/ring-clojure)

5 points

6 years ago

826.

Stop Using UUIDs: The Modern ID Spec (gist.github.com)

4 points

2 years ago

827.

X86-64 Speculative Execution Harness (gist.github.com)

4 points

8 years ago

828.

Ask HN: Better way to write specs?

4 points

11 years ago

829.

A Rest API's specification for the 21th century (github.com/lambda2)

4 points

10 years ago

830.

Show HN: Ragzip format specification (and Java implementation) (github.com/ddeschenes-1)

4 points

a year ago

831.

Show HN: Tool for typing special characters hassle-free (github.com/alex028502)

4 points

3 years ago

832.

Llama.cpp speculative sampling: 2x faster inference for large models (github.com/ggerganov)

4 points

3 years ago

833.

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them (github.com/kerberosmansour)

4 points

kerberosmansour

3 years ago

834.

Coze: A cryptographic JSON messaging specification designed for human readabili (github.com/Cyphrme)

4 points

3 years ago

835.

TypeScriptBC – Language specification for TypeScript with a Rust borrow checker (github.com/alshdavid)

4 points

5 years ago

836.

Einkbro: Android E-ink device specific Browser – pagination keys; reader mode (github.com/plateaukao)

4 points

5 years ago

837.

My speculations writing a coding platform in 8 weeks as a highschooler

4 points

6 years ago

838.

Show HN: Mandelwave: A mandelbrot inverse spectrogram with Griffin-Lim algorithm (github.com/iRyanBell)

4 points

6 years ago

839.

Spectrum injects JavaScript into unsecured webpages to show copyright notices (gist.github.com)

4 points

7 years ago

840.

I listed 550+ Industry Specific Machine Learning Projects (github.com/firmai)

4 points

7 years ago