HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
61.
▲
Specmatic: transform API specs into executable contracts
github.com/znsio
discuss
2 years ago
sea-gold
27 points
62.
▲
An alternative implementation of Golang specs, written in Rust
github.com/oxfeeefeee
discuss
3 years ago
metadat
17 points
63.
▲
Bitcoin - implementation and protocol specs are a big problem
gist.github.com
8 comments
15 years ago
jeremie
16 points
64.
▲
Show HN: sudocode – manage specs, tasks, and context-as-code for coding agents
github.com/sudocode-ai
5 comments
8 months ago
alexsngai
15 points
65.
▲
Vuetify v2.0 released – components updated to MD2 specs
github.com/vuetifyjs
discuss
7 years ago
butz
12 points
66.
▲
Show HN: Compile English specs into 22 MB neural functions that run locally
discuss
2 months ago
yuntian
11 points
67.
▲
OpalRB 0.6 successfully runs all specs against MRI 1.8-2.0, JRuby and Rubinius
github.com/opal
2 comments
12 years ago
ylluminate
10 points
68.
▲
Technically-Oriented PDF Collection (Papers, Specs, Decks, Manuals, etc.)
github.com/tpn
discuss
6 years ago
peter_d_sherman
9 points
69.
▲
Show HN: OctopusGarden – An autonomous software factory (specs in, code out)
github.com/foundatron
5 comments
4 months ago
foundatron
8 points
70.
▲
SpeciesNet: AI models to classify species from motion-triggered widlife cameras
github.com/google
1 comment
a year ago
rguiscard
7 points
71.
▲
Show HN: Devplan – Generate specs and coding prompts with deep context
devplan.com
discuss
10 months ago
five9s
6 points
72.
▲
Show HN: Sourcewizard – A wizard for generating integration specs
github.com/sourcewizard-ai
10 comments
7 months ago
mifydev
5 points
73.
▲
Show HN: Unspaghettit – executable behavior specs for AI coding agents
github.com/lyriks-io
discuss
a month ago
D3F
5 points
74.
▲
Show HN: Spekkio: Reverse-engineer specs from vibe-coded apps
github.com/paulkarayan
discuss
4 months ago
tessier0ashpool
5 points
75.
▲
GitHub action for comparing OpenAPI specs, based on oasdiff tool
github.com/marketplace
discuss
4 years ago
lonelygiraffe
5 points
76.
▲
Ask HN: Better way to write specs?
3 comments
11 years ago
everdev
4 points
77.
▲
Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them
github.com/kerberosmansour
1 comment
3 years ago
kerberosmansour
4 points
78.
▲
Speed up your Rails specs with parallel_tests AND zeus (like spork)
github.com/sevos
discuss
13 years ago
artur_roszczyk
4 points
79.
▲
Oxfeeefeee/goscript: Go specs implemented as a scripting language in Rust
github.com/oxfeeefeee
discuss
5 years ago
todsacerdoti
4 points
80.
▲
Show HN: Manage App Specs for DigitalOcean App Platform
github.com/renehernandez
discuss
6 years ago
renehr9102
4 points
81.
▲
Infer Clojure specs from sample data. Inspired by F#'s type providers
github.com/stathissideris
discuss
9 years ago
tosh
4 points
82.
▲
Erlang-FFI – An haskell library that speaks the Erlang Network Protocol
github.com/poor-a
discuss
9 years ago
Vosporos
4 points
83.
▲
SkateJS: a functional rendering pipeline on top of the W3C web component specs
github.com/skatejs
discuss
10 years ago
arash_milani
4 points
84.
▲
Show HN: HeFS and MBCI, two specs from my custom Kernel
4 comments
a year ago
Amlal
3 points
85.
▲
Implementation of Content Auth Initiative Following C2PA Specs
github.com/numbersprotocol
3 comments
5 years ago
ethanwu155
3 points
86.
▲
A zelda sound will be played when your specs pass :)
github.com/Poilon
1 comment
11 years ago
tibastral2
3 points
87.
▲
Show HN: should_not, a gem to enforce that specs do not begin with "should"
github.com/should-not
1 comment
13 years ago
rushakoff
3 points
88.
▲
Write Specs, Not Chats
gist.github.com
1 comment
4 months ago
breadchris
3 points
89.
▲
Useful bias manipulation re: LLM – the stochastic parrot speaks
gist.github.com
1 comment
8 months ago
gladiatr72
3 points
90.
▲
Nvidia GPU Specs and Pricing Cheatsheet
github.com/carsonpo
1 comment
a year ago
carsonpoole
3 points
More