Search: github.com/SpecIR | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Just is a handy way to save and run project-specific commands

github.com/casey

4 years ago

3 points

302.

TLA+ specification of the Ceph consensus algorithm

github.com/afonsonf

5 years ago

3 points

303.

The Compose Specification

github.com/compose-spec

5 years ago

3 points

304.

Docker image that runs a script whenever a specific container becomes unhealthy

github.com/ericm

6 years ago

3 points

305.

The radicle protocol specification [pdf]

github.com/radicle-dev

6 years ago

3 points

306.

A Tour of the RISC-V ISA Formal Specification

github.com/rsnikhil

7 years ago

3 points

307.

Create a Raspberry Pi SD card with user-specific settings from a graphical UI

github.com/rdbox-intec

7 years ago

3 points

308.

Show HN: A Better API Specification

github.com/seamlessapis

7 years ago

3 points

309.

Show HN: Test APIs with just specification

github.com/kiranz

8 years ago

3 points

310.

PyTorch Implementations of Coursera's Deep Learning Specialization

github.com/furkanu

8 years ago

3 points

311.

The Rockstar programming language specification

8 years ago

3 points

312.

Route specific applications through VPN with Linux Namespaces

github.com/crasm

9 years ago

3 points

313.

A domain-specific language for parallel and distributed agent-based simulations

github.com/OpenABL

9 years ago

3 points

314.

Show HN: PG_JSON_QUERY – use JSON to specify PostgreSQL where-clauses

github.com/dgillis

9 years ago

3 points

315.

SqlTorrent, query a database behind a torrent by only downloading specific parts

github.com/bittorrent

9 years ago

3 points

316.

Vulkan Loader Specification and Architecture Overview

github.com/KhronosGroup

10 years ago

3 points

317.

Show HN: First Valkey-specific VS Code extension (open source Redis fork)

github.com/BetterDB-inc

5 months ago

2 points

318.

RSSX Decentralized Social Media Protocol Specification

github.com/thegoodduck

a year ago

2 points

319.

Remapping Keys on Specific Device Using VID and PID or Handle with GUI

github.com/Fajar-RahmadJaya

2 years ago

2 points

320.

RFC: Hacker News – OpenAPI Specification for the REST API

github.com/HackerNews

3 years ago

2 points

321.

Patch for OpenSSH to specify source port

gist.github.com

7 years ago

2 points

322.

Googles specification (and tooling) for the LLM wiki

github.com/GoogleCloudPlatform

a day ago

2 points

323.

Show HN: Gopin – Automatically pin latest to specific versions in Go install

github.com/nnnkkk7

7 months ago

2 points

324.

Show HN: I wrote a specialized SLF4J back end, for JSON logs to stdout

hkupty.github.io

2 years ago

2 points

325.

Headhunter: simple script to pull all GitHub projects from a specific location

github.com/adamierymenko

11 years ago

2 points

326.

Gherkin - a domain specific language for business analysts

wiki.github.com

17 years ago

2 points

327.

Show HN: 3GPP Spec Manager – A GUI app to track and download 3GPP specifications

github.com/chsung

20 days ago

2 points

328.

MarkNext Specification v1.0

github.com/skorotkiewicz

2 months ago

2 points

329.

This specific GitHub issue is crashing

3 months ago

2 points

330.

Agency Agents – complete AI agency with specialized experts

github.com/msitarzewski

4 months ago

2 points