Search: github.com/SpecIR | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

FuzzFactory: Domain-Specific Fuzzing with Waypoints (github.com/rohanpadhye)

23 points

7 years ago

182.

BlockSign Transaction Specification (github.com/blocksign)

22 points

12 years ago

183.

Pgfmt – a PostgreSQL specific SQL formatter (github.com/gmr)

21 points

2 months ago

184.

Zirgen: Compiler for a Domain-Specific Language (github.com/risc0)

21 points

5 months ago

185.

Show HN: Web App for generating mocked data from an OpenAPI specification (github.com/Fredx87)

19 points

6 years ago

186.

Anonymous Downloading and Streaming Specifications (github.com/Tribler)

17 points

6 years ago

187.

Dhall 1.0.1: a total programming language specialized to configuration files (github.com/Gabriel439)

16 points

9 years ago

188.

EcoHabit: An Open Source Project for Environmental Awareness (Earth Day Special) (github.com/lugenx)

15 points

3 years ago

189.

Show HN: NISC processor design specification (github.com/BillBohan)

14 points

9 years ago

190.

GPL violation in Tomba! Special Edition? (github.com/notaz)

13 points

a year ago

191.

Show HN: Pythonrc, now with ability to load virtualenv specific customizations (github.com/lonetwin)

12 points

9 years ago

192.

Mercurial server in Rust, specifically designed to support large monorepos (github.com/facebookexperimental)

12 points

9 years ago

193.

Add special game perf workaround for Starfield and other DGC junkies (github.com/HansKristian-Work)

12 points

3 years ago

194.

OpenRPC – JSON-RPC Service Discovery Specification (github.com/open-rpc)

12 points

7 years ago

195.

Show HN: Display all stories and comments for a specific Hacker News user (simonpure.github.io)

11 points

3 years ago

196.

Show HN: Npm-as – Run any npm command as a specific user (github.com/aniftyco)

11 points

10 years ago

197.

Disable green merge button for a specific repository (github.com/isaacs)

11 points

11 years ago

198.

Quint LLM Kit for writing and using formal specifications (github.com/informalsystems)

11 points

4 months ago

199.

Generating nodejs server from Swagger specification (github.com/wordnik)

10 points

14 years ago

200.

MCP Server for Turning OpenAPI Specifications into a MCP Resource (github.com/ivo-toby)

10 points

8 months ago

201.

CloudEvents is a specification for defining the format of event data (github.com/cloudevents)

10 points

7 years ago

202.

Docker Says Absolutely Not to Collaboration on Standard Container Specification (github.com/docker)

9 points

11 years ago

203.

Let - lets you run a node.js script a specified amount of time. (github.com/vesln)

9 points

14 years ago

204.

NixOS/nixpkgs: There isn't a clear canonical way to refer to a specific package (github.com/NixOS)

9 points

2 years ago

205.

Show HN: A way to manage dotfiles without silly symlinks and special tools (gist.github.com)

8 points

10 years ago

206.

Show HN: Agentic AI framework specialized in DX and function calling (github.com/wrtnlabs)

8 points

a year ago

207.

Show HN: Coze – cryptographic JSON messaging specification (github.com/Cyphrme)

8 points

3 years ago

208.

Show HN: I made a specialized calculator to help with my gameboy emulator (github.com/alt-romes)

8 points

5 years ago

209.

Awesome Mac OS X CLI: Curated list of commands and tools specific to OS X (github.com/herrbischoff)

8 points

10 years ago

210.

Elephantshark: like Wireshark, but specifically for Postgres (github.com/neondatabase-labs)

7 points

8 months ago