Search: github.com/edwinb | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Idris 2 programming language announced

github.com/edwinb

7 years ago

17 points

2.

Idris to PHP compiler

github.com/edwinb

11 years ago

3 points

3.

Idris to PHP – Yes, really

github.com/edwinb

8 years ago

3 points

4.

Blodwen: A prototype successor to Idris

github.com/edwinb

8 years ago

2 points

5.

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

github.com/edwinb

11 years ago

2 points

6.

Tinder Client for iOS [Hack]

github.com/edwinbosire

12 years ago

2 points

7.

Type Save Division in Idris Using Dependent Types

gist.github.com

12 years ago

2 points

8.

Idris2 is now self-hosted

github.com/edwinb

6 years ago

2 points

9.

README.md at master – edwinb/Blodwen

github.com/edwinb

8 years ago

2 points

10.

Blodwen – a dependently typed core language implemented in Idris

github.com/edwinb

9 years ago

2 points

11.

Weekend Hack project, Instagram+Tinder

github.com/edwinbosire

11 years ago

thatLondonBloke

1 points

12.

Open source iOS app News Reader

github.com/edwinbosire

11 years ago

thatLondonBloke

1 points

13.

Open source slide down menu inspired by medium

github.com/edwinbosire

11 years ago

thatLondonBloke

1 points

14.

Software for management of community alarms

usaga-software.edwinspire.com

13 years ago

1 points

15.

Light Painting with Flash

designfission.com

15 years ago

1 points

16.

Show HN: Chainflow – API call workflows in TypeScript

github.com/edwinlzs

2 years ago

2 points

17.

Generate identicons for DNA sequences with Python

github.com/Edinburgh-Genome-Foundry

8 years ago

2 points

18.

Show HN: PyRTLSweeper - Turn circuits into Minesweeper boards

github.com/EdwinChang24

7 months ago

1 points

19.

Theorem Prover Museum: The Original Edinburgh LCF

github.com/theoremprover-museum

2 years ago

2 points

20.

What should I do when someone blatantly copy my open-source project on GitHub?

2 years ago

45 points

21.

Ask HN: Are you still profiling CSS selectors?

13 years ago

5 points

22.

Show HN: OasysDB, Storing vectors for RAG in Rust simplified

github.com/oasysai

2 years ago

3 points

23.

Ask HN: Reject by Stripe Match and I'm given 5 days to migrate out

5 years ago

2 points

24.

Show HN: Tool for humans to guide AI agents in production

github.com/phantasmlabs

2 years ago

1 points

25.

“O, so sorry. I need more time. my country defending Russian invasion”

github.com/insky

4 years ago

510 points

26.

DissidentX – Censorship resistance tool by Bram Cohen

github.com/bramcohen

13 years ago

222 points

27.

RISC-V formal spec public review

github.com/riscv

7 years ago

116 points

28.

“Full-Fledged Hledger” Tutorial

github.com/adept

7 years ago

6 points

29.

Show HN: Dockistrano, our solution for web application development with Docker

github.com/moneybird

13 years ago

4 points

30.

Nim lang compiler was originally written in Pascal

github.com/nim-lang

7 years ago

3 points