Search: github.com/ingve | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Plotinus: A searchable command palette in every modern GTK+ application (github.com/p-e-w)

143 points

5 years ago

92.

Restack: Full-Stack ReasonML (github.com/dysinger)

141 points

6 years ago

93.

Awesome Developer Streams: curated list of awesome developers that stream (github.com/bnb)

138 points

8 years ago

94.

Tavish’s excessively long programmer biography (github.com/tarmstrong)

137 points

10 years ago

95.

Towards an HD44780-Based Video Mode (github.com/MisterHW)

134 points

5 years ago

96.

Jqjq: Jq Implementation of Jq (github.com/wader)

134 points

2 years ago

97.

SkiftOS: Simple, handmade operating system for the x86 platform (github.com/skiftOS)

133 points

5 years ago

98.

Caradoc – a PDF parser and validator written in OCaml (github.com/ANSSI-FR)

133 points

10 years ago

99.

Age: Modern file encryption format with multiple pluggable recipients (github.com/C2SP)

132 points

3 years ago

100.

Cpm65: CP/M for the 6502 (github.com/davidgiven)

131 points

4 years ago

101.

PowerNex: a kernel written in the D Programming Language (github.com/Vild)

130 points

10 years ago

102.

Java Grinder: Compile Java bytecode to microcontroller assembly (github.com/mikeakohn)

130 points

8 years ago

103.

Notes on notation and thought (github.com/hypotext)

130 points

10 years ago

104.

Checked C: extension to C that adds static and dynamic checking (github.com/Microsoft)

129 points

8 years ago

105.

Ink: React for interactive command-line apps (github.com/vadimdemedes)

129 points

9 years ago

106.

STOKE – a stochastic optimizer for x86_64 assembly (github.com/StanfordPL)

129 points

10 years ago

107.

TheBoard: Collaborative Whiteboard powered by matrix protocol and infrastucture (github.com/toger5)

128 points

5 years ago

108.

Sparta: High-Performance Static Code Analyzers Based on Abstract Interpretation (github.com/facebookincubator)

127 points

7 years ago

109.

Desk: A lightweight workspace manager for the shell (github.com/jamesob)

124 points

11 years ago

110.

Ron: Rusty Object Notation (github.com/ron-rs)

123 points

3 years ago

111.

Decompilation of Deus Ex: Human Revolution (github.com/rrika)

122 points

4 years ago

112.

Up: tool for writing Linux pipes in a terminal-based UI interactively (github.com/akavel)

122 points

8 years ago

113.

Generate invoices from the command line (github.com/maaslalani)

120 points

3 years ago

114.

Ggwave: Tiny Data-over-Sound Library (github.com/ggerganov)

120 points

5 years ago

115.

ASCIIToSVG: Convert ASCII Diagrams to Beautiful SVGs (github.com/dhobsd)

118 points

8 years ago

116.

Fully static, unprivileged, self-contained, containers as executable binaries (github.com/genuinetools)

117 points

7 years ago

117.

G.E.R.T: Golang Embedded Run-Time (github.com/ycoroneos)

117 points

9 years ago

118.

LiteDB – A .NET NoSQL Document Store in a Single Data File (github.com/mbdavid)

116 points

8 years ago

119.

RoboScan: Lego+Raspberry Pi-powered analog film roll scanner (github.com/bezineb5)

115 points

5 years ago

120.

Xv6 for RISC-V (github.com/mit-pdos)

114 points

7 years ago