Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
631.
▲
Show HN: 6cy – Experimental streaming archive format with per-block codecs
(github.com/byte271)
35 points
yihac1
4 months ago
8 comments
632.
▲
JSONForms: Customizable JSON Schema-based forms
(github.com/eclipsesource)
35 points
radus
4 years ago
5 comments
633.
▲
L1c: A conceptually simple formally verified compiler
(github.com/j-baker)
33 points
CHY872
11 years ago
3 comments
634.
▲
Show HN: ProgressLine – Track commands progress in a compact one-line format
(github.com/kattouf)
31 points
kattouf
2 years ago
16 comments
635.
▲
Independent Guest Virtual Machine (IGVM) File Format
(github.com/microsoft)
31 points
mfrw
3 years ago
6 comments
636.
▲
WOFF 2 – Next-generation web font format
(gist.github.com)
30 points
tosh
11 years ago
11 comments
637.
▲
Show HN: ION, a JSON alternative – Versatile, compact, fast, binary data format
(github.com/jjenkov)
29 points
VStack
10 years ago
61 comments
638.
▲
Independent Guest Virtual Machine (IGVM) File Format
(github.com/microsoft)
28 points
ingve
5 months ago
9 comments
639.
▲
My weekend project: accounting.js, tiny JS library for money/currency formatting
(josscrowcroft.github.com)
28 points
josscrowcroft
15 years ago
9 comments
640.
▲
Fleece: A super-fast, compact, JSON-equivalent binary data format
(github.com/couchbase)
26 points
todsacerdoti
3 years ago
7 comments
641.
▲
Show HN: Browser-based PDF form fields detection (YOLO-based)
(commonforms.simplepdf.com)
26 points
nip
8 months ago
3 comments
642.
▲
Show HN: Paypyrus – Electronic money in physical form with Venmo
(github.com/cydrobolt)
25 points
cydrobolt
11 years ago
16 comments
643.
▲
Mason.nvim: package manager for Neovim: LSP&DAP servers, linters, and formatters
(github.com/williamboman)
25 points
aiNohY6g
2 years ago
9 comments
644.
▲
Bup: Efficient backup system based on the Git packfile format
(github.com/bup)
25 points
dmmalam
10 years ago
7 comments
645.
▲
YAPF – A formatter for Python files
(github.com/google)
24 points
pdknsk
11 years ago
8 comments
646.
▲
A Prolog Formulation of the Constitution of Japan
(github.com/bitlaw-jp)
24 points
ipnon
6 years ago
discuss
647.
▲
Cursedfs – Make a disk image formatted with both ext2 and FAT at once
(github.com/NieDzejkob)
23 points
bratao
6 years ago
2 comments
648.
▲
Show HN: Simulating autonomous drone formations
(github.com/sushrut141)
22 points
wanderinglight
a year ago
9 comments
649.
▲
Show HN: Collaborate on your YC Application with CRDT-powered forms
(togetherform.com)
22 points
jasonbw
2 years ago
8 comments
650.
▲
Carnap – A formal logic framework that runs in the browser
(github.com/Carnap)
22 points
emdashcomma
4 years ago
1 comment
651.
▲
Pgfmt – a PostgreSQL specific SQL formatter
(github.com/gmr)
21 points
whalesalad
2 months ago
discuss
652.
▲
Show HN: Devicons, +1300 logos and icons in React, SVG, and icon format
(devicons.io)
19 points
vorillaz
2 months ago
2 comments
653.
▲
glTF: Runtime asset format for WebGL, OpenGL ES, and OpenGL
(github.com/KhronosGroup)
18 points
wolfgke
12 years ago
13 comments
654.
▲
Show HN: I made a browser extension that fixes Hacker News' block formatting
(github.com/corollari)
18 points
corollari
7 years ago
13 comments
655.
▲
Sending form data made easy with – diver.js
(github.com/raul1991)
18 points
cafebabe1991
9 years ago
13 comments
656.
▲
Show HN: Jsn – A relaxed, user-friendly JSON-like data format
(github.com/polymonster)
18 points
polymonster
7 years ago
10 comments
657.
▲
Ron : Humane text format and toolchain for creating UNIX man pages
(github.com/rtomayko)
18 points
r11t
17 years ago
9 comments
658.
▲
KJS: A Complete Formal Semantics of JavaScript
(github.com/kframework)
18 points
andsoitis
6 months ago
3 comments
659.
▲
FSM-Oracle – A formally verified Finite State Machine oracle
(github.com/statebox)
18 points
dgellow
6 years ago
discuss
660.
▲
Internet-Draft: JSON Hypertext Application Language (lean format for linking)
(raw.github.com)
17 points
AffableSpatula
14 years ago
24 comments
More