Search: github.com/Form5 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Bup: Efficient file backup system based on the git packfile format (github.com/bup)

186 points

12 years ago

512.

Show HN: CSS3 Animated Glowing Forms (kaylarose.github.com)

182 points

15 years ago

513.

Walkthrough of UHC’s claim reimbursement form game (github.com/MyUHCAdventure)

172 points

4 years ago

514.

RubyUI (Former PhlexUI): Ruby Gem for RubyUI Components (github.com/ruby-ui)

168 points

a year ago

515.

Pdf2htmlEX – Convert PDF to HTML without losing text or format (github.com/coolwanglu)

161 points

13 years ago

516.

Karmem: A fast binary serialization format faster than Google Flatbuffers (github.com/inkeliz)

157 points

4 years ago

517.

SICP in ePub format on Github (github.com/ieure)

157 points

15 years ago

518.

RusTLS Formal Audit [pdf] (github.com/ctz)

156 points

6 years ago

519.

Lenia – Mathematical Life Forms (github.com/Chakazul)

154 points

6 years ago

520.

Show HN: A nom parser for the Starcraft 2 Protocol Replay format (github.com/sebosp)

153 points

3 years ago

521.

Lite^3, a JSON-compatible zero-copy serialization format (github.com/fastserial)

152 points

6 months ago

522.

Pik – a new lossy image format for the internet (github.com/google)

148 points

9 years ago

523.

IconVG is a compact, binary format for simple vector graphics (github.com/google)

144 points

5 years ago

524.

YAPF – A formatter for Python files (github.com/google)

142 points

11 years ago

525.

Consent-O-Matic: Automatic handling of GDPR consent forms (github.com/cavi-au)

141 points

4 years ago

526.

Garment Notation Language: Formal descriptive language for clothing construction (github.com/khalildh)

136 points

4 months ago

527.

Dockerfmt: A Dockerfile Formatter (github.com/reteps)

135 points

a year ago

528.

F# RISC-V Instruction Set formal specification (github.com/mrLSD)

134 points

3 years ago

529.

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

132 points

3 years ago

530.

EsPiFF: An ESP32 in the Raspberry Pi form factor (github.com/MDCservice)

131 points

3 years ago

531.

Canonical LXD forked by former project leader stgraber (github.com/stgraber)

130 points

3 years ago

532.

Show HN: A Chrome extension to give you back control over short-form videos (chromewebstore.google.com)

128 points

a year ago

533.

Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com/ImperialCollegeLondon)

127 points

10 months ago

534.

Age – a simple, modern and secure file encryption tool, format, and Go library (github.com/FiloSottile)

126 points

4 years ago

535.

Shittier: Code formatting tool that makes your code look terrible (github.com/rohitdhas)

125 points

2 years ago

536.

Show HN: MTXT – Music Text Format (github.com/Daninet)

124 points

6 months ago

537.

F# RISC-V Instruction Set Formal Specification (github.com/mrLSD)

122 points

7 years ago

538.

Vortex: An extensible, state of the art columnar file format (github.com/vortex-data)

115 points

7 months ago

539.

Show HN: Qq: like jq, but can transcode between many formats (github.com/JFryy)

115 points

2 years ago

540.

Shfmt – format shell programs (github.com/mvdan)

115 points

3 years ago