Search: github.com/ipdr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

An IP lookup system utilizing open datasets (github.com/s32x)

1 point

7 years ago

92.

ipdb: Access the iPython debugger from a CPython runtime (github.com/gotcha)

1 point

8 years ago

93.

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

1 point

9 years ago

94.

Show HN: Chromium Sync test server (github.com/ipernet)

1 point

9 years ago

95.

Show HN: Oh My IG – Provide What You Expected from Instagram (github.com/inDream)

1 point

10 years ago

96.

Hack indicator Synapse (Spotlight for ubuntu) (github.com/indrabinridwan)

1 point

11 years ago

97.

Show HN: Ipfrs – A "Thinking" IPFS in Rust with Built-In Vector Search (github.com/cool-japan)

5 points

5 months ago

98.

Show HN: Cluster-iperf, a configurable docker image for iperf testing (github.com/Markbnj)

6 points

10 years ago

99.

Single Page Web Applications in Idris (github.com/stefan-hoeck)

4 points

3 years ago

100.

Functional Programming in Idris 2 (github.com/stefan-hoeck)

3 points

2 years ago

101.

Functional Programming in Idris 2 (github.com/stefan-hoeck)

3 points

4 years ago

102.

Haskell gloss ported to Idris (github.com/thalerjonathan)

2 points

8 years ago

103.

Tensorflow in Idris (github.com/doofin)

1 point

8 years ago

104.

Methods for IP Address Encryption and Obfuscation (github.com/jedisct1)

1 point

a year ago

105.

Reverse engineering Dell iDRAC to get rid of GPU throttling (github.com/l4rz)

249 points

3 years ago

106.

Groper: simple Python command line and config file options (ipartola.github.com)

1 point

14 years ago

107.

CellularLab – A Modern Android iPerf3 App with TCP/UDP Testing and AI Analysis

2 points

a year ago

108.

Quicksort in Idris (github.com/bmsherman)

90 points

8 years ago

109.

Forall.js: Idris-like static types and invariant checks for JavaScript (github.com/maiavictor)

63 points

9 years ago

110.

A modern iperf3 alternative with a live TUI, multi-client server, QUIC support (github.com/lance0)

4 points

4 months ago

111.

Git Repository of Gentle Introduction to Dependent Types with Idris (github.com/bor0)

4 points

8 years ago

112.

GitHub Open Sources “Boxen,” A One-Command Tool To Install GitHub.com on Macs (techcrunch.com)

3 points

13 years ago

113.

xfr: A modern iperf3 alternative with a TUI, multi-client server, and QUIC (github.com/lance0)

3 points

3 months ago

114.

Ipdos – Piggyback Distributed Operating System (github.com/ideafarm)

2 points

5 years ago

115.

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

2 points

8 years ago

116.

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

2 points

12 years ago

117.

Responsible – HTTP RESTful API server written in the Idris2 typesafe language (github.com/brainrake)

2 points

3 years ago

118.

ImDrawList coding party in 1024 bytes of source code (github.com/ocornut)

2 points

6 years ago

119.

ImDrawList coding party – create small visual fx (github.com/ocornut)

2 points

6 years ago

120.

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

2 points

9 years ago