Search: github.com/prooxod | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Script for extracting PDF metatags (github.com/prooxod)

2 points

10 years ago

2.

Show HN: A brainfuck compiler (no asm produced, just elf) (github.com/prooxod)

1 point

11 years ago

3.

3 points

10 years ago

4.

Show HN: My First SaaS – Turn App Giveaways into a Marketing Asset (promocodequeue.com)

1 point

10 months ago

5.

Thenextweb Mobile for Android (beta, open source)

1 point

9 years ago

6.

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

326 points

8 months ago

7.

Prjoxide: Documenting Lattice's 28nm FPGA parts (github.com/daveshah1)

88 points

6 years ago

8.

Show HN: Open-Source Free App for Talking with AI Using Audio+Text (github.com/proxoar)

6 points

reluct35-MATT80

3 years ago

9.

Show HN: Talk with ChatGPT using your VOICE (github.com/proxoar)

4 points

reluct35-MATT80

3 years ago

10.

Show HN: I build a Python library for zaprite for Bitcoin payment processing (github.com/proofofjogi)

4 points

2 years ago

11.

Show HN: A Refreshing UI for ChatGPT (github.com/proxoar)

3 points

CRUELNESS30-e43

3 years ago

12.

Show HN: Talk with ChatGPT using your VOICE (github.com/proxoar)

3 points

CRUELNESS30-e43

3 years ago

13.

Procmod - modify running processes in linux (github.com/anfractuosity)

2 points

14 years ago

14.

Protodata—a language for generating binary data (github.com/evincarofautumn)

2 points

13 years ago

15.

Show HN: Talk with ChatGPT using your VOICE (github.com/proxoar)

2 points

CRUELNESS30-e43

3 years ago

16.

Show HN: Talk with ChatGPT using your VOICE (github.com/proxoar)

2 points

CRUELNESS30-e43

3 years ago

17.

Protocol Buffers IDL(.proto file) vendoring tool (github.com/stormcat24)

2 points

9 years ago

18.

WebPPL : Probabilistic Programming for the Web (github.com/probmods)

2 points

10 years ago

19.

Webchurch: Probabilistic Programming for JavaScript (github.com/probmods)

2 points

10 years ago

20.

Show HN: Promode for Claude Code (github.com/mikekelly)

1 point

5 months ago

21.

Show HN: Talk with ChatGPT using your VOICE (github.com/proxoar)

1 point

reluct35-MATT80

3 years ago

22.

Show HN: Talk with ChatGPT using your VOICE (github.com/proxoar)

1 point

reluct35-MATT80

3 years ago

23.

Protodump – Dump all Protobuf file descriptors from a binary as *.proto files (github.com/arkadiyt)

1 point

3 years ago

24.

ProofMode: Verified Visuals (A CameraV-Inspired Micro App) (github.com/guardianproject)

1 point

9 years ago

25.

Show HN: CNC mill for under $500 by converting a Proxxon with 3D printed parts (github.com/dheera)

4 points

2 years ago

26.

Show HN: Promode – Claude Code meta for its hidden "Team Mode" (github.com/mikekelly)

2 points

5 months ago

27.

Show HN: MARS5, open-source, insanely prosodic TTS model (github.com/Camb-ai)

24 points

2 years ago

28.

A Haskell program to check the vezin (prosody) of Ottoman Divan poetry (github.com/joom)

3 points

12 years ago

29.

Show HN: Proofof Absence Solved

1 point

7 months ago

30.

Docker container that acts as a ProxyDHCP server for netbooting (github.com/samdbmg)

1 point

3 years ago