Search: github.com/ipdr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Tiny Web Crawler (github.com/indrajithi)

2 points

8 years ago

62.

A tiny toy compiler proven correct in Idris (github.com/mbrodersen)

2 points

8 years ago

63.

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

2 points

11 years ago

64.

Mount GitHub repositories as a virtual read-only macOS filesystem (github.com/indragiek)

2 points

2 months ago

65.

Show HN: Zero – offline, privacy-first expense tracker (github.com/indranilbhuin)

2 points

3 months ago

66.

Monocraft: A Monospaced Programming Font (github.com/IdreesInc)

2 points

2 years ago

67.

Establishing connections in parallel to speed up HTTP (github.com/ipartola)

2 points

14 years ago

68.

Data Frames for Idris 2 (github.com/ziman)

2 points

2 years ago

69.

DeepFaceLive: Real-time face swap for PC streaming or video calls (github.com/iperov)

2 points

3 years ago

70.

Show HN: Python library for parsing config files and command line arguments (github.com/ipartola)

2 points

14 years ago

71.

Minecraft Mono (github.com/IdreesInc)

2 points

4 years ago

72.

Show HN: FoxTerm, a Unity-Friendly terminal emulator (github.com/indrora)

2 points

15 years ago

73.

DeepFaceLive (github.com/iperov)

2 points

5 years ago

74.

Idris Developers Meeting, April 2021 (github.com/idris-lang)

2 points

5 years ago

75.

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

2 points

6 years ago

76.

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

2 points

9 years ago

77.

Create JWT Token Header Using Unix Command Line Tools ONLY (gist.github.com)

2 points

10 years ago

78.

Diagrammer: Tell the model, get the diagram or the graphical map (github.com/IdraDev)

1 point

a month ago

79.

Context: Native macOS Client for MCP (github.com/indragiek)

1 point

a year ago

80.

Intranet: Lightning powered VPN for anonymising Bitcoin and Lightning traffic (github.com/indra-labs)

1 point

3 years ago

81.

Git based DynDNS Alternative (github.com/jmercouris)

1 point

8 years ago

82.

Ipgrep – ipv4 grep-like tool written in Go (github.com/tinti)

1 point

11 years ago

83.

Ipgrep – ipv4 grep-like tool (github.com/tinti)

1 point

11 years ago

84.

IPDFCameraViewController (github.com/mmackh)

1 point

11 years ago

85.

All integer Mersenne prime checker in Go (github.com/ncw)

1 point

12 years ago

86.

CLI wrapper for basic network utilites on macOS inspired with iproute2 on Linux (github.com/brona)

1 point

2 years ago

87.

Probabilistic music composition in Idris2 to model jazz improvisation (github.com/idris-bayes)

1 point

3 years ago

88.

Show HN: Cyvincenty – Cython implementation of Vincenty algorithm (github.com/ipdata)

1 point

jonathan-kosgei

4 years ago

89.

Idris2 is now implemented in Idris2 (github.com/idris-lang)

1 point

6 years ago

90.

Introduction to RSpec presentation (kerryb.github.com)

1 point

15 years ago