Search: github.com/verifast | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Research prototype tool for modular formal verification of C and Java programs

github.com/verifast

8 years ago

3 points

2.

github.com/verifast

5 years ago

2 points

3.

Show HN: VeritasGraph – On-prem Graph RAG (3.3k+ visitors, 130 stars in 5 days)

github.com/bibinprathap

9 months ago

2 points

4.

Show HN: Dress – A parameter-free O(E) graph equation that provably exceeds 1-WL

github.com/velicast

4 months ago

2 points

5.

Show HN: I built a small OSS kernel for replaying and diffing AI decisions

5 months ago

1 points

6.

Cliniclaw: AI-native HIS attempt with polict-gated clinical agents

3 months ago

1 points

7.

Verilator open-source SystemVerilog simulator

github.com/verilator

3 months ago

12 points

8.

VerifAI – open-source generative search with verification

github.com/nikolamilosevic86

a year ago

nikolamilosevic

10 points

9.

Build generative search engine with verifiable answers

github.com/nikolamilosevic86

a year ago

nikolamilosevic

3 points

10.

VerifAI – document-based question-answering systems

github.com/nikolamilosevic86

a year ago

nikolamilosevic

3 points

11.

Verilator Binary for Windows Without WSL or VM or OSS-CAD Suite or Perl Wrapper

github.com/withlimon

16 days ago

2 points

12.

Verilator: Open-source SystemVerilog simulator and lint system

github.com/verilator

3 months ago

2 points

13.

VerifAI – Generative Search easy to deploy

github.com/nikolamilosevic86

a year ago

nikolamilosevic

1 points

14.

Show HN: Open Deep Research that beat Big Tech now self-verifies claims

github.com/IamLumae

5 months ago

2 points

15.

Show HN: Parametric Hubris – Beating GPT-5 on SimpleQA with forced retrieval

dev.thelastrag.de

4 months ago

1 points

16.

Show HN: My Open Source Deep Research tools beats Google and I can Prove it

github.com/IamLumae

5 months ago

17 points

17.

I Build a Open Source Deep Research Engine Wich Beats Google and Open AI

github.com/IamLumae

5 months ago

1 points

18.

Show HN: Lutum Veritas – open-source deep research engine

github.com/IamLumae

5 months ago

1 points

19.

Show HN: Veritasium-inspired simulation on skill vs. luck for success

github.com/himanshujaju

2 years ago

3 points

20.

Show HN: A nibble-oriented CPU in Verilog to build a scientific calculator

github.com/gdevic

a month ago

119 points

21.

Show HN: passkey-go A Go library for streamlined Passkey (WebAuthn) verification

github.com/aethiopicuschan

a year ago

aethiopicuschan

1 points

22.

Fast sparse convolution library for 3D/4D perception

github.com/stanfordvl

7 years ago

1 points