Search: github.com/vedantk | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: I built a small math jit compiler

github.com/vedantk

14 years ago

1 points

2.

I won't pay on your website

github.com/juspay

3 years ago

131 points

3.

Show HN: Trace the history of academia

gist.github.com

15 years ago

6 points

4.

A better storage format for postman collections

github.com/juspay

3 years ago

6 points

5.

Show HN: I built a Red Flag Warning zone-check tool for the East Bay in 48h

redflag-check.info

11 days ago

17 points

6.

Show HN: I built a Red Flag Warning zone-check tool for the East Bay in 48h

redflag-check.info

11 days ago

6 points

7.

Show HN: A macOS desktop wrapper for YouTube Music that plays in the background

github.com/vedant-sharmaa

a year ago

1 points

8.

Show HN: I made an extension to capitalize words in one click

6 years ago

1 points

9.

Show HN: NoSQL, but it's SQLite

gist.github.com

2 years ago

98 points

10.

Show HN: Compiletime macro to auto generate fast validators for TypeScript types

github.com/vedantroy

6 years ago

7 points

11.

Show HN: BitTorrent client written in Go without external dependencies

github.com/vedantdaterao

4 months ago

6 points

12.

Show HN: Automatically generate fast validation functions for TypeScript types

github.com/vedantroy

6 years ago

5 points

13.

Show HN: 3D Rasterizing Engine Written in Zig

github.com/vedant-pandey

6 months ago

3 points

14.

Show HN: Jsmv – Manipulate your filesystem with JavaScript

github.com/vedantroy

5 years ago

2 points

15.

Easy and fast TypeScript validation library/macro

github.com/vedantroy

5 years ago

2 points

16.

SimpPru, Intuitive language for PRU which compiles down to PRU C

github.com/VedantParanjape

5 years ago

2 points

17.

Typecheck.macro (TypeScript validation library/macro) is looking for maintainers

github.com/vedantroy

5 years ago

2 points

18.

Show HN: C7 – Pipe up-to-date library docs into any LLM from the terminal

github.com/VedanthB

4 months ago

1 points

19.

LiveRecall: Open-source alternative to Microsoft's Recall

github.com/VedankPurohit

2 years ago

1 points

20.

VerticalSplit: SwiftUI container that presents two views stacked vertically

github.com/vedantgurav

2 years ago

1 points

21.

Show HN: Jsmv – Manipulate your file system using JavaScript

github.com/vedantroy

5 years ago

1 points

22.

Pyosphere: A bash script to enable easy and error free imports in Python

github.com/vedantpuri

8 years ago

1 points

23.

Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model

github.com/SpecStudio-net

20 days ago

7 points

24.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL

github.com/matthew-scherf

8 months ago

3 points

25.

Formal Axiomatization of Advaita Vedanta in Lean 4

github.com/matthew-scherf

6 months ago

1 points

26.

Show HN: Hide Secrets Automatically in the Browser

chromewebstore.google.com

a year ago

4 points

27.

Show HN: Flex Your HN Stats

github.com/Ved235

a year ago

4 points

28.

460k Stars on a GitHub Repo

github.com/codecrafters-io

5 months ago

3 points

29.

Show HN: Ultra, a Leiningen plugin for a superior development environment

github.com/venantius

11 years ago

144 points

30.

I beat Grok 4 on ARC-AGI-2 using a CPU-only symbolic engine (18.1% score)

github.com/Ag3497120

4 months ago

11 points