Search: github.com/forem | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

File Format Posters (github.com/corkami)

320 points

9 years ago

512.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)

315 points

4 years ago

513.

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

289 points

2 years ago

514.

Rosenpass – formally verified post-quantum WireGuard (github.com/rosenpass)

285 points

3 years ago

515.

Wuffs: Wrangling Untrusted File Formats Safely (github.com/google)

279 points

2 years ago

516.

ZZ is a modern formally provable dialect of C (github.com/aep)

266 points

6 years ago

517.

Free-form floor plan design using differentiable Voronoi diagram (github.com/nobuyuki83)

259 points

2 years ago

518.

Homebrew removes MongoDB from core formulas (github.com/Homebrew)

252 points

7 years ago

519.

Show HN: Vortex – a high-performance columnar file format (github.com/spiraldb)

249 points

2 years ago

520.

Lion: A formally verified, 5-stage pipeline RISC-V core (github.com/standardsemiconductor)

241 points

5 years ago

521.

Show HN: Unblob – extraction suite for 30+ file formats (github.com/onekey-sec)

240 points

3 years ago

522.

PSD is not my favourite file format (2009) (github.com/zepouet)

235 points

5 years ago

523.

Mbake – A Makefile formatter and linter, that only took 50 years (github.com/EbodShojaei)

227 points

a year ago

524.

CompCert – Formally-verified C compiler (github.com/AbsInt)

227 points

5 years ago

525.

Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format (github.com/rorosen)

214 points

a year ago

526.

Show HN: garlic.js - don't let your users lose their form data (guillaumepotier.github.com)

212 points

guillaumepotier

14 years ago

527.

A plain-text file format for todos and check lists (github.com/jotaen)

207 points

4 years ago

528.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

529.

Ruff: Python linter and code formatter written in Rust (github.com/astral-sh)

200 points

a year ago

530.

QOI – The “Quite OK Image Format” for fast, lossless image compression (github.com/phoboslab)

200 points

4 years ago

531.

Puffs: Parsing Untrusted File Formats Safely (github.com/google)

200 points

9 years ago

532.

A cheat-sheet for mathematical notation in code form (github.com/Jam3)

199 points

5 years ago

533.

Show HN: Interactively select the quality and format for youtube-dl (github.com/synox)

196 points

7 years ago

534.

Sound As Pure Form: Music Language Inspired by Supercollider, APL, and Forth (github.com/lfnoise)

190 points

a year ago

535.

Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)

188 points

a year ago

536.

DAWproject: Open exchange format for DAWs (github.com/bitwig)

187 points

3 years ago

537.

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

186 points

12 years ago

538.

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

182 points

15 years ago

539.

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

172 points

4 years ago

540.

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

168 points

a year ago