Search: github.com/tz3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

MSR Z3 Solver Bindings for Go (github.com/stefanbucur)

1 point

11 years ago

422.

Change of Z3 license (github.com/Z3Prover)

1 point

11 years ago

423.

Cimber: Transfer Data via Camera Lens (github.com/sz3)

1 point

3 years ago

424.

Z3 (github.com/Z3Prover)

1 point

5 years ago

425.

A Great Pentesting Tool (github.com/z3pp)

1 point

7 years ago

426.

Show HN: Music for working (gist.github.com)

1 point

7 years ago

427.

Z3 (github.com/Z3Prover)

1 point

8 years ago

428.

Z3 Made Unreasonably Easy (github.com/RocketRace)

20 points

5 years ago

429.

Show HN: Solving Zodiac's Z32 – top candidate has anomaly visible from space (github.com/dstampher)

4 points

6 months ago

430.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents (github.com/stanford-mast)

6 points

7 months ago

431.

ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/DebarghaG)

326 points

8 months ago

432.

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (github.com/zwegner)

153 points

3 years ago

433.

Dependency hell and Z3 SMT-solver (github.com/dennis714)

4 points

9 years ago

434.

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (github.com/zwegner)

3 points

6 years ago

435.

Show HN: Modeling Covid-19 with Z3py (github.com/chadbrewbaker)

2 points

6 years ago

436.

Discrete tomography and Z3 SMT-solver (github.com/dennis714)

2 points

9 years ago

437.

Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM) (github.com/KLOUCEO)

1 point

a month ago

438.

An Adventure with Optimization and Z3 (github.com/aochagavia)

1 point

4 years ago

439.

Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3 (github.com/obijywk)

1 point

7 years ago

440.

Show HN: A Linjat Solver Using Z3 (github.com/redfast00)

1 point

7 years ago

441.

Show HN: LoopMix128 – Fast C PRNG (.46ns), 2^128 Period, BigCrush/PractRand Pass (github.com/danielcota)

76 points

a year ago

442.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

443.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (github.com/tsvibt)

3 points

3 years ago

444.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

445.

Show HN: Planedrift – Play Infocom games in the browser (planedrift.app)

2 points

2 months ago

446.

Show HN: Code Scalpel – AST analyzer and security scanner (MCP server) (codescalpel.dev)

2 points

4 months ago

447.

Show HN: Biski64 – Fast PRNG (~.40ns/call), Passes BigCrush/PractRand, Injective (github.com/danielcota)

2 points

a year ago

448.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor (pypi.org)

1 point

4 months ago

449.

Valve's OpenGL debugger open-sourced (github.com/ValveSoftware)

264 points

12 years ago

450.

React.js GitHub Issues After Declaring Support for Ukraine (github.com/facebook)

42 points

4 years ago