Search: github.com/forem | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

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

github.com/Textualize

4 years ago

389 points

512.

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

github.com/openai

a year ago

374 points

513.

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

github.com/openai

3 years ago

336 points

514.

File Format Posters

github.com/corkami

9 years ago

320 points

515.

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

github.com/sarsko

4 years ago

315 points

516.

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

github.com/FiloSottile

2 years ago

289 points

517.

Rosenpass – formally verified post-quantum WireGuard

github.com/rosenpass

3 years ago

285 points

518.

Wuffs: Wrangling Untrusted File Formats Safely

github.com/google

2 years ago

279 points

519.

ZZ is a modern formally provable dialect of C

6 years ago

266 points

520.

Free-form floor plan design using differentiable Voronoi diagram

github.com/nobuyuki83

2 years ago

259 points

521.

Homebrew removes MongoDB from core formulas

github.com/Homebrew

7 years ago

252 points

522.

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

github.com/spiraldb

2 years ago

249 points

523.

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

github.com/standardsemiconductor

5 years ago

241 points

524.

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

github.com/onekey-sec

3 years ago

240 points

525.

PSD is not my favourite file format (2009)

github.com/zepouet

5 years ago

235 points

526.

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

github.com/EbodShojaei

a year ago

227 points

527.

CompCert – Formally-verified C compiler

github.com/AbsInt

5 years ago

227 points

528.

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

github.com/rorosen

a year ago

214 points

529.

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

guillaumepotier.github.com

14 years ago

guillaumepotier

212 points

530.

A plain-text file format for todos and check lists

github.com/jotaen

4 years ago

207 points

531.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

532.

Ruff: Python linter and code formatter written in Rust

github.com/astral-sh

a year ago

200 points

533.

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

github.com/phoboslab

5 years ago

200 points

534.

Puffs: Parsing Untrusted File Formats Safely

github.com/google

9 years ago

200 points

535.

A cheat-sheet for mathematical notation in code form

github.com/Jam3

5 years ago

199 points

536.

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

github.com/synox

7 years ago

196 points

537.

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

github.com/lfnoise

a year ago

190 points

538.

Show HN: Formalizing Principia Mathematica using Lean

github.com/ndrwnaguib

a year ago

188 points

539.

DAWproject: Open exchange format for DAWs

github.com/bitwig

3 years ago

187 points

540.

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

12 years ago

186 points