Search: github.com/nondeterministic | Heykuki News

HK

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

7 years ago

34 points

2.

Eureka – Ultima-like CRPG engine, editor and game

github.com/nondeterministic

8 years ago

2 points

3.

Show HN: Non-deterministic turing machine in Python

github.com/yedhukrishnan

8 years ago

2 points

4.

Show HN: Git bayesect – Bayesian Git bisection for non-deterministic bugs

github.com/hauntsaninja

3 months ago

337 points

5.

Haskell library for non-deterministic pattern matching

github.com/egison

2 months ago

3 points

6.

ambit-0.9.1 -- a Gem for choose/fail (amb) non-deterministic programming

github.com/jimwise

15 years ago

2 points

7.

Wander – tool for writing non-deterministic fantasy stories

github.com/shmup

2 years ago

2 points

8.

Show HN: Create aliases with non deterministic arguments

github.com/patrickleweryharris

9 years ago

2 points

9.

Coinobi – Deterministic and non-deterministic testing utilities for JavaScript

github.com/mulholio

7 years ago

1 points

10.

Decorating: ASCII spinners for non-deterministic tasks in Python

github.com/ryukinix

9 years ago

1 points

11.

Show HN: Zerox – Document OCR with GPT-mini

github.com/getomni-ai

2 years ago

246 points

12.

Show HN: Agents.json – OpenAPI Specification for LLMs

github.com/wild-card-ai

a year ago

212 points

13.

Show HN: Flowcode – Turing-complete visual programming platform

app.getflowcode.io

a year ago

176 points

14.

Show HN: Agent Vault – Open-source credential proxy and vault for agents

github.com/Infisical

2 months ago

156 points

15.

Show HN: DBOS TypeScript – Lightweight Durable Execution Built on Postgres

github.com/dbos-inc

a year ago

77 points

16.

Show HN: iWF – A new “workflow as code” execution engine

github.com/indeedeng

3 years ago

68 points

17.

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

6 months ago

37 points

18.

Show HN: Leaping – Open-source debugging with LLMs

2 years ago

15 points

19.

Show HN: Retrace – reverse debugging for production CPython applications

github.com/retracesoftware

a month ago

14 points

20.

Show HN: Zep – Open-Source Graph Memory for AI Apps

blog.getzep.com

2 years ago

6 points

21.

Show HN: Anchor Engine – Deterministic Semantic Memory for LLMs Local (<3GB RAM)

github.com/RSBalchII

4 months ago

5 points

22.

Show HN: Postgres-Backed Durable Workflows in Go

github.com/dbos-inc

9 months ago

5 points

23.

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

5 months ago

4 points

24.

Show HN: Helix – AI-powered API mocking with strict schema enforcement

github.com/ashfromsky

6 months ago

4 points

25.

Show HN: Empirical – test framework for JavaScript developers building with LLMs

github.com/empirical-run

2 years ago

4 points

26.

Show HN: Prav-core – A no_std, zero-allocation QEC decoder in Rust

github.com/qubitsok

5 months ago

3 points

27.

Show HN: SoMatic – Vision-based OS automation framework for AI agents

github.com/Smyan1909

a month ago

2 points

28.

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

4 months ago

2 points

29.

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift)

github.com/OneInX

4 months ago

2 points

30.

Show HN: High deterministic real time in Python with copy and patch compiler

copapy.nonan.net

5 months ago

2 points