Search: github.com/verifast | Heykuki News

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)

3 points

8 years ago

2.

VeriFast (github.com/verifast)

2 points

5 years ago

3.

Show HN: Veritas OS – Local OS for LLM Governance (github.com/veritasfuji-japan)

2 points

6 months ago

4.

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

2 points

9 months ago

5.

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

2 points

3 months ago

6.

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

1 point

4 months ago

7.

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

1 point

3 months ago

8.

Verilator: Open-Source SystemVerilog simulator and lint system (github.com/verilator)

73 points

2 years ago

9.

Verilator open-source SystemVerilog simulator (github.com/verilator)

12 points

2 months ago

10.

VerifAI – open-source generative search with verification (github.com/nikolamilosevic86)

10 points

nikolamilosevic

a year ago

11.

Show HN: VeritasGraph,An on-premise Graph RAG with verifiable source attribution (github.com/bibinprathap)

3 points

9 months ago

12.

Scaling Verilator Simulations with Kubernetes and Julia [pdf] (github.com/avkcode)

3 points

a year ago

13.

Build generative search engine with verifiable answers (github.com/nikolamilosevic86)

3 points

nikolamilosevic

10 months ago

14.

VerifAI – document-based question-answering systems (github.com/nikolamilosevic86)

3 points

nikolamilosevic

a year ago

15.

Verilator: Open-source SystemVerilog simulator and lint system (github.com/verilator)

2 points

2 months ago

16.

Open source expert system with verifiable answers (github.com/nikolamilosevic86)

2 points

nikolamilosevic

10 months ago

17.

VerifAI – Generative Search/Productivity engine with Verifiable answers (star) (github.com/nikolamilosevic86)

2 points

nikolamilosevic

a year ago

18.

VerifAI – open-source private/organizational gen search (github.com/nikolamilosevic86)

2 points

nikolamilosevic

a year ago

19.

VerifAI: Generative Search with Verifiable Answers you can easily deploy (github.com/nikolamilosevic86)

2 points

nikolamilosevic

a year ago

20.

Resetting RAG-based LLMs doesn't reset behavior (github.com/VeritasAdmin)

1 point

4 months ago

21.

Generative Search for Everyone (github.com/nikolamilosevic86)

1 point

nikolamilosevic

a year ago

22.

VerifAI – Generative Search easy to deploy (github.com/nikolamilosevic86)

1 point

nikolamilosevic

a year ago

23.

Show HN: Prima Veritas – Deterministic Analytics Engine for Reproducible ML (github.com/bryanziehl)

1 point

6 months ago

24.

Show HN: Open Deep Research that beat Big Tech now self-verifies claims (github.com/IamLumae)

2 points

4 months ago

25.

Show HN: Parametric Hubris – Beating GPT-5 on SimpleQA with forced retrieval (dev.thelastrag.de)

1 point

4 months ago

26.

Show HN: My Open Source Deep Research tools beats Google and I can Prove it (github.com/IamLumae)

17 points

4 months ago

27.

I Build a Open Source Deep Research Engine Wich Beats Google and Open AI (github.com/IamLumae)

1 point

4 months ago

28.

Show HN: Lutum Veritas – open-source deep research engine (github.com/IamLumae)

1 point

4 months ago

29.

Show HN: Veritasium-inspired simulation on skill vs. luck for success (github.com/himanshujaju)

3 points

2 years ago

30.

Show HN: passkey-go A Go library for streamlined Passkey (WebAuthn) verification (github.com/aethiopicuschan)

1 point

aethiopicuschan

a year ago