Search: github.com/turing-machines | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Ted, a sed-like tool for editing files using a Turing Machine (github.com/ahalbert)

1 point

a year ago

32.

Turing machine simulator using TypeScript types (gist.github.com)

1 point

jay-barronville

2 years ago

33.

GitHub: Neurallambda/automata: synth data for training FSMs/PDAs/Turing Machines (github.com/neurallambda)

1 point

2 years ago

34.

Turing Machine encoded in the Scala type system (github.com/stew)

1 point

14 years ago

35.

A programming language for designing Turing Machines (github.com/kelvindecosta)

1 point

7 years ago

36.

Show HN: A Turing Machine Simulator in SML (github.com/jez)

1 point

10 years ago

37.

Show HN: A reference implementation of Turing's paper “On Computable Numbers” (github.com/planetlambert)

63 points

3 years ago

38.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com/sethirus)

9 points

5 months ago

39.

Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning) (github.com/Concode0)

3 points

2 months ago

40.

AbsCrypt [Chariot Technologies Lab Inc]

2 points

7 years ago

41.

Show HN: Sandbox Flow – A Playground for Sandboxes (github.com/BandarLabs)

2 points

3 months ago

42.

Syuzhet: Extraction of sentiment-based plot arcs from text (github.com/mjockers)

7 points

11 years ago

43.

Experimental FOSS ebook compiler needs testers (github.com/tonyhursh)

1 point

14 years ago