Search: github.com/forem | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

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

161 points

13 years ago

542.

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

157 points

4 years ago

543.

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

157 points

15 years ago

544.

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

156 points

6 years ago

545.

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

154 points

6 years ago

546.

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

153 points

3 years ago

547.

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

152 points

6 months ago

548.

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

148 points

9 years ago

549.

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

144 points

5 years ago

550.

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

142 points

11 years ago

551.

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

141 points

4 years ago

552.

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

136 points

4 months ago

553.

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

135 points

a year ago

554.

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

134 points

3 years ago

555.

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

132 points

3 years ago

556.

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

131 points

3 years ago

557.

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

130 points

3 years ago

558.

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

128 points

a year ago

559.

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

127 points

10 months ago

560.

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

126 points

4 years ago

561.

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

125 points

2 years ago

562.

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

124 points

6 months ago

563.

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

122 points

7 years ago

564.

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

115 points

7 months ago

565.

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

115 points

2 years ago

566.

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

115 points

3 years ago

567.

Clojure-flavored WASM text format (github.com/roman01la)

112 points

7 years ago

568.

Litex: The First Formal Language Learnable in 1-2 Hours (github.com/litexlang)

111 points

8 months ago

569.

A formalization of category theory in Coq (github.com/jwiegley)

109 points

9 years ago

570.

Libbbf: Bound Book Format, A high-performance container for comics and manga (github.com/ef1500)

106 points

5 months ago