Search: github.com/SpecIR | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: PJON protocol specification v3.1 – What do you think about it? (github.com/gioblu)

1 point

7 years ago

122.

uBlacklist: Blocks specific sites from appearing in Google search results (github.com/iorate)

769 points

4 years ago

123.

Curl-impersonate: Special build of curl that can impersonate the major browsers (github.com/lwthiker)

545 points

a year ago

124.

uBlacklist – Block specific sites from appearing in Google search results (github.com/iorate)

543 points

4 years ago

125.

CatalaLang/catala: Programming language for law specification (github.com/CatalaLang)

453 points

3 years ago

126.

The specification for native image lazy-loading is merged into HTML standard (github.com/whatwg)

282 points

6 years ago

127.

YouTubePluginReplacement.cpp: YouTube-specific code in WebKit (github.com/WebKit)

245 points

4 years ago

128.

Run full Linux distros or specific applications on top of Android (github.com/CypherpunkArmory)

244 points

7 years ago

129.

uBlacklist: Blocks specific sites from appearing in Google search results (github.com/iorate)

239 points

2 years ago

130.

Black Book of Graphics Programming, Special Edition (1997) (github.com/jagregory)

229 points

9 years ago

131.

The .zip file specification is flawed (github.com/thejoshwolfe)

214 points

9 years ago

132.

Show HN: Agents.json – OpenAPI Specification for LLMs (github.com/wild-card-ai)

212 points

a year ago

133.

Systemd developer asks tmux to add systemd specific code (github.com/tmux)

194 points

10 years ago

134.

WebAssembly Specification Prototype (github.com/WebAssembly)

179 points

10 years ago

135.

AsyncAPI – OpenAPI-like specification for event-driven architectures (github.com/asyncapi)

172 points

6 years ago

136.

Specific ways to write better Python (2017) (github.com/SigmaQuan)

154 points

6 years ago

137.

Show HN: Killport – CLI tool to kill processes running on a specified port (github.com/jkfran)

153 points

3 years ago

138.

OpenAutoComplete: Shell-agnostic, cross-platform autocomplete specification (github.com/openautocomplete)

138 points

6 years ago

139.

Show HN: EBNF Specification of the BBC Shipping Forecast (github.com/jamespwilliams)

136 points

4 years ago

140.

Text-to-LoRA: Hypernetwork that generates task-specific LLM adapters (LoRAs) (github.com/SakanaAI)

135 points

a year ago

141.

F# RISC-V Instruction Set formal specification (github.com/mrLSD)

134 points

3 years ago

142.

Portable Text – JSON rich text specification for content editing platforms (github.com/portabletext)

123 points

7 years ago

143.

Biscuit is a specialized PostgreSQL index for fast pattern matching LIKE queries (github.com/CrystallineCore)

123 points

6 months ago

144.

F# RISC-V Instruction Set Formal Specification (github.com/mrLSD)

122 points

7 years ago

145.

Show HN: Write universally accessible SQL, not library-specific ORM wrapper APIs (github.com/craigmichaelmartin)

112 points

5 years ago

146.

Quint: A specification language based on the temporal logic of actions (TLA) (github.com/informalsystems)

110 points

2 years ago

147.

OpenSocial Specification (github.com/OpenSocial)

107 points

5 years ago

148.

Catalog of Elixir-specific code smells (github.com/lucasvegi)

107 points

4 years ago

149.

Flyweight: A Node.js ORM Specifically for SQLite (github.com/thebinarysearchtree)

94 points

2 years ago

150.

CSS3 Animations with special effects (minimamente.com)

89 points

13 years ago