Search: github.com/prathyvsh | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Catalog of Novel Operating Systems (github.com/prathyvsh)

187 points

a year ago

2.

Formal Systems in Biology (github.com/prathyvsh)

133 points

6 years ago

3.

Programming Languages for Enthusiasts (github.com/prathyvsh)

6 points

5 years ago

4.

Lambda Calculus Visualizations (2023) (github.com/prathyvsh)

3 points

2 years ago

5.

Catalog of semantic zoom interface pattern (github.com/prathyvsh)

3 points

10 months ago

6.

Catalogue of Novel Operating Systems (github.com/prathyvsh)

3 points

a year ago

7.

Lambda Calculus Visualizations (github.com/prathyvsh)

3 points

2 years ago

8.

Annotated bibliography for learning Category Theory (github.com/prathyvsh)

3 points

6 years ago

9.

Notation (github.com/prathyvsh)

3 points

6 years ago

10.

Networked Notebooks Catalogue (github.com/prathyvsh)

3 points

6 years ago

11.

Morphisms of Computational Structures (github.com/prathyvsh)

2 points

6 years ago

12.

Programming Languages for Enthusiasts (github.com/prathyvsh)

2 points

3 years ago

13.

A Catalog of Programming Languages (github.com/prathyvsh)

2 points

3 years ago

14.

Programming Languages for Enthusiasts (github.com/prathyvsh)

2 points

5 years ago

15.

Resources for Learning Category Theory (github.com/prathyvsh)

2 points

6 years ago

16.

Catalog of Visual Lambda Calculi (github.com/prathyvsh)

2 points

6 years ago

17.

Lambda Calculus Visualizations Repo (github.com/prathyvsh)

1 point

3 years ago

18.

Catalogue of Models of Interaction (github.com/prathyvsh)

1 point

5 years ago

19.

Garment Notation Language: Formal descriptive language for clothing construction (github.com/khalildh)

136 points

4 months ago

20.

I'm building an AI agent that learns from every task (github.com/prathyushnallamothu)

2 points

2 months ago

21.

SwarmGo: Create AI agents capable of interacting, coordinating, executing tasks (github.com/prathyushnallamothu)

1 point

2 years ago

22.

Show HN: Hackerfeed – a cli to HackerNews (github.com/pratyushprakash)

2 points

pratyushprakash

9 years ago

23.

Block ads only on the selected websites (github.com/bitboxer)

1 point

13 years ago

24.

High performance drop-in .htaccess file for your site (github.com/sergeychernyshev)

1 point

13 years ago