Search: github.com/a-ve | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: I "built" Sana, a vector DB on object storage

github.com/djakish

a day ago

5 points

152.

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny

github.com/midspiral

2 months ago

5 points

153.

VectorVFS: Filesystem as a Vector Database

github.com/perone

a year ago

5 points

154.

The Average American Debt Profile

github.com/axibase

9 years ago

5 points

155.

Chiffon: A very small ECMAScript parser, tokenizer in JS

github.com/polygonplanet

11 years ago

5 points

156.

Vuez – A very simple but powerful state management for vuejs projects

github.com/markselby9

9 years ago

4 points

157.

Fast pseudo random generator without state in Go. Average execution time is 6ns

github.com/miolini

10 years ago

4 points

158.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

github.com/namin

5 months ago

4 points

159.

RAG Without a Vector DB, PostgreSQL and Faiss for AI-Powered Docs

a year ago

rahmansahinler1

4 points

160.

ChatIQ: A versatile Slack bot using GPT and Weaviate-powered long-term memory

github.com/yujiosaka

3 years ago

4 points

161.

CivicGraph – A versioning data store for time-variant graph data

github.com/CivicGraph

6 years ago

4 points

162.

Show HN: OQP – A verification protocol for AI agents

2 months ago

4 points

163.

From the TI-57 to AI: A Veteran's Methodology for "Not Vibe Coding"

github.com/tchoa91

3 months ago

4 points

164.

Symplate, a very simple and very fast Python template language

github.com/benhoyt

14 years ago

4 points

165.

Show HN: I built a vector store from scratch (and you can too)

8 months ago

4 points

166.

Show HN: I made a version control for embeddings

github.com/ProgramComputer

a year ago

4 points

167.

APIConnect - a very easy and intuitive way to interact with APIs.

andrewplummer.github.com

14 years ago

4 points

168.

Kiwi IRC: A versatile web based messenger using IRC

github.com/kiwiirc

5 years ago

4 points

169.

EverCrypt: A Verified Crypto Provider

github.com/project-everest

7 years ago

4 points

170.

Show HN: Text Lambda, a versatile notebook for your personal data

2 years ago

3 points

171.

A very simple desktop app that can send raw http requests

10 years ago

3 points

172.

DIY: Recurring crypto purchasing so you can dollar-cost average into positions

github.com/jeffreyiacono

7 years ago

3 points

173.

Simbase: a A vector similarity database

github.com/guokr

12 years ago

3 points

174.

Mureq, a vendorable drop-in replacement for Python-requests

github.com/slingamn

4 years ago

3 points

175.

Krakentrader: Simple cryptocurrency Dollar Cost Averaging tool

github.com/vicsn

5 years ago

3 points

176.

Compressing JPEGs by an average of 22%

github.com/dropbox

10 years ago

3 points

177.

Show HN: Vcli – A Vertica CLI with auto-completion and syntax highlighting

github.com/dbcli

11 years ago

3 points

178.

Show HN: A VERY Simple Codeingiter HN Library

github.com/Tapha

11 years ago

3 points

179.

Hoa\Bench, a very simple way to benchmark your PHP application (DTrace in bonus)

github.com/hoaproject

12 years ago

3 points

180.

Qed: A verified web front end written in Lean4

github.com/JacobAsmuth

8 days ago

3 points