Search: github.com/tz3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

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

github.com/jstrieb

2 years ago

213 points

392.

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

3 months ago

5 points

393.

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

4 months ago

hypersnatch_dev

1 points

394.

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

github.com/z3z1ma

2 months ago

1 points

395.

The Z3 Theorem Prover released under MIT license

github.com/Z3Prover

11 years ago

304 points

396.

The Z3 Theorem Prover

github.com/Z3Prover

7 years ago

____Sash---701_

137 points

397.

First Infocom Z-machine implemented in hardware

github.com/charcole

12 years ago

111 points

398.

Z3 – ZFS to S3 Backup/Restore Tool

github.com/presslabs

5 years ago

90 points

399.

Show HN: Cimbar – File transfer via color barcodes and the Android camera

6 years ago

87 points

400.

Z3 : An LLVM backed runtime for OCaml

raph-amiard.github.com

14 years ago

61 points

401.

WASM Builds of the Z3 SMT Solver

github.com/cpitclaudel

7 years ago

55 points

402.

The Z3 Theorem Prover

github.com/Z3Prover

6 months ago

35 points

403.

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

github.com/NathanEpstein

12 years ago

13 points

404.

Show HN: Zero Browser

github.com/nz366

8 days ago

12 points

405.

github.com/Z3Prover

8 years ago

6 points

406.

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

github.com/Z3Prover

8 years ago

5 points

407.

Sudoku solver using Z3-Prover

github.com/awkwardbunny

5 years ago

4 points

408.

Use Termux as the Default Launcher

github.com/z3r0n3br4instorm

10 months ago

3 points

409.

Z3 Theorem Prover

github.com/Z3Prover

a year ago

3 points

410.

Amiga 4000 CPU accelerator board based on A3660 and Z-turn FPGA board

github.com/shanshe

2 years ago

3 points

411.

Amiga 4000 CPU accelerator board based on A3660 and Z-turn FPGA board

github.com/shanshe

5 years ago

3 points

412.

FunTOTP – A simple and secure 2FA command-line client in Python

github.com/Z33DD

6 years ago

3 points

413.

github.com/Z3Prover

8 years ago

3 points

414.

Microsoft: The Z3 Theorem Prover

github.com/Z3Prover

9 years ago

3 points

415.

BashScriptTestingLibrary:Unit testing framework for Shell scripts – namely Bash

github.com/atz3ro

10 years ago

3 points

416.

Show HN: HyperSnatch – local-first evidence workstation for Windows

github.com/Z3r0DayZion-install

2 days ago

2 points

417.

Show HN: AI-native red-team for penetration testing and vulnerability research

github.com/yv1ing

14 days ago

2 points

418.

Show HN: Z3r0 – Multi-agent red team collaboration platform

github.com/yv1ing

15 days ago

2 points

419.

Z3 Theorem Prover

github.com/Z3Prover

2 years ago

2 points

420.

Optimized implementation for color-icon-matrix barcodes

2 years ago

2 points