Search: github.com/SpecIR | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

FuzzFactory: Domain-Specific Fuzzing with Waypoints

github.com/rohanpadhye

7 years ago

23 points

182.

BlockSign Transaction Specification

github.com/blocksign

12 years ago

22 points

183.

Pgfmt – a PostgreSQL specific SQL formatter

2 months ago

21 points

184.

Zirgen: Compiler for a Domain-Specific Language

github.com/risc0

5 months ago

21 points

185.

Show HN: Web App for generating mocked data from an OpenAPI specification

github.com/Fredx87

6 years ago

19 points

186.

Anonymous Downloading and Streaming Specifications

github.com/Tribler

6 years ago

17 points

187.

Dhall 1.0.1: a total programming language specialized to configuration files

github.com/Gabriel439

10 years ago

16 points

188.

EcoHabit: An Open Source Project for Environmental Awareness (Earth Day Special)

github.com/lugenx

3 years ago

15 points

189.

Show HN: NISC processor design specification

github.com/BillBohan

9 years ago

14 points

190.

GPL violation in Tomba! Special Edition?

github.com/notaz

a year ago

13 points

191.

Show HN: Pythonrc, now with ability to load virtualenv specific customizations

github.com/lonetwin

9 years ago

12 points

192.

Mercurial server in Rust, specifically designed to support large monorepos

github.com/facebookexperimental

9 years ago

12 points

193.

Add special game perf workaround for Starfield and other DGC junkies

github.com/HansKristian-Work

3 years ago

12 points

194.

OpenRPC – JSON-RPC Service Discovery Specification

github.com/open-rpc

7 years ago

12 points

195.

Show HN: Display all stories and comments for a specific Hacker News user

simonpure.github.io

3 years ago

11 points

196.

Show HN: Npm-as – Run any npm command as a specific user

github.com/aniftyco

10 years ago

11 points

197.

Disable green merge button for a specific repository

github.com/isaacs

11 years ago

11 points

198.

Quint LLM Kit for writing and using formal specifications

github.com/informalsystems

4 months ago

11 points

199.

Generating nodejs server from Swagger specification

github.com/wordnik

14 years ago

10 points

200.

MCP Server for Turning OpenAPI Specifications into a MCP Resource

github.com/ivo-toby

9 months ago

10 points

201.

CloudEvents is a specification for defining the format of event data

github.com/cloudevents

7 years ago

10 points

202.

Docker Says Absolutely Not to Collaboration on Standard Container Specification

github.com/docker

12 years ago

9 points

203.

Let - lets you run a node.js script a specified amount of time.

github.com/vesln

14 years ago

9 points

204.

NixOS/nixpkgs: There isn't a clear canonical way to refer to a specific package

github.com/NixOS

2 years ago

9 points

205.

Show HN: A way to manage dotfiles without silly symlinks and special tools

gist.github.com

10 years ago

8 points

206.

Show HN: Agentic AI framework specialized in DX and function calling

github.com/wrtnlabs

a year ago

8 points

207.

Show HN: Coze – cryptographic JSON messaging specification

github.com/Cyphrme

3 years ago

8 points

208.

Show HN: I made a specialized calculator to help with my gameboy emulator

github.com/alt-romes

5 years ago

8 points

209.

Awesome Mac OS X CLI: Curated list of commands and tools specific to OS X

github.com/herrbischoff

10 years ago

8 points

210.

Elephantshark: like Wireshark, but specifically for Postgres

github.com/neondatabase-labs

9 months ago

7 points