Search: github.com/SpecIR | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Agency: Specialized Expert Agents with Personality (github.com/msitarzewski)

2 points

3 months ago

362.

Show HN: Awesome-Claude-md – 20 stack-specific Claude.md templates for AI coding (github.com/sx4im)

2 points

3 months ago

363.

A deterministic execution specification for autonomous agent systems (github.com/justindobbs)

2 points

3 months ago

364.

Connect-fonts - A connect middleware to serve locale/browser specific fonts (github.com/shane-tomlinson)

2 points

14 years ago

365.

Fast and Specialized Rust CSV Readers Using SIMD Instructions (github.com/medialab)

2 points

7 months ago

366.

Open Agent Specification (Agent Spec): A Unified Representation for AI Agents (github.com/oracle)

2 points

8 months ago

367.

Show HN: Specification-Driven Development for OpenAI Codex (github.com/shenli)

2 points

9 months ago

368.

A comprehensive collection of specialized AI subagents for Claude Code (github.com/wshobson)

2 points

10 months ago

369.

Show HN: Auto-greyscale specific apps after time limit reached (github.com/flxapps)

2 points

a year ago

370.

Distributed Data Protocol (DDP) Specification – From Meteorjs (github.com/meteor)

2 points

a year ago

371.

BindToInterface – securely bind a Linux program to specific network interface (github.com/JsBergbau)

2 points

a year ago

372.

Powhsm: Special purpose PowHSM firmware for the RSK PowPeg (github.com/rsksmart)

2 points

a year ago

373.

SpeciesNet: AI models trained by Google to classify species in images (github.com/google)

2 points

a year ago

374.

Git-vanity-hash: CLI tool for creating commit hashes with a specific prefix (github.com/prasmussen)

2 points

a year ago

375.

Assign Script or Keyboard Remap Profile to Specific Device PID and VID or Handle (github.com/Fajar-RahmadJaya)

2 points

2 years ago

376.

Multiplier v2: Code indexer specialized for C/C++ (github.com/trailofbits)

2 points

2 years ago

377.

Optics is a domain-specific language (github.com/StractOrg)

2 points

2 years ago

378.

High-quality and up-to-date OpenAPI specifications for relevant public APIs (github.com/konfig-sdks)

2 points

2 years ago

379.

An app that automatically reloads specific web pages in Safari on macOS (github.com/kukushechkin)

2 points

2 years ago

380.

RSGI Specification (github.com/emmett-framework)

2 points

2 years ago

381.

Gvasm: Assembler and disassembler designed specifically for GBA homebrew (github.com/velipso)

2 points

2 years ago

382.

Kami: A Platform for Hardware Specification and Verification (github.com/mit-plv)

2 points

2 years ago

383.

Show HN: Sniper: A Manifest V3 web extension for dynamic user specified actions (github.com/adityarsuryavamshi)

2 points

2 years ago

384.

Cherrybomb: Audit, validate and test API specifications (github.com/blst-security)

2 points

3 years ago

385.

A more detailed specification to dcpu 16 virtual machine (github.com/leandromoreira)

2 points

14 years ago

386.

SeL4 Specification and Proofs (github.com/seL4)

2 points

3 years ago

387.

Benchmark comparing PostgreSQL against other specialized graph databases (github.com/joelonsql)

2 points

3 years ago

388.

Sindresorhus/delay: NPM package to delay a promise specified amount of time (github.com/sindresorhus)

2 points

3 years ago

389.

TLA+ specification for the Raft consensus algorithm (github.com/ongardie)

2 points

3 years ago

390.

Catala – Programming language for literate programming law specification (github.com/CatalaLang)

2 points

3 years ago