Search: github.com/edwinb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Idris 2 programming language announced (github.com/edwinb)

17 points

7 years ago

2.

Idris to PHP compiler (github.com/edwinb)

3 points

11 years ago

3.

Idris to PHP – Yes, really (github.com/edwinb)

3 points

8 years ago

4.

Blodwen: A prototype successor to Idris (github.com/edwinb)

2 points

7 years ago

5.

A New Back End for Idris: PHP. “Yes, Really” (github.com/edwinb)

2 points

11 years ago

6.

Tinder Client for iOS [Hack] (github.com/edwinbosire)

2 points

12 years ago

7.

Type Save Division in Idris Using Dependent Types (gist.github.com)

2 points

12 years ago

8.

Idris2 is now self-hosted (github.com/edwinb)

2 points

6 years ago

9.

README.md at master – edwinb/Blodwen (github.com/edwinb)

2 points

8 years ago

10.

Blodwen – a dependently typed core language implemented in Idris (github.com/edwinb)

2 points

9 years ago

11.

Weekend Hack project, Instagram+Tinder (github.com/edwinbosire)

1 point

thatLondonBloke

11 years ago

12.

Open source iOS app News Reader (github.com/edwinbosire)

1 point

thatLondonBloke

11 years ago

13.

Open source slide down menu inspired by medium (github.com/edwinbosire)

1 point

thatLondonBloke

11 years ago

14.

Software for management of community alarms (usaga-software.edwinspire.com)

1 point

13 years ago

15.

Light Painting with Flash (designfission.com)

1 point

15 years ago

16.

Show HN: Chainflow – API call workflows in TypeScript (github.com/edwinlzs)

2 points

2 years ago

17.

Generate identicons for DNA sequences with Python (github.com/Edinburgh-Genome-Foundry)

2 points

8 years ago

18.

Show HN: PyRTLSweeper - Turn circuits into Minesweeper boards (github.com/EdwinChang24)

1 point

7 months ago

19.

Theorem Prover Museum: The Original Edinburgh LCF (github.com/theoremprover-museum)

2 points

2 years ago

20.

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

45 points

2 years ago

21.

Ask HN: Are you still profiling CSS selectors?

5 points

13 years ago

22.

Show HN: OasysDB, Storing vectors for RAG in Rust simplified (github.com/oasysai)

3 points

2 years ago

23.

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

2 points

5 years ago

24.

Show HN: Tool for humans to guide AI agents in production (github.com/phantasmlabs)

1 point

2 years ago

25.

“O, so sorry. I need more time. my country defending Russian invasion” (github.com/insky)

510 points

4 years ago

26.

DissidentX – Censorship resistance tool by Bram Cohen (github.com/bramcohen)

222 points

13 years ago

27.

RISC-V formal spec public review (github.com/riscv)

116 points

7 years ago

28.

“Full-Fledged Hledger” Tutorial (github.com/adept)

6 points

7 years ago

29.

Show HN: Dockistrano, our solution for web application development with Docker (github.com/moneybird)

4 points

13 years ago

30.

Nim lang compiler was originally written in Pascal (github.com/nim-lang)

3 points

7 years ago