Search: github.com/Form5 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

631.

Show HN: 6cy – Experimental streaming archive format with per-block codecs (github.com/byte271)

35 points

4 months ago

632.

JSONForms: Customizable JSON Schema-based forms (github.com/eclipsesource)

35 points

4 years ago

633.

L1c: A conceptually simple formally verified compiler (github.com/j-baker)

33 points

11 years ago

634.

Show HN: ProgressLine – Track commands progress in a compact one-line format (github.com/kattouf)

31 points

2 years ago

635.

Independent Guest Virtual Machine (IGVM) File Format (github.com/microsoft)

31 points

3 years ago

636.

WOFF 2 – Next-generation web font format (gist.github.com)

30 points

11 years ago

637.

Show HN: ION, a JSON alternative – Versatile, compact, fast, binary data format (github.com/jjenkov)

29 points

10 years ago

638.

Independent Guest Virtual Machine (IGVM) File Format (github.com/microsoft)

28 points

5 months ago

639.

My weekend project: accounting.js, tiny JS library for money/currency formatting (josscrowcroft.github.com)

28 points

15 years ago

640.

Fleece: A super-fast, compact, JSON-equivalent binary data format (github.com/couchbase)

26 points

3 years ago

641.

Show HN: Browser-based PDF form fields detection (YOLO-based) (commonforms.simplepdf.com)

26 points

8 months ago

642.

Show HN: Paypyrus – Electronic money in physical form with Venmo (github.com/cydrobolt)

25 points

11 years ago

643.

Mason.nvim: package manager for Neovim: LSP&DAP servers, linters, and formatters (github.com/williamboman)

25 points

2 years ago

644.

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

25 points

10 years ago

645.

YAPF – A formatter for Python files (github.com/google)

24 points

11 years ago

646.

A Prolog Formulation of the Constitution of Japan (github.com/bitlaw-jp)

24 points

6 years ago

647.

Cursedfs – Make a disk image formatted with both ext2 and FAT at once (github.com/NieDzejkob)

23 points

6 years ago

648.

Show HN: Simulating autonomous drone formations (github.com/sushrut141)

22 points

a year ago

649.

Show HN: Collaborate on your YC Application with CRDT-powered forms (togetherform.com)

22 points

2 years ago

650.

Carnap – A formal logic framework that runs in the browser (github.com/Carnap)

22 points

4 years ago

651.

Pgfmt – a PostgreSQL specific SQL formatter (github.com/gmr)

21 points

2 months ago

652.

Show HN: Devicons, +1300 logos and icons in React, SVG, and icon format (devicons.io)

19 points

2 months ago

653.

glTF: Runtime asset format for WebGL, OpenGL ES, and OpenGL (github.com/KhronosGroup)

18 points

12 years ago

654.

Show HN: I made a browser extension that fixes Hacker News' block formatting (github.com/corollari)

18 points

7 years ago

655.

Sending form data made easy with – diver.js (github.com/raul1991)

18 points

9 years ago

656.

Show HN: Jsn – A relaxed, user-friendly JSON-like data format (github.com/polymonster)

18 points

7 years ago

657.

Ron : Humane text format and toolchain for creating UNIX man pages (github.com/rtomayko)

18 points

17 years ago

658.

KJS: A Complete Formal Semantics of JavaScript (github.com/kframework)

18 points

6 months ago

659.

FSM-Oracle – A formally verified Finite State Machine oracle (github.com/statebox)

18 points

6 years ago

660.

Internet-Draft: JSON Hypertext Application Language (lean format for linking) (raw.github.com)

17 points

14 years ago