Search: github.com/zb3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Improving MCP tool call performance through LLM code generation

github.com/zbowling

8 months ago

1 points

62.

Vistos: Download Congressional Data from the US Government Publishing Office

github.com/z3c0

6 years ago

1 points

63.

MSR Z3 Solver Bindings for Go

github.com/stefanbucur

11 years ago

1 points

64.

Change of Z3 license

github.com/Z3Prover

11 years ago

1 points

65.

Show HN: Unflutter – a static analyzer for Flutter/Dart AOT

github.com/zboralski

4 months ago

1 points

66.

Happy Birthday PC/XT, here is my tribute, an XT FPGA SoC

github.com/donnaware

15 years ago

1 points

67.

github.com/Z3Prover

5 years ago

1 points

68.

Show HN: Explore the 4D julia set by visualizing the 4 planes

htmlpreview.github.io

5 years ago

1 points

69.

A Great Pentesting Tool

github.com/z3pp

7 years ago

1 points

70.

Show HN: Music for working

gist.github.com

7 years ago

1 points

71.

github.com/Z3Prover

8 years ago

1 points

72.

Tips and tricks for writing asm.js as a human

github.com/zbjornson

9 years ago

1 points

73.

A PHP mail mime parser

github.com/zbateson

9 years ago

1 points

74.

Emacs keybindings for Visual Studio 2015

github.com/zbrad

10 years ago

1 points

75.

Show HN: Rtipc – real-time, zero-copy IPC for Linux

github.com/mausys

5 months ago

1 points

76.

Z3 Made Unreasonably Easy

github.com/RocketRace

5 years ago

20 points

77.

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

github.com/dstampher

6 months ago

4 points

78.

Show HN: Zbench, RAG evals using chess Elo ratings

github.com/zeroentropy-ai

a year ago

3 points

79.

GitHub forking has one big flaw

zbowling.github.com

15 years ago

207 points

80.

New Github code percentage bar

zbowling.github.com

14 years ago

1 points

81.

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

github.com/stanford-mast

7 months ago

6 points

82.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

83.

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

github.com/zwegner

3 years ago

153 points

84.

OpenEPaperLink: Alternative Firmware for ZBS243-Based eInk Shelf Labels

github.com/jjwbruijn

3 years ago

91 points

85.

Dependency hell and Z3 SMT-solver

github.com/dennis714

9 years ago

4 points

86.

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

github.com/zwegner

7 years ago

3 points

87.

Show HN: Modeling Covid-19 with Z3py

github.com/chadbrewbaker

6 years ago

2 points

88.

Discrete tomography and Z3 SMT-solver

github.com/dennis714

9 years ago

2 points

89.

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

github.com/KLOUCEO

2 months ago

1 points

90.

An Adventure with Optimization and Z3

github.com/aochagavia

4 years ago

1 points