Search: github.com/circt | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Show HN: Sics-Ground – An Open Source Physics Sandbox with Real-Time Effects

2 points

a year ago

512.

Show HN: Toller – A Python library for robust async calls (github.com/NolanTrem)

2 points

nibblingnokedli

a year ago

513.

Show HN: Oqtopus: Open-Source Full-Stack Quantum Cloud Platform (oqtopus-team.github.io)

2 points

a year ago

514.

Show HN: BRI Calculator – A free, open-source Body Roundness Index tool (bri-calculator.com)

2 points

2 years ago

515.

Show HN: React-Lucy-State – experimental replacement of React.useState (github.com/Bloomca)

2 points

2 years ago

516.

Show HN: Minefield – Fast SBOM Management, 10k Packages Cached in 30s (github.com/bitbomdev)

2 points

2 years ago

517.

Show HN: Epidemik a Python package for epidemic simulation (pypi.org)

2 points

2 years ago

518.

Show HN: Cijail – protect your CI/CD pipelines from supply chain attacks (github.com/staex-io)

2 points

2 years ago

519.

Show HN: PredicateKit – A type-safe replacement for NSPredicate for CoreData (github.com/ftchirou)

2 points

2 years ago

520.

Show HN: Pebble Graphics – A 3D Version of Turtle Graphics (meta.com)

2 points

2 years ago

521.

Show HN: Graph-Based Dungeon Generator (halftheopposite.github.io)

2 points

halftheopposite

3 years ago

522.

Show HN: Lambda Quest – Scheme live-coding

2 points

4 years ago

523.

Ask HN: Open-source hardware primer for a software engineer

2 points

6 years ago

524.

Welcoming contributors for a SBML model of ALS disease

2 points

8 years ago

525.

Show HN: Meaning-Based Judgment Simulation for LLM Interfaces

1 point

a year ago

526.

Show HN: LOGEO, a web app based on Spanish language Twitter data

1 point

7 years ago

527.

Hi, I'm Viktor.I wasn't a programmer. I didn't build apps. I didn't write code

1 point

5 months ago

528.

Show HN: Pro Color Harmonies – A library for color harmonies (meodai.github.io)

1 point

7 months ago

529.

Show HN: Quantum4J – A Pure Java Quantum Computing SDK (github.com/vijayanandg)

1 point

7 months ago

530.

Benchmark of ZKVM and Proving Schemes

1 point

a year ago

531.

Show HN: Hyperlocal DNSSEC Validating Unbound Docker Image (github.com/madnuttah)

1 point

4 years ago

532.

Show HN: Busbar – every LLM behind one URL, in a single Rust binary (github.com/MattJackson)

1 point

8 days ago

533.

Show HN: Elia – A governed cognitive architecture (Phase 0 live) (github.com/Jmc-arch)

1 point

3 months ago

534.

Show HN: Ffetch v5 – TypeScript-first fetch client (npmjs.com)

1 point

3 months ago

535.

Show HN: Single-header C++ libraries for LLM APIs – zero deps beyond libcurl

1 point

3 months ago

536.

Show HN: Reflex – local code search engine and MCP server for AI coding (github.com/reflex-search)

1 point

3 months ago

537.

Show HN: Organic Programming – A .proto is all you need (github.com/organic-programming)

1 point

4 months ago

538.

Show HN: The Bridge Language – Declarative dataflow for controlled egress (github.com/stackables)

1 point

4 months ago

539.

Show HN: The Perfect Fit – A Valentine's day story (youtube.com)

1 point

4 months ago

540.

Show HN: oMLX – Native Mac inference server that persists KV cache to SSD (github.com/jundot)

1 point

4 months ago