Search: github.com/zb3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: MockTheClock – A tiny JavaScript library for spoofing time in browser (github.com/zb3)

18 points

11 years ago

2.

Show HN: Firefox crack for linux – run unsigned addons without recompiling (gist.github.com)

9 points

10 years ago

3.

Show HN: Freej2me-web – web based J2ME games emulator with 3D support (github.com/zb3)

3 points

a year ago

4.

Show HN: ClickCounter – a web extension that counts your clicks on the web (github.com/zb3)

2 points

10 years ago

5.

Show HN: Tool to patch Chrome on Android to provide limited userscripts support (github.com/zb3)

1 point

8 years ago

6.

A simple tool to fetch domain names from CT log servers (github.com/zb3)

1 point

10 years ago

7.

Show HN: CanvasVideoRecorder – export your canvas and WebGL animations (github.com/zb3)

1 point

11 years ago

8.

Support large documents in extension host (github.com/microsoft)

1 point

a year ago

9.

Show HN: Allocate poker chips optimally with mixed-integer nonlinear programming (github.com/jstrieb)

213 points

2 years ago

10.

Show HN: Sigil – A new programming language for AI agents

5 points

2 months ago

11.

Ask HN: Can hash verification replace EV code-signing on Windows?

1 point

hypersnatch_dev

3 months ago

12.

Show HN: Loom – A Markdown knowledge graph for better coding-agent execution (github.com/z3z1ma)

1 point

a month ago

13.

The Z3 Theorem Prover released under MIT license (github.com/Z3Prover)

304 points

11 years ago

14.

The Z3 Theorem Prover (github.com/Z3Prover)

137 points

____Sash---701_

7 years ago

15.

Zbox – Zero-knowledge, privacy-focused embeddable file system written in Rust (github.com/zboxfs)

112 points

8 years ago

16.

First Infocom Z-machine implemented in hardware (github.com/charcole)

111 points

12 years ago

17.

Z3 – ZFS to S3 Backup/Restore Tool (github.com/presslabs)

90 points

5 years ago

18.

Zbackup: open-source, encrypted, de-duplicated, compressed backups (github.com/zbackup)

76 points

11 years ago

19.

GitHub-events-viewer a.k.a. "What did I do yesterday?" (github.com/zbycz)

75 points

2 years ago

20.

Z3 : An LLVM backed runtime for OCaml (raph-amiard.github.com)

61 points

14 years ago

21.

WASM Builds of the Z3 SMT Solver (github.com/cpitclaudel)

55 points

7 years ago

22.

NeoApple2: A Port of the Apple2fpga Apple II Emulator to Xilinx FPGAs (github.com/zf3)

54 points

5 years ago

23.

Show HN: Zs3 – S3 server in ~1K lines of Zig, 250KB binary, zero dependencies (github.com/Lulzx)

42 points

5 months ago

24.

The Z3 Theorem Prover (github.com/Z3Prover)

35 points

6 months ago

25.

Z3d.js – Interactive 3D plotting with a simple function call built on Three.js (github.com/NathanEpstein)

13 points

11 years ago

26.

Zero-details, privacy-focused in-app file system (github.com/zboxfs)

7 points

3 years ago

27.

Z3 (github.com/Z3Prover)

6 points

8 years ago

28.

Zero Bullshit Git (github.com/chshersh)

5 points

3 years ago

29.

LLMEasyTools: OpenAI tools and functions with no fuss (github.com/zby)

5 points

2 years ago

30.

Show HN: A firewall analysis library using the Z3 SMT solver (github.com/Z3Prover)

5 points

8 years ago