Search: github.com/xspec | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

BlockSign Transaction Specification (github.com/blocksign)

22 points

12 years ago

752.

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

21 points

2 months ago

753.

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

21 points

5 months ago

754.

IMAPSN: a spec for building social networking clients using SMTP and IMAP. (imapsn.github.com)

19 points

16 years ago

755.

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

19 points

6 years ago

756.

Show HN: Semcheck – AI Tool for checking implementation follows spec (github.com/rejot-dev)

19 points

a year ago

757.

Linux Kernel Spectre v2 SMT mitigations (github.com/google)

18 points

3 years ago

758.

RISC-V Server Platform Spec Ratified (github.com/riscv-non-isa)

17 points

a month ago

759.

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

17 points

6 years ago

760.

An alternative implementation of Golang specs, written in Rust (github.com/oxfeeefeee)

17 points

3 years ago

761.

Compose Spec Updated with <models> for AI Workloads (github.com/docker)

16 points

a year ago

762.

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

16 points

10 years ago

763.

Bitcoin - implementation and protocol specs are a big problem (gist.github.com)

16 points

15 years ago

764.

Speculative: PoC for speeding-up inference via speculative sampling by ggerganov (github.com/ggerganov)

16 points

3 years ago

765.

Show HN: sudocode – manage specs, tasks, and context-as-code for coding agents (github.com/sudocode-ai)

15 points

7 months ago

766.

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

15 points

3 years ago

767.

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

14 points

9 years ago

768.

Petition to open source Flash and Shockwave spec (github.com/open-source-flash)

13 points

8 years ago

769.

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

13 points

a year ago

770.

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

12 points

9 years ago

771.

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

12 points

9 years ago

772.

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

12 points

3 years ago

773.

Vuetify v2.0 released – components updated to MD2 specs (github.com/vuetifyjs)

12 points

7 years ago

774.

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

11 points

3 years ago

775.

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

11 points

10 years ago

776.

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

11 points

11 years ago

777.

Show HN: Compile English specs into 22 MB neural functions that run locally

11 points

2 months ago

778.

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

11 points

4 months ago

779.

OpalRB 0.6 successfully runs all specs against MRI 1.8-2.0, JRuby and Rubinius (github.com/opal)

10 points

12 years ago

780.

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

10 points

14 years ago