Search: github.com/zb3 | Heykuki News

HK

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

3 months ago

4 points

32.

Sudoku solver using Z3-Prover

github.com/awkwardbunny

5 years ago

4 points

33.

Use Termux as the Default Launcher

github.com/z3r0n3br4instorm

9 months ago

3 points

34.

Z3 Theorem Prover

github.com/Z3Prover

a year ago

3 points

35.

Amiga 4000 CPU accelerator board based on A3660 and Z-turn FPGA board

github.com/shanshe

2 years ago

3 points

36.

Amiga 4000 CPU accelerator board based on A3660 and Z-turn FPGA board

github.com/shanshe

5 years ago

3 points

37.

FunTOTP – A simple and secure 2FA command-line client in Python

github.com/Z33DD

6 years ago

3 points

38.

Show HN: StumpWM music player based on last.fm

github.com/mihaiolteanu

7 years ago

3 points

39.

github.com/Z3Prover

8 years ago

3 points

40.

Microsoft: The Z3 Theorem Prover

github.com/Z3Prover

9 years ago

3 points

41.

Show HN: LLMEasyTools – Tools for LLM agents (Python lib)

2 years ago

2 points

42.

Show HN: Ray traced 4D Julia fractal renderer (Linux/Windows)

github.com/zbendefy

4 years ago

2 points

43.

Nightly-docker-rebuild

github.com/zbeekman

10 years ago

2 points

44.

Show HN: HyperSnatch – local-first evidence workstation for Windows

github.com/Z3r0DayZion-install

12 hours ago

2 points

45.

Show HN: AI-native red-team for penetration testing and vulnerability research

github.com/yv1ing

13 days ago

2 points

46.

Show HN: Z3r0 – Multi-agent red team collaboration platform

github.com/yv1ing

14 days ago

2 points

47.

Running an AI Agent on a 448KB RAM Microcontroller (Zephyr)

github.com/LingaoM

3 months ago

2 points

48.

Show HN: LoMux – Lightweight FFmpeg GUI in Rust (3MB Binary)

github.com/zblauser

4 months ago

selectedambient

2 points

49.

Ida Headless MCP

github.com/zboralski

7 months ago

2 points

50.

Show HN: Turn SpiderMonkey bytecode back into readable JavaScript

github.com/zboralski

10 months ago

2 points

51.

Z3 Theorem Prover

github.com/Z3Prover

2 years ago

2 points

52.

Universal app for OpenStreetMap – viewing and editing

github.com/zbycz

2 years ago

2 points

53.

Show HN: Open-source AI Search project, ZByAI

github.com/zzzgydi

2 years ago

2 points

54.

Tremor–A quake-style drop-down browser you can open from anywhere

github.com/zbarbuto

5 years ago

2 points

55.

ZboxFS: Zero-details, privacy-focused embeddable file system

github.com/zboxfs

7 years ago

2 points

56.

Automated proofs about floating-point numbers using Z3 Theorem Prover in Python

github.com/xennygrimmato

8 years ago

2 points

57.

Zb – an opinionated repo based tool for working with go

github.com/joshuarubin

10 years ago

2 points

58.

ORM (persistent objects) for Node.js

github.com/Z3TA

10 years ago

2 points

59.

Show HN: The Z3 theorem can now be built using CMake

github.com/Z3Prover

10 years ago

2 points

60.

Show HN: AutoComment

github.com/zbholman

10 years ago

1 points