Search: github.com/T8RIN | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Annote: A Turing complete language using only Java annotations as its syntax

github.com/kusoroadeolu

5 months ago

1 points

152.

A tiny Turing Machine in C for 2-symbols Busy Beavers

gist.github.com

3 years ago

1 points

153.

Adafruit Trinket-based "support emergency button"

github.com/jgrahamc

13 years ago

1 points

154.

Show HN: RedNotebook AI open-source AI data notebook for Trino, +12 SQL engines

github.com/sanniheruwala

11 days ago

1 points

155.

Show HN: Statutory – a Turing-complete language in 17th-century legal English

github.com/scordata

5 months ago

1 points

156.

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

github.com/sligocki

6 months ago

1 points

157.

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

github.com/ahalbert

2 years ago

1 points

158.

Turing machine simulator using TypeScript types

gist.github.com

2 years ago

jay-barronville

1 points

159.

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

github.com/neurallambda

2 years ago

1 points

160.

Turing Machine encoded in the Scala type system

github.com/stew

14 years ago

1 points

161.

Proof That TypeScript's Type System Is Turing Complete

gist.github.com

3 years ago

1 points

162.

Watson: Wasted but Turing-Incomplete Stack-Based Object Notation

github.com/genkami

4 years ago

1 points

163.

A toy instruction set and compiler for 'Turing Complete'

github.com/Arctice

4 years ago

1 points

164.

Semicolonless Java 1.1 is Turing-complete

github.com/nagise

6 years ago

1 points

165.

Proof That TypeScript's Type System Is Turing Complete (2017)

gist.github.com

6 years ago

1 points

166.

A programming language for designing Turing Machines

github.com/kelvindecosta

7 years ago

1 points

167.

A turing complete language based on docker containers

github.com/connorwalsh

8 years ago

1 points

168.

Introducing Fabulous Bot – Turing Slack into an Operating System

github.com/Eulercoder

8 years ago

1 points

169.

TypeScript's Type System Is Turing Complete

github.com/Microsoft

9 years ago

1 points

170.

Show HN: A Turing Machine Simulator in SML

10 years ago

1 points

171.

Show HN: I made a digital circuit drawing and simulation game

github.com/lets-all-be-stupid-forever

2 years ago

139 points

172.

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

4 years ago

127 points

173.

Show HN: WhatsApp-Llama: A clone of yourself from your WhatsApp conversations

github.com/Ads-cmu

3 years ago

124 points

174.

Show HN: A small, weird and unpractical programming language

github.com/japiirainen

4 years ago

89 points

175.

Show HN: TTF-DOOM – A raycaster running inside TrueType font hinting

github.com/4RH1T3CT0R7

3 months ago

68 points

176.

Show HN: SuperDuperDB – Open-source framework for integrating AI with databases

github.com/SuperDuperDB

3 years ago

49 points

177.

Show HN: MyGPT a toy LLM which can be trained on Project Gutenberg and dad jokes

github.com/jhud

3 years ago

25 points

178.

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

6 years ago

22 points

179.

Sqlit – A lazygit-style TUI for SQL databases

a month ago

20 points

180.

Show HN: Columnar store for fast, lightweight logging

github.com/parseablehq

3 years ago

15 points