Search: github.com/Form5 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Show HN: I just made my profitable online form builder open-sourced (github.com/heyform)

389 points

2 years ago

482.

Rich: A Python library for rich text and formatting in the terminal (github.com/Textualize)

389 points

4 years ago

483.

Harmony: OpenAI's response format for its open-weight model series (github.com/openai)

374 points

10 months ago

484.

ChatML: ChatGPT API expects a structured format, called Chat Markup Language (github.com/openai)

336 points

3 years ago

485.

File Format Posters (github.com/corkami)

320 points

9 years ago

486.

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

315 points

4 years ago

487.

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

289 points

2 years ago

488.

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

285 points

3 years ago

489.

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

279 points

2 years ago

490.

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

266 points

6 years ago

491.

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

259 points

2 years ago

492.

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

252 points

7 years ago

493.

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

249 points

2 years ago

494.

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

241 points

5 years ago

495.

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

240 points

3 years ago

496.

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

235 points

5 years ago

497.

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

227 points

a year ago

498.

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

227 points

5 years ago

499.

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

214 points

a year ago

500.

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

212 points

guillaumepotier

14 years ago

501.

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

207 points

4 years ago

502.

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

204 points

4 years ago

503.

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

200 points

a year ago

504.

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

200 points

4 years ago

505.

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

200 points

9 years ago

506.

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

199 points

5 years ago

507.

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

196 points

7 years ago

508.

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

190 points

a year ago

509.

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

188 points

a year ago

510.

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

187 points

3 years ago