Search: github.com/Form5 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Show HN: Formalizing Principia Mathematica using Lean

github.com/ndrwnaguib

a year ago

188 points

512.

DAWproject: Open exchange format for DAWs

github.com/bitwig

3 years ago

187 points

513.

Bup: Efficient file backup system based on the git packfile format

12 years ago

186 points

514.

Show HN: CSS3 Animated Glowing Forms

kaylarose.github.com

15 years ago

182 points

515.

Walkthrough of UHC’s claim reimbursement form game

github.com/MyUHCAdventure

4 years ago

172 points

516.

RubyUI (Former PhlexUI): Ruby Gem for RubyUI Components

github.com/ruby-ui

a year ago

168 points

517.

Pdf2htmlEX – Convert PDF to HTML without losing text or format

github.com/coolwanglu

13 years ago

161 points

518.

Karmem: A fast binary serialization format faster than Google Flatbuffers

github.com/inkeliz

4 years ago

157 points

519.

SICP in ePub format on Github

github.com/ieure

15 years ago

157 points

520.

RusTLS Formal Audit [pdf]

6 years ago

156 points

521.

Lenia – Mathematical Life Forms

github.com/Chakazul

6 years ago

154 points

522.

Show HN: A nom parser for the Starcraft 2 Protocol Replay format

github.com/sebosp

3 years ago

153 points

523.

Lite^3, a JSON-compatible zero-copy serialization format

github.com/fastserial

6 months ago

152 points

524.

Pik – a new lossy image format for the internet

github.com/google

9 years ago

148 points

525.

IconVG is a compact, binary format for simple vector graphics

github.com/google

5 years ago

144 points

526.

YAPF – A formatter for Python files

github.com/google

11 years ago

142 points

527.

Consent-O-Matic: Automatic handling of GDPR consent forms

github.com/cavi-au

4 years ago

141 points

528.

Garment Notation Language: Formal descriptive language for clothing construction

github.com/khalildh

4 months ago

136 points

529.

Dockerfmt: A Dockerfile Formatter

github.com/reteps

a year ago

135 points

530.

F# RISC-V Instruction Set formal specification

github.com/mrLSD

3 years ago

134 points

531.

Age: Modern file encryption format with multiple pluggable recipients

github.com/C2SP

3 years ago

132 points

532.

EsPiFF: An ESP32 in the Raspberry Pi form factor

github.com/MDCservice

4 years ago

131 points

533.

Canonical LXD forked by former project leader stgraber

github.com/stgraber

3 years ago

130 points

534.

Show HN: A Chrome extension to give you back control over short-form videos

chromewebstore.google.com

a year ago

128 points

535.

Ongoing Lean formalization of the proof for Fermat's Last Theorem

github.com/ImperialCollegeLondon

a year ago

127 points

536.

Age – a simple, modern and secure file encryption tool, format, and Go library

github.com/FiloSottile

4 years ago

126 points

537.

Shittier: Code formatting tool that makes your code look terrible

github.com/rohitdhas

2 years ago

125 points

538.

Show HN: MTXT – Music Text Format

github.com/Daninet

7 months ago

124 points

539.

F# RISC-V Instruction Set Formal Specification

github.com/mrLSD

7 years ago

122 points

540.

Vortex: An extensible, state of the art columnar file format

github.com/vortex-data

7 months ago

115 points