Search: github.com/ipdr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

IPDR: InterPlanetary Docker Registry

github.com/miguelmota

5 years ago

19 points

2.

IPDR: IPFS-Backed Docker Registry

github.com/miguelmota

5 years ago

4 points

3.

IPDR: InterPlanetary Docker Registry

github.com/ipdr

4 years ago

2 points

4.

Show HN: I made an Animal Crossing style letter editor

acmail.idreesinc.com

10 months ago

203 points

5.

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

5 years ago

2 points

6.

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

5 months ago

2 points

7.

Show HN: I made a Bluesky algorithm that Rick Rolls you with trending content

8 months ago

2 points

8.

Show HN: Dprms – A Digital Patient Record System for Underserved Clinics

github.com/IndrojitBanik

a year ago

1 points

9.

Show HN: VSCode extension to create journals, notes and sync to remote repo

github.com/indrajithi

2 years ago

1 points

10.

DeepFaceLab: A tool that utilizes ML to replace faces in videos

github.com/iperov

7 years ago

347 points

11.

Monocraft: A programming font based on the typeface used in Minecraft

github.com/IdreesInc

4 years ago

282 points

12.

Stop developing this technology

github.com/iperov

3 years ago

263 points

13.

Show HN: Miracode, a Minecraft programming font that is readable

github.com/IdreesInc

2 years ago

209 points

14.

DeepFaceLive: Live Deep Fake

github.com/iperov

5 years ago

166 points

15.

New JavaScript code generator in Idris 2

github.com/idris-lang

6 years ago

164 points

16.

Idris 2 0.6.0 is now available for the JVM

github.com/mmhelloworld

3 years ago

162 points

17.

Illumos to drop SPARC Support

github.com/illumos

5 years ago

146 points

18.

Show HN: Erlang code generator for Idris 2

github.com/chrrasmussen

6 years ago

98 points

19.

github.com/KesterTong

12 years ago

84 points

20.

Copatterns in Idris

github.com/idris-lang

12 years ago

56 points

21.

Show HN: Music Genre Classification App in Django

github.com/indrajithi

9 years ago

54 points

22.

Java Code Generator for Idris

github.com/idris-hackers

11 years ago

34 points

23.

Show HN: I wrote a gopher client and decided to put it on GitHub.

github.com/indrora

16 years ago

25 points

24.

Uniqueness types in Idris

github.com/idris-lang

12 years ago

19 points

25.

Idris 2 programming language announced

github.com/edwinb

7 years ago

17 points

26.

Show HN: Fort.js – A modern progress bar for form completion

github.com/idriskhenchil

4 years ago

15 points

27.

Compile Idris to Vimscript, like you always wanted

github.com/owickstrom

9 years ago

14 points

28.

A portable idris2 implementation of TLS 1.2 and TLS 1.3 protocol

github.com/octeep

4 years ago

10 points

29.

github.com/KesterTong

12 years ago

5 points

30.

Show HN: I created a tiny web crawler for Python

github.com/indrajithi

2 years ago

5 points