Search: github.com/T8RIN | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Adafruit Trinket-based "support emergency button" (github.com/jgrahamc)

1 point

13 years ago

152.

Show HN: Statutory – a Turing-complete language in 17th-century legal English (github.com/scordata)

1 point

4 months ago

153.

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting (github.com/sligocki)

1 point

5 months ago

154.

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

1 point

a year ago

155.

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

1 point

jay-barronville

2 years ago

156.

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

1 point

2 years ago

157.

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

1 point

14 years ago

158.

Proof That TypeScript's Type System Is Turing Complete (gist.github.com)

1 point

3 years ago

159.

Watson: Wasted but Turing-Incomplete Stack-Based Object Notation (github.com/genkami)

1 point

4 years ago

160.

A toy instruction set and compiler for 'Turing Complete' (github.com/Arctice)

1 point

4 years ago

161.

Semicolonless Java 1.1 is Turing-complete (github.com/nagise)

1 point

6 years ago

162.

Proof That TypeScript's Type System Is Turing Complete (2017) (gist.github.com)

1 point

6 years ago

163.

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

1 point

7 years ago

164.

A turing complete language based on docker containers (github.com/connorwalsh)

1 point

8 years ago

165.

Introducing Fabulous Bot – Turing Slack into an Operating System (github.com/Eulercoder)

1 point

8 years ago

166.

TypeScript's Type System Is Turing Complete (github.com/Microsoft)

1 point

9 years ago

167.

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

1 point

10 years ago

168.

Show HN: I made a digital circuit drawing and simulation game (github.com/lets-all-be-stupid-forever)

139 points

2 years ago

169.

Show HN: Data Diff – compare tables of any size across databases

127 points

4 years ago

170.

Show HN: WhatsApp-Llama: A clone of yourself from your WhatsApp conversations (github.com/Ads-cmu)

124 points

3 years ago

171.

Show HN: A small, weird and unpractical programming language (github.com/japiirainen)

89 points

4 years ago

172.

Show HN: TTF-DOOM – A raycaster running inside TrueType font hinting (github.com/4RH1T3CT0R7)

68 points

2 months ago

173.

Show HN: SuperDuperDB – Open-source framework for integrating AI with databases (github.com/SuperDuperDB)

49 points

2 years ago

174.

Show HN: MyGPT a toy LLM which can be trained on Project Gutenberg and dad jokes (github.com/jhud)

25 points

3 years ago

175.

Show HN: Scalable pan/zoom with easy authoring, arbitrary datatypes

22 points

6 years ago

176.

Sqlit – A lazygit-style TUI for SQL databases

18 points

10 days ago

177.

Show HN: Columnar store for fast, lightweight logging (github.com/parseablehq)

15 points

3 years ago

178.

Show HN: BemiDB – Open-source data warehouse with zero-ETL (bemidb.com)

13 points

a year ago

179.

Show HN: SQLFrame – I ran PySpark without Spark on a SQL database (github.com/eakmanrq)

11 points

2 years ago

180.

Show HN: The biggest achievement of my life so far (github.com/adityaprasad-sudo)

9 points

ambitious_potat

4 months ago