Search: github.com/zb3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: zbot – an AI agent for MCU with Telegram chat (runs on Zephyr or Linux) (github.com/LingaoM)

4 points

2 months ago

32.

Sudoku solver using Z3-Prover (github.com/awkwardbunny)

4 points

5 years ago

33.

Use Termux as the Default Launcher (github.com/z3r0n3br4instorm)

3 points

9 months ago

34.

Z3 Theorem Prover (github.com/Z3Prover)

3 points

a year ago

35.

Amiga 4000 CPU accelerator board based on A3660 and Z-turn FPGA board (github.com/shanshe)

3 points

2 years ago

36.

Amiga 4000 CPU accelerator board based on A3660 and Z-turn FPGA board (github.com/shanshe)

3 points

5 years ago

37.

FunTOTP – A simple and secure 2FA command-line client in Python (github.com/Z33DD)

3 points

6 years ago

38.

Show HN: StumpWM music player based on last.fm (github.com/mihaiolteanu)

3 points

7 years ago

39.

Z3 (github.com/Z3Prover)

3 points

8 years ago

40.

Microsoft: The Z3 Theorem Prover (github.com/Z3Prover)

3 points

9 years ago

41.

Show HN: LLMEasyTools – Tools for LLM agents (Python lib) (github.com/zby)

2 points

2 years ago

42.

Show HN: Ray traced 4D Julia fractal renderer (Linux/Windows) (github.com/zbendefy)

2 points

4 years ago

43.

Nightly-docker-rebuild (github.com/zbeekman)

2 points

9 years ago

44.

Running an AI Agent on a 448KB RAM Microcontroller (Zephyr) (github.com/LingaoM)

2 points

2 months ago

45.

Show HN: LoMux – Lightweight FFmpeg GUI in Rust (3MB Binary) (github.com/zblauser)

2 points

selectedambient

3 months ago

46.

Ida Headless MCP (github.com/zboralski)

2 points

7 months ago

47.

Show HN: Turn SpiderMonkey bytecode back into readable JavaScript (github.com/zboralski)

2 points

9 months ago

48.

Z3 Theorem Prover (github.com/Z3Prover)

2 points

2 years ago

49.

Universal app for OpenStreetMap – viewing and editing (github.com/zbycz)

2 points

2 years ago

50.

Show HN: Open-source AI Search project, ZByAI (github.com/zzzgydi)

2 points

2 years ago

51.

Tremor–A quake-style drop-down browser you can open from anywhere (github.com/zbarbuto)

2 points

5 years ago

52.

ZboxFS: Zero-details, privacy-focused embeddable file system (github.com/zboxfs)

2 points

7 years ago

53.

Automated proofs about floating-point numbers using Z3 Theorem Prover in Python (github.com/xennygrimmato)

2 points

8 years ago

54.

Zb – an opinionated repo based tool for working with go (github.com/joshuarubin)

2 points

10 years ago

55.

ORM (persistent objects) for Node.js (github.com/Z3TA)

2 points

10 years ago

56.

Show HN: The Z3 theorem can now be built using CMake (github.com/Z3Prover)

2 points

10 years ago

57.

Show HN: AutoComment (github.com/zbholman)

1 point

10 years ago

58.

Improving MCP tool call performance through LLM code generation (github.com/zbowling)

1 point

8 months ago

59.

Vistos: Download Congressional Data from the US Government Publishing Office (github.com/z3c0)

1 point

6 years ago

60.

MSR Z3 Solver Bindings for Go (github.com/stefanbucur)

1 point

11 years ago