Search: github.com/ingve | Heykuki News

HK

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

5 years ago

143 points

92.

Restack: Full-Stack ReasonML

github.com/dysinger

6 years ago

141 points

93.

Awesome Developer Streams: curated list of awesome developers that stream

8 years ago

138 points

94.

Tavish’s excessively long programmer biography

github.com/tarmstrong

10 years ago

137 points

95.

Towards an HD44780-Based Video Mode

github.com/MisterHW

5 years ago

134 points

96.

Jqjq: Jq Implementation of Jq

github.com/wader

2 years ago

134 points

97.

SkiftOS: Simple, handmade operating system for the x86 platform

github.com/skiftOS

5 years ago

133 points

98.

Caradoc – a PDF parser and validator written in OCaml

github.com/ANSSI-FR

10 years ago

133 points

99.

Age: Modern file encryption format with multiple pluggable recipients

github.com/C2SP

3 years ago

132 points

100.

Cpm65: CP/M for the 6502

github.com/davidgiven

4 years ago

131 points

101.

PowerNex: a kernel written in the D Programming Language

github.com/Vild

10 years ago

130 points

102.

Java Grinder: Compile Java bytecode to microcontroller assembly

github.com/mikeakohn

8 years ago

130 points

103.

Notes on notation and thought

github.com/hypotext

10 years ago

130 points

104.

Checked C: extension to C that adds static and dynamic checking

github.com/Microsoft

8 years ago

129 points

105.

Ink: React for interactive command-line apps

github.com/vadimdemedes

9 years ago

129 points

106.

STOKE – a stochastic optimizer for x86_64 assembly

github.com/StanfordPL

10 years ago

129 points

107.

TheBoard: Collaborative Whiteboard powered by matrix protocol and infrastucture

github.com/toger5

5 years ago

128 points

108.

Sparta: High-Performance Static Code Analyzers Based on Abstract Interpretation

github.com/facebookincubator

7 years ago

127 points

109.

Desk: A lightweight workspace manager for the shell

github.com/jamesob

11 years ago

124 points

110.

Ron: Rusty Object Notation

github.com/ron-rs

3 years ago

123 points

111.

Decompilation of Deus Ex: Human Revolution

github.com/rrika

4 years ago

122 points

112.

Up: tool for writing Linux pipes in a terminal-based UI interactively

github.com/akavel

8 years ago

122 points

113.

Generate invoices from the command line

github.com/maaslalani

3 years ago

120 points

114.

Ggwave: Tiny Data-over-Sound Library

github.com/ggerganov

5 years ago

120 points

115.

ASCIIToSVG: Convert ASCII Diagrams to Beautiful SVGs

github.com/dhobsd

8 years ago

118 points

116.

Fully static, unprivileged, self-contained, containers as executable binaries

github.com/genuinetools

7 years ago

117 points

117.

G.E.R.T: Golang Embedded Run-Time

github.com/ycoroneos

9 years ago

117 points

118.

LiteDB – A .NET NoSQL Document Store in a Single Data File

github.com/mbdavid

9 years ago

116 points

119.

RoboScan: Lego+Raspberry Pi-powered analog film roll scanner

github.com/bezineb5

6 years ago

115 points

120.

github.com/mit-pdos

7 years ago

114 points