Search: github.com/tz3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Send data using monitor and camera

2 years ago

2 points

422.

Automated proofs about floating-point numbers using Z3 Theorem Prover in Python

github.com/xennygrimmato

8 years ago

2 points

423.

ORM (persistent objects) for Node.js

github.com/Z3TA

10 years ago

2 points

424.

Show HN: The Z3 theorem can now be built using CMake

github.com/Z3Prover

10 years ago

2 points

425.

Vistos: Download Congressional Data from the US Government Publishing Office

github.com/z3c0

6 years ago

1 points

426.

MSR Z3 Solver Bindings for Go

github.com/stefanbucur

11 years ago

1 points

427.

Change of Z3 license

github.com/Z3Prover

11 years ago

1 points

428.

Cimber: Transfer Data via Camera Lens

3 years ago

1 points

429.

github.com/Z3Prover

5 years ago

1 points

430.

A Great Pentesting Tool

github.com/z3pp

7 years ago

1 points

431.

Show HN: Music for working

gist.github.com

7 years ago

1 points

432.

github.com/Z3Prover

8 years ago

1 points

433.

Z3 Made Unreasonably Easy

github.com/RocketRace

5 years ago

20 points

434.

Show HN: Solving Zodiac's Z32 – top candidate has anomaly visible from space

github.com/dstampher

6 months ago

4 points

435.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents

github.com/stanford-mast

7 months ago

6 points

436.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

437.

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

github.com/zwegner

3 years ago

153 points

438.

Dependency hell and Z3 SMT-solver

github.com/dennis714

9 years ago

4 points

439.

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

github.com/zwegner

7 years ago

3 points

440.

Show HN: Modeling Covid-19 with Z3py

github.com/chadbrewbaker

6 years ago

2 points

441.

Discrete tomography and Z3 SMT-solver

github.com/dennis714

9 years ago

2 points

442.

Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM)

github.com/KLOUCEO

2 months ago

1 points

443.

An Adventure with Optimization and Z3

github.com/aochagavia

4 years ago

1 points

444.

Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3

github.com/obijywk

7 years ago

1 points

445.

Show HN: A Linjat Solver Using Z3

github.com/redfast00

7 years ago

1 points

446.

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

github.com/danielcota

a year ago

76 points

447.

Aura-State: Formally Verified LLM State Machine Compiler

4 months ago

23 points

448.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover

github.com/tsvibt

3 years ago

3 points

449.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

450.

Show HN: Planedrift – Play Infocom games in the browser

2 months ago

2 points