Search: github.com/ipdr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

IPDR: InterPlanetary Docker Registry (github.com/miguelmota)

19 points

5 years ago

2.

IPDR: IPFS-Backed Docker Registry (github.com/miguelmota)

4 points

5 years ago

3.

IPDR: InterPlanetary Docker Registry (github.com/ipdr)

2 points

4 years ago

4.

Show HN: I made an Animal Crossing style letter editor (acmail.idreesinc.com)

203 points

9 months ago

5.

Are there any open source ML libraries that have good (or any) test coverage?

2 points

5 years ago

6.

Show HN: FOSS Email-to-Webhook Bridge (Turn Monitoring Alerts into API Calls) (app.v3m.pw)

2 points

5 months ago

7.

Show HN: I made a Bluesky algorithm that Rick Rolls you with trending content (bsky.app)

2 points

7 months ago

8.

Show HN: Dprms – A Digital Patient Record System for Underserved Clinics (github.com/IndrojitBanik)

1 point

a year ago

9.

Show HN: VSCode extension to create journals, notes and sync to remote repo (github.com/indrajithi)

1 point

2 years ago

10.

DeepFaceLab: A tool that utilizes ML to replace faces in videos (github.com/iperov)

347 points

7 years ago

11.

Monocraft: A programming font based on the typeface used in Minecraft (github.com/IdreesInc)

282 points

4 years ago

12.

Stop developing this technology (github.com/iperov)

263 points

3 years ago

13.

Show HN: Miracode, a Minecraft programming font that is readable (github.com/IdreesInc)

209 points

2 years ago

14.

DeepFaceLive: Live Deep Fake (github.com/iperov)

166 points

5 years ago

15.

New JavaScript code generator in Idris 2 (github.com/idris-lang)

164 points

6 years ago

16.

Idris 2 0.6.0 is now available for the JVM (github.com/mmhelloworld)

162 points

3 years ago

17.

Illumos to drop SPARC Support (github.com/illumos)

146 points

5 years ago

18.

Show HN: Erlang code generator for Idris 2 (github.com/chrrasmussen)

98 points

6 years ago

19.

2048 in Idris (github.com/KesterTong)

84 points

12 years ago

20.

Copatterns in Idris (github.com/idris-lang)

56 points

12 years ago

21.

Show HN: Music Genre Classification App in Django (github.com/indrajithi)

54 points

9 years ago

22.

Java Code Generator for Idris (github.com/idris-hackers)

34 points

11 years ago

23.

Show HN: I wrote a gopher client and decided to put it on GitHub. (github.com/indrora)

25 points

15 years ago

24.

Uniqueness types in Idris (github.com/idris-lang)

19 points

12 years ago

25.

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

17 points

7 years ago

26.

Show HN: Fort.js – A modern progress bar for form completion (github.com/idriskhenchil)

15 points

3 years ago

27.

Compile Idris to Vimscript, like you always wanted (github.com/owickstrom)

14 points

9 years ago

28.

A portable idris2 implementation of TLS 1.2 and TLS 1.3 protocol (github.com/octeep)

10 points

4 years ago

29.

2048 in Idris (github.com/KesterTong)

5 points

12 years ago

30.

Show HN: I created a tiny web crawler for Python (github.com/indrajithi)

5 points

2 years ago