Search: github.com/nondeterministic | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

A nondeterministic Turing Machine simulator in C (github.com/0novanta)

34 points

7 years ago

2.

Eureka – Ultima-like CRPG engine, editor and game (github.com/nondeterministic)

2 points

8 years ago

3.

Show HN: Non-deterministic turing machine in Python (github.com/yedhukrishnan)

2 points

8 years ago

4.

Show HN: Git bayesect – Bayesian Git bisection for non-deterministic bugs (github.com/hauntsaninja)

337 points

2 months ago

5.

Haskell library for non-deterministic pattern matching (github.com/egison)

3 points

2 months ago

6.

ambit-0.9.1 -- a Gem for choose/fail (amb) non-deterministic programming (github.com/jimwise)

2 points

15 years ago

7.

Wander – tool for writing non-deterministic fantasy stories (github.com/shmup)

2 points

2 years ago

8.

Show HN: Create aliases with non deterministic arguments (github.com/patrickleweryharris)

2 points

8 years ago

9.

Coinobi – Deterministic and non-deterministic testing utilities for JavaScript (github.com/mulholio)

1 point

7 years ago

10.

Decorating: ASCII spinners for non-deterministic tasks in Python (github.com/ryukinix)

1 point

9 years ago

11.

Show HN: Zerox – Document OCR with GPT-mini (github.com/getomni-ai)

246 points

2 years ago

12.

Show HN: Agents.json – OpenAPI Specification for LLMs (github.com/wild-card-ai)

212 points

a year ago

13.

Show HN: Flowcode – Turing-complete visual programming platform (app.getflowcode.io)

176 points

a year ago

14.

Show HN: Agent Vault – Open-source credential proxy and vault for agents (github.com/Infisical)

156 points

a month ago

15.

Show HN: DBOS TypeScript – Lightweight Durable Execution Built on Postgres (github.com/dbos-inc)

77 points

a year ago

16.

Show HN: iWF – A new “workflow as code” execution engine (github.com/indeedeng)

68 points

3 years ago

17.

Show HN: Autofix Bot – Hybrid static analysis and AI code review agent

37 points

6 months ago

18.

Show HN: Leaping – Open-source debugging with LLMs

15 points

2 years ago

19.

Show HN: Retrace – reverse debugging for production CPython applications (github.com/retracesoftware)

14 points

23 days ago

20.

Show HN: Zep – Open-Source Graph Memory for AI Apps (blog.getzep.com)

6 points

2 years ago

21.

Show HN: Anchor Engine – Deterministic Semantic Memory for LLMs Local (<3GB RAM) (github.com/RSBalchII)

5 points

3 months ago

22.

Show HN: Postgres-Backed Durable Workflows in Go (github.com/dbos-inc)

5 points

8 months ago

23.

Valori – Deterministic Substrate for AI (Code and ArXiv Paper)

4 points

5 months ago

24.

Show HN: Helix – AI-powered API mocking with strict schema enforcement (github.com/ashfromsky)

4 points

6 months ago

25.

Show HN: Empirical – test framework for JavaScript developers building with LLMs (github.com/empirical-run)

4 points

2 years ago

26.

Show HN: Prav-core – A no_std, zero-allocation QEC decoder in Rust (github.com/qubitsok)

3 points

5 months ago

27.

Show HN: SoMatic – Vision-based OS automation framework for AI agents (github.com/Smyan1909)

2 points

14 days ago

28.

Show HN: Turn – A compiled systems language for agentic computation

2 points

3 months ago

29.

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift) (github.com/OneInX)

2 points

3 months ago

30.

Show HN: High deterministic real time in Python with copy and patch compiler (copapy.nonan.net)

2 points

5 months ago