Search: github.com/tz3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

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

5 points

2 months ago

392.

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

1 point

hypersnatch_dev

3 months ago

393.

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

1 point

a month ago

394.

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

304 points

11 years ago

395.

The Z3 Theorem Prover (github.com/Z3Prover)

137 points

____Sash---701_

7 years ago

396.

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

111 points

12 years ago

397.

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

90 points

5 years ago

398.

Show HN: Cimbar – File transfer via color barcodes and the Android camera (github.com/sz3)

87 points

5 years ago

399.

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

61 points

14 years ago

400.

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

55 points

7 years ago

401.

The Z3 Theorem Prover (github.com/Z3Prover)

35 points

6 months ago

402.

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

13 points

11 years ago

403.

Z3 (github.com/Z3Prover)

6 points

8 years ago

404.

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

5 points

8 years ago

405.

Sudoku solver using Z3-Prover (github.com/awkwardbunny)

4 points

5 years ago

406.

Use Termux as the Default Launcher (github.com/z3r0n3br4instorm)

3 points

9 months ago

407.

Z3 Theorem Prover (github.com/Z3Prover)

3 points

a year ago

408.

Amiga 4000 CPU accelerator board based on A3660 and Z-turn FPGA board (github.com/shanshe)

3 points

2 years ago

409.

Amiga 4000 CPU accelerator board based on A3660 and Z-turn FPGA board (github.com/shanshe)

3 points

5 years ago

410.

FunTOTP – A simple and secure 2FA command-line client in Python (github.com/Z33DD)

3 points

6 years ago

411.

Z3 (github.com/Z3Prover)

3 points

8 years ago

412.

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

3 points

9 years ago

413.

BashScriptTestingLibrary:Unit testing framework for Shell scripts – namely Bash (github.com/atz3ro)

3 points

10 years ago

414.

Z3 Theorem Prover (github.com/Z3Prover)

2 points

2 years ago

415.

Optimized implementation for color-icon-matrix barcodes (github.com/sz3)

2 points

2 years ago

416.

Send data using monitor and camera (github.com/sz3)

2 points

2 years ago

417.

Automated proofs about floating-point numbers using Z3 Theorem Prover in Python (github.com/xennygrimmato)

2 points

8 years ago

418.

ORM (persistent objects) for Node.js (github.com/Z3TA)

2 points

10 years ago

419.

Show HN: The Z3 theorem can now be built using CMake (github.com/Z3Prover)

2 points

10 years ago

420.

Vistos: Download Congressional Data from the US Government Publishing Office (github.com/z3c0)

1 point

6 years ago