Search: github.com/Form5 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Black – Uncompromising Python code formatter

github.com/python

7 years ago

collinmanderson

407 points

482.

Former Google CEO Eric Schmidt's Leaked Stanford Talk

github.com/ociubotaru

2 years ago

392 points

483.

Show HN: I just made my profitable online form builder open-sourced

github.com/heyform

2 years ago

389 points

484.

Rich: A Python library for rich text and formatting in the terminal

github.com/Textualize

4 years ago

389 points

485.

Harmony: OpenAI's response format for its open-weight model series

github.com/openai

a year ago

374 points

486.

ChatML: ChatGPT API expects a structured format, called Chat Markup Language

github.com/openai

3 years ago

336 points

487.

File Format Posters

github.com/corkami

9 years ago

320 points

488.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot

github.com/sarsko

4 years ago

315 points

489.

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

github.com/FiloSottile

2 years ago

289 points

490.

Rosenpass – formally verified post-quantum WireGuard

github.com/rosenpass

3 years ago

285 points

491.

Wuffs: Wrangling Untrusted File Formats Safely

github.com/google

2 years ago

279 points

492.

ZZ is a modern formally provable dialect of C

6 years ago

266 points

493.

Free-form floor plan design using differentiable Voronoi diagram

github.com/nobuyuki83

2 years ago

259 points

494.

Homebrew removes MongoDB from core formulas

github.com/Homebrew

7 years ago

252 points

495.

Show HN: Vortex – a high-performance columnar file format

github.com/spiraldb

2 years ago

249 points

496.

Lion: A formally verified, 5-stage pipeline RISC-V core

github.com/standardsemiconductor

5 years ago

241 points

497.

Show HN: Unblob – extraction suite for 30+ file formats

github.com/onekey-sec

3 years ago

240 points

498.

PSD is not my favourite file format (2009)

github.com/zepouet

5 years ago

235 points

499.

Mbake – A Makefile formatter and linter, that only took 50 years

github.com/EbodShojaei

a year ago

227 points

500.

CompCert – Formally-verified C compiler

github.com/AbsInt

5 years ago

227 points

501.

Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format

github.com/rorosen

a year ago

214 points

502.

Show HN: garlic.js - don't let your users lose their form data

guillaumepotier.github.com

14 years ago

guillaumepotier

212 points

503.

A plain-text file format for todos and check lists

github.com/jotaen

4 years ago

207 points

504.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

505.

Ruff: Python linter and code formatter written in Rust

github.com/astral-sh

a year ago

200 points

506.

QOI – The “Quite OK Image Format” for fast, lossless image compression

github.com/phoboslab

5 years ago

200 points

507.

Puffs: Parsing Untrusted File Formats Safely

github.com/google

9 years ago

200 points

508.

A cheat-sheet for mathematical notation in code form

github.com/Jam3

5 years ago

199 points

509.

Show HN: Interactively select the quality and format for youtube-dl

github.com/synox

7 years ago

196 points

510.

Sound As Pure Form: Music Language Inspired by Supercollider, APL, and Forth

github.com/lfnoise

a year ago

190 points