Search: github.com/z3pp | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

A Great Pentesting Tool (github.com/z3pp)

1 point

7 years ago

2.

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

213 points

2 years ago

3.

Show HN: Zippd – Deploy static sites in seconds (OSS) (zippd.app)

15 points

a year ago

4.

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

5 points

2 months ago

5.

Show HN: Credit Units – A New Credit Market Primitive (Live on Solana Devnet) (github.com/zippy2261-lgtm)

3 points

3 months ago

6.

Ask HN: How do you make GPT generate SQL across multiple tables?

2 points

a year ago

7.

Zipper: the archival utility for macOS you didn't know you needed

1 point

2 months ago

8.

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

304 points

11 years ago

9.

The Z3 Theorem Prover (github.com/Z3Prover)

137 points

____Sash---701_

7 years ago

10.

ZipPy: fast and lightweight Python 3 implementation using the Truffle framework (github.com/securesystemslab)

120 points

6 years ago

11.

Serverless WSGI with AWS Lambda and API Gateway (github.com/Miserlou)

66 points

10 years ago

12.

The Z3 Theorem Prover (github.com/Z3Prover)

35 points

6 months ago

13.

ZipPy: Detect AI-generated text quickly via compression ratios (github.com/thinkst)

29 points

3 years ago

14.

Show HN: zappa-bittorrent-tracker, a server-less BT tracker (github.com/Miserlou)

7 points

10 years ago

15.

Z3 (github.com/Z3Prover)

6 points

8 years ago

16.

Zappajs (github.com/zappajs)

5 points

13 years ago

17.

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

5 points

8 years ago

18.

ZipPop: A space conserving unzipping script (github.com/th0ma5w)

3 points

5 months ago

19.

Show HN: Recall - TUI to Resume Claude/Codex conversations with full-text search (github.com/zippoxer)

3 points

6 months ago

20.

Z3 Theorem Prover (github.com/Z3Prover)

3 points

a year ago

21.

Freestanding C++ Exceptions using Coroutines (github.com/eyalz800)

3 points

4 years ago

22.

Zappa - CoffeeScript framework for NodeJS (github.com/mauricemach)

3 points

15 years ago

23.

Z3 (github.com/Z3Prover)

3 points

8 years ago

24.

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

3 points

9 years ago

25.

Complex .ssh/config? Using Chef/Puppet? Break them into small logical chunks. (github.com/zippykid)

2 points

13 years ago

26.

ZappaJS is Alive (github.com/zappajs)

2 points

14 years ago

27.

Zippd: Deploy static sites in seconds with HTTPS and custom domains (github.com/realchandan)

2 points

a year ago

28.

Z3 Theorem Prover (github.com/Z3Prover)

2 points

2 years ago

29.

Serverless Python (github.com/Miserlou)

2 points

6 years ago

30.

Bow – Minimal embedded database for Go powered by Badger (github.com/zippoxer)

2 points

8 years ago