Search: github.com/zb3 | Heykuki News

HK

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

11 years ago

18 points

2.

Show HN: Firefox crack for linux – run unsigned addons without recompiling

gist.github.com

10 years ago

9 points

3.

Show HN: Freej2me-web – web based J2ME games emulator with 3D support

a year ago

3 points

4.

Show HN: ClickCounter – a web extension that counts your clicks on the web

10 years ago

2 points

5.

Show HN: Tool to patch Chrome on Android to provide limited userscripts support

8 years ago

1 points

6.

A simple tool to fetch domain names from CT log servers

10 years ago

1 points

7.

Show HN: CanvasVideoRecorder – export your canvas and WebGL animations

11 years ago

1 points

8.

Support large documents in extension host

github.com/microsoft

a year ago

1 points

9.

Show HN: Allocate poker chips optimally with mixed-integer nonlinear programming

github.com/jstrieb

2 years ago

213 points

10.

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

3 months ago

5 points

11.

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

4 months ago

hypersnatch_dev

1 points

12.

Show HN: Loom – A Markdown knowledge graph for better coding-agent execution

github.com/z3z1ma

2 months ago

1 points

13.

The Z3 Theorem Prover released under MIT license

github.com/Z3Prover

11 years ago

304 points

14.

The Z3 Theorem Prover

github.com/Z3Prover

7 years ago

____Sash---701_

137 points

15.

Zbox – Zero-knowledge, privacy-focused embeddable file system written in Rust

github.com/zboxfs

9 years ago

112 points

16.

First Infocom Z-machine implemented in hardware

github.com/charcole

12 years ago

111 points

17.

Z3 – ZFS to S3 Backup/Restore Tool

github.com/presslabs

5 years ago

90 points

18.

Zbackup: open-source, encrypted, de-duplicated, compressed backups

github.com/zbackup

11 years ago

76 points

19.

GitHub-events-viewer a.k.a. "What did I do yesterday?"

github.com/zbycz

2 years ago

75 points

20.

Z3 : An LLVM backed runtime for OCaml

raph-amiard.github.com

14 years ago

61 points

21.

WASM Builds of the Z3 SMT Solver

github.com/cpitclaudel

7 years ago

55 points

22.

NeoApple2: A Port of the Apple2fpga Apple II Emulator to Xilinx FPGAs

5 years ago

54 points

23.

Show HN: Zs3 – S3 server in ~1K lines of Zig, 250KB binary, zero dependencies

github.com/Lulzx

6 months ago

42 points

24.

The Z3 Theorem Prover

github.com/Z3Prover

6 months ago

35 points

25.

Z3d.js – Interactive 3D plotting with a simple function call built on Three.js

github.com/NathanEpstein

12 years ago

13 points

26.

Zero-details, privacy-focused in-app file system

github.com/zboxfs

3 years ago

7 points

27.

github.com/Z3Prover

8 years ago

6 points

28.

Zero Bullshit Git

github.com/chshersh

3 years ago

5 points

29.

LLMEasyTools: OpenAI tools and functions with no fuss

2 years ago

5 points

30.

Show HN: A firewall analysis library using the Z3 SMT solver

github.com/Z3Prover

8 years ago

5 points