Search: github.com/z3pp | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

A Great Pentesting Tool

github.com/z3pp

7 years ago

1 points

2.

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

github.com/jstrieb

2 years ago

213 points

3.

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

a year ago

15 points

4.

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

3 months ago

5 points

5.

Show HN: Credit Units – A New Credit Market Primitive (Live on Solana Devnet)

github.com/zippy2261-lgtm

4 months ago

3 points

6.

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

a year ago

2 points

7.

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

2 months ago

1 points

8.

The Z3 Theorem Prover released under MIT license

github.com/Z3Prover

11 years ago

304 points

9.

The Z3 Theorem Prover

github.com/Z3Prover

7 years ago

____Sash---701_

137 points

10.

ZipPy: fast and lightweight Python 3 implementation using the Truffle framework

github.com/securesystemslab

6 years ago

120 points

11.

Serverless WSGI with AWS Lambda and API Gateway

github.com/Miserlou

10 years ago

66 points

12.

The Z3 Theorem Prover

github.com/Z3Prover

6 months ago

35 points

13.

ZipPy: Detect AI-generated text quickly via compression ratios

github.com/thinkst

3 years ago

29 points

14.

Show HN: zappa-bittorrent-tracker, a server-less BT tracker

github.com/Miserlou

10 years ago

7 points

15.

github.com/Z3Prover

8 years ago

6 points

16.

github.com/zappajs

13 years ago

5 points

17.

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

github.com/Z3Prover

8 years ago

5 points

18.

ZipPop: A space conserving unzipping script

github.com/th0ma5w

6 months ago

3 points

19.

Show HN: Recall - TUI to Resume Claude/Codex conversations with full-text search

github.com/zippoxer

7 months ago

3 points

20.

Z3 Theorem Prover

github.com/Z3Prover

a year ago

3 points

21.

Freestanding C++ Exceptions using Coroutines

github.com/eyalz800

4 years ago

3 points

22.

Zappa - CoffeeScript framework for NodeJS

github.com/mauricemach

15 years ago

3 points

23.

github.com/Z3Prover

8 years ago

3 points

24.

Microsoft: The Z3 Theorem Prover

github.com/Z3Prover

9 years ago

3 points

25.

Complex .ssh/config? Using Chef/Puppet? Break them into small logical chunks.

github.com/zippykid

13 years ago

2 points

26.

ZappaJS is Alive

github.com/zappajs

14 years ago

2 points

27.

Zippd: Deploy static sites in seconds with HTTPS and custom domains

github.com/realchandan

a year ago

2 points

28.

Z3 Theorem Prover

github.com/Z3Prover

2 years ago

2 points

29.

Serverless Python

github.com/Miserlou

6 years ago

2 points

30.

Bow – Minimal embedded database for Go powered by Badger

github.com/zippoxer

8 years ago

2 points