Search: github.com/ipdr | Heykuki News

HK

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

8 years ago

1 points

92.

ipdb: Access the iPython debugger from a CPython runtime

github.com/gotcha

8 years ago

1 points

93.

Compile Idris to Vimscript, like you always wanted

github.com/owickstrom

9 years ago

1 points

94.

Show HN: Chromium Sync test server

github.com/ipernet

9 years ago

1 points

95.

Show HN: Oh My IG – Provide What You Expected from Instagram

github.com/inDream

10 years ago

1 points

96.

Hack indicator Synapse (Spotlight for ubuntu)

github.com/indrabinridwan

11 years ago

1 points

97.

Show HN: Ipfrs – A "Thinking" IPFS in Rust with Built-In Vector Search

github.com/cool-japan

5 months ago

5 points

98.

Show HN: Cluster-iperf, a configurable docker image for iperf testing

github.com/Markbnj

10 years ago

6 points

99.

Single Page Web Applications in Idris

github.com/stefan-hoeck

3 years ago

4 points

100.

Functional Programming in Idris 2

github.com/stefan-hoeck

2 years ago

3 points

101.

Functional Programming in Idris 2

github.com/stefan-hoeck

4 years ago

3 points

102.

Haskell gloss ported to Idris

github.com/thalerjonathan

8 years ago

2 points

103.

Tensorflow in Idris

github.com/doofin

8 years ago

1 points

104.

Methods for IP Address Encryption and Obfuscation

github.com/jedisct1

a year ago

1 points

105.

Reverse engineering Dell iDRAC to get rid of GPU throttling

github.com/l4rz

3 years ago

249 points

106.

Groper: simple Python command line and config file options

ipartola.github.com

14 years ago

1 points

107.

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

a year ago

2 points

108.

Quicksort in Idris

github.com/bmsherman

8 years ago

90 points

109.

Forall.js: Idris-like static types and invariant checks for JavaScript

github.com/maiavictor

9 years ago

63 points

110.

A modern iperf3 alternative with a live TUI, multi-client server, QUIC support

github.com/lance0

5 months ago

4 points

111.

Git Repository of Gentle Introduction to Dependent Types with Idris

github.com/bor0

8 years ago

4 points

112.

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

13 years ago

3 points

113.

xfr: A modern iperf3 alternative with a TUI, multi-client server, and QUIC

github.com/lance0

3 months ago

3 points

114.

Ipdos – Piggyback Distributed Operating System

github.com/ideafarm

5 years ago

2 points

115.

Blodwen: A prototype successor to Idris

github.com/edwinb

8 years ago

2 points

116.

Type Save Division in Idris Using Dependent Types

gist.github.com

12 years ago

2 points

117.

Responsible – HTTP RESTful API server written in the Idris2 typesafe language

github.com/brainrake

3 years ago

2 points

118.

ImDrawList coding party in 1024 bytes of source code

github.com/ocornut

6 years ago

2 points

119.

ImDrawList coding party – create small visual fx

github.com/ocornut

6 years ago

2 points

120.

Blodwen – a dependently typed core language implemented in Idris

github.com/edwinb

9 years ago

2 points