Search: github.com/edvin | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

github.com/edvin

5 years ago

1 points

2.

Show HN: Open-source AI assistant for interview reasoning

github.com/evinjohnn

4 months ago

5 points

3.

Software for management of community alarms

usaga-software.edwinspire.com

13 years ago

1 points

4.

Light Painting with Flash

designfission.com

15 years ago

1 points

5.

TinyLLama – A Tiny x86 Retrocomputer

github.com/eivindbohler

4 years ago

102 points

6.

Show HN: Dankenstein – Markov Chain Twitter Bot Generator

github.com/eivind88

8 years ago

72 points

7.

ITX-Llama (Vortex86EX ITX Motherboard)

github.com/eivindbohler

2 years ago

21 points

8.

Idris 2 programming language announced

github.com/edwinb

7 years ago

17 points

9.

Show HN: prm – A minimal project manager for the terminal

github.com/eivind88

11 years ago

13 points

10.

Show HN: TinyBaker, a library for defining composable file-to-file transforms

github.com/evinism

6 years ago

11 points

11.

Show HN: Display famous paintings on your Terminal

github.com/EdinCitaku

4 years ago

10 points

12.

Swag: Give your handlebars.js templates some swag son!

github.com/elving

14 years ago

5 points

13.

Show HN: Buttery, a DSL/runtime for defining HTTP APIs

github.com/evinism

6 years ago

4 points

14.

Kitten - high-performance statically typed concatenative programming language

github.com/evincarofautumn

13 years ago

4 points

15.

Show HN: TinyBaker, a library for defining composable file-to-file transforms

github.com/evinism

6 years ago

4 points

16.

Idris to PHP compiler

github.com/edwinb

11 years ago

3 points

17.

Show HN: Selling an AI interview assistant with ~2k users (no revenue)

github.com/evinjohnn

4 months ago

3 points

18.

Idris to PHP – Yes, really

github.com/edwinb

8 years ago

3 points

19.

Show HN: Chainflow – API call workflows in TypeScript

github.com/edwinlzs

2 years ago

2 points

20.

Blodwen: A prototype successor to Idris

github.com/edwinb

8 years ago

2 points

21.

A New Back End for Idris: PHP. “Yes, Really”

github.com/edwinb

11 years ago

2 points

22.

Tinder Client for iOS [Hack]

github.com/edwinbosire

12 years ago

2 points

23.

Type Save Division in Idris Using Dependent Types

gist.github.com

12 years ago

2 points

24.

Protodata—a language for generating binary data

github.com/evincarofautumn

13 years ago

2 points

25.

Idris2 is now self-hosted

github.com/edwinb

6 years ago

2 points

26.

README.md at master – edwinb/Blodwen

github.com/edwinb

8 years ago

2 points

27.

Generate identicons for DNA sequences with Python

github.com/Edinburgh-Genome-Foundry

8 years ago

2 points

28.

Blodwen – a dependently typed core language implemented in Idris

github.com/edwinb

9 years ago

2 points

29.

Show HN: Xkcd – Sublime Text 3 plugin for viewing xkcd comics

github.com/eivind88

11 years ago

2 points

30.

What I learned from a desktop AI tool getting 400 stars in days

github.com/evinjohnn

4 months ago

1 points