Search: github.com/vsr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Aletheia – deterministic COBOL verification for mainframe migrations (github.com/Aletheia-Verification)

5 points

2 months ago

152.

A complete implementation of bash in TypeScript designed to be used by AI agents (github.com/vercel-labs)

5 points

5 months ago

153.

Show HN: Resumable Web Streams (github.com/vercel)

5 points

a year ago

154.

Verb: Emacs Org Mode HTTP client (github.com/federicotdn)

5 points

a year ago

155.

A URL shortener but instead of shortening it makes the URL look extremely dodgy (github.com/defaultnamehere)

5 points

defaultnamehere

9 years ago

156.

Show HN: Fly.io Lemmy (github.com/Veraticus)

4 points

3 years ago

157.

Verantyx – A native IDE that obfuscates code before sending it to Cloud LLMs (github.com/Ag3497120)

4 points

a month ago

158.

Still no IPv6 support in Vercel in May 2022 (github.com/orgs)

4 points

4 years ago

159.

I built a free open-source SMS Gateway (github.com/vernu)

4 points

2 years ago

160.

Show HN: Node/React/Redux blog that I've made. Dockerized, Isomorphic, has Auth (github.com/raymestalez)

4 points

9 years ago

161.

Verbal Regular Expressions (JS, PHP, Java, Ruby, Groovy) (github.com/jehna)

4 points

13 years ago

162.

Six New High Severity CVEs for Next.js and 1 for React (github.com/vercel)

4 points

a month ago

163.

Vert: The file converter you'll love (github.com/VERT-sh)

4 points

8 months ago

164.

Audit Tool for Vercel Exposure of Environment Variables (github.com/garyhtou)

4 points

2 months ago

165.

OpenReview: Open-source, self-hosted AI code review bot powered by Vercel (github.com/vercel-labs)

4 points

3 months ago

166.

Lazy-ECS, interactive CLI for managing your ECS (github.com/vertti)

4 points

8 months ago

167.

OSS reinforcement learning lib by ByteDance is used to reproduce DeepSeek R1 (github.com/volcengine)

4 points

a year ago

168.

VeraCrypt: Disk encryption with strong security based on TrueCrypt (github.com/veracrypt)

4 points

2 years ago

169.

Hyper – a terminal built on web technologies (github.com/vercel)

4 points

5 years ago

170.

Zero – Programming Language for Agents (github.com/vercel-labs)

4 points

18 days ago

171.

Show HN: We open sourced Verbis, a local AI assistant with SaaS connectors (github.com/verbis-ai)

4 points

2 years ago

172.

Verso: A web browser built on top of Servo (github.com/versotile-org)

4 points

2 years ago

173.

Verilog2factorio: Compile Verilog into Factorio Blueprints (github.com/Redcrafter)

4 points

2 years ago

174.

Show HN: Self-hosted virtual events starter kit built on Vercel and 100ms (github.com/vercel)

4 points

4 years ago

175.

VeraCryptThief: Extracting clear-text passwords from VeraCrypt.exe (github.com/snovvcrash)

4 points

4 years ago

176.

Miaow: An Open-Source RTL Implementation of the AMD Southern Islands Gpgpu ISA (github.com/VerticalResearchGroup)

4 points

7 years ago

177.

Show HN: Bastion – Fault-Tolerant Runtime for Rust Applications (github.com/vertexclique)

4 points

7 years ago

178.

Bastion: Fault-Tolerant Runtime for Rust Applications (github.com/vertexclique)

4 points

7 years ago

179.

Codelab: Versioning is hard (github.com/inlined)

4 points

8 years ago

180.

JavaScript Regular expressions made easy (available in many languages too) (github.com/VerbalExpressions)

3 points

13 years ago