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

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

github.com/sligocki

6 months ago

1 points

32.

Show HN: Ted, a sed-like tool for editing files using a Turing Machine

github.com/ahalbert

2 years ago

1 points

33.

Turing machine simulator using TypeScript types

gist.github.com

2 years ago

jay-barronville

1 points

34.

GitHub: Neurallambda/automata: synth data for training FSMs/PDAs/Turing Machines

github.com/neurallambda

2 years ago

1 points

35.

Turing Machine encoded in the Scala type system

github.com/stew

14 years ago

1 points

36.

A programming language for designing Turing Machines

github.com/kelvindecosta

7 years ago

1 points

37.

Show HN: A Turing Machine Simulator in SML

10 years ago

1 points

38.

Show HN: A reference implementation of Turing's paper “On Computable Numbers”

github.com/planetlambert

3 years ago

63 points

39.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

github.com/sethirus

5 months ago

9 points

40.

Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning)

github.com/Concode0

3 months ago

3 points

41.

AbsCrypt [Chariot Technologies Lab Inc]

7 years ago

2 points

42.

Show HN: Sandbox Flow – A Playground for Sandboxes

github.com/BandarLabs

3 months ago

2 points

43.

Syuzhet: Extraction of sentiment-based plot arcs from text

github.com/mjockers

11 years ago

7 points

44.

Experimental FOSS ebook compiler needs testers

github.com/tonyhursh

14 years ago

1 points