Search: github.com/ipdr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Tiny Web Crawler

github.com/indrajithi

8 years ago

2 points

62.

A tiny toy compiler proven correct in Idris

github.com/mbrodersen

8 years ago

2 points

63.

A New Back End for Idris: PHP. “Yes, Really”

github.com/edwinb

11 years ago

2 points

64.

Mount GitHub repositories as a virtual read-only macOS filesystem

github.com/indragiek

2 months ago

2 points

65.

Show HN: Zero – offline, privacy-first expense tracker

github.com/indranilbhuin

4 months ago

2 points

66.

Monocraft: A Monospaced Programming Font

github.com/IdreesInc

2 years ago

2 points

67.

Establishing connections in parallel to speed up HTTP

github.com/ipartola

14 years ago

2 points

68.

Data Frames for Idris 2

github.com/ziman

2 years ago

2 points

69.

DeepFaceLive: Real-time face swap for PC streaming or video calls

github.com/iperov

3 years ago

2 points

70.

Show HN: Python library for parsing config files and command line arguments

github.com/ipartola

15 years ago

2 points

71.

github.com/IdreesInc

4 years ago

2 points

72.

Show HN: FoxTerm, a Unity-Friendly terminal emulator

github.com/indrora

15 years ago

2 points

73.

github.com/iperov

5 years ago

2 points

74.

Idris Developers Meeting, April 2021

github.com/idris-lang

5 years ago

2 points

75.

Idris2 is now self-hosted

github.com/edwinb

6 years ago

2 points

76.

Compile Idris to Vimscript, like you always wanted

github.com/owickstrom

9 years ago

2 points

77.

Create JWT Token Header Using Unix Command Line Tools ONLY

gist.github.com

10 years ago

2 points

78.

Diagrammer: Tell the model, get the diagram or the graphical map

github.com/IdraDev

2 months ago

1 points

79.

Context: Native macOS Client for MCP

github.com/indragiek

a year ago

1 points

80.

Intranet: Lightning powered VPN for anonymising Bitcoin and Lightning traffic

github.com/indra-labs

3 years ago

1 points

81.

Git based DynDNS Alternative

github.com/jmercouris

8 years ago

1 points

82.

Ipgrep – ipv4 grep-like tool written in Go

github.com/tinti

11 years ago

1 points

83.

Ipgrep – ipv4 grep-like tool

github.com/tinti

11 years ago

1 points

84.

IPDFCameraViewController

github.com/mmackh

11 years ago

1 points

85.

All integer Mersenne prime checker in Go

12 years ago

1 points

86.

CLI wrapper for basic network utilites on macOS inspired with iproute2 on Linux

github.com/brona

2 years ago

1 points

87.

Probabilistic music composition in Idris2 to model jazz improvisation

github.com/idris-bayes

3 years ago

1 points

88.

Show HN: Cyvincenty – Cython implementation of Vincenty algorithm

github.com/ipdata

4 years ago

jonathan-kosgei

1 points

89.

Idris2 is now implemented in Idris2

github.com/idris-lang

6 years ago

1 points

90.

Introduction to RSpec presentation

kerryb.github.com

15 years ago

1 points