Search: github.com/forem | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

JSONForms: Customizable JSON Schema-based forms

github.com/eclipsesource

4 years ago

35 points

662.

L1c: A conceptually simple formally verified compiler

github.com/j-baker

11 years ago

33 points

663.

Show HN: ProgressLine – Track commands progress in a compact one-line format

github.com/kattouf

2 years ago

31 points

664.

Independent Guest Virtual Machine (IGVM) File Format

github.com/microsoft

3 years ago

31 points

665.

WOFF 2 – Next-generation web font format

gist.github.com

11 years ago

30 points

666.

Show HN: ION, a JSON alternative – Versatile, compact, fast, binary data format

github.com/jjenkov

10 years ago

29 points

667.

Independent Guest Virtual Machine (IGVM) File Format

github.com/microsoft

5 months ago

28 points

668.

My weekend project: accounting.js, tiny JS library for money/currency formatting

josscrowcroft.github.com

15 years ago

28 points

669.

Fleece: A super-fast, compact, JSON-equivalent binary data format

github.com/couchbase

3 years ago

26 points

670.

Show HN: Browser-based PDF form fields detection (YOLO-based)

commonforms.simplepdf.com

8 months ago

26 points

671.

Show HN: Paypyrus – Electronic money in physical form with Venmo

github.com/cydrobolt

11 years ago

25 points

672.

Mason.nvim: package manager for Neovim: LSP&DAP servers, linters, and formatters

github.com/williamboman

2 years ago

25 points

673.

Bup: Efficient backup system based on the Git packfile format

10 years ago

25 points

674.

YAPF – A formatter for Python files

github.com/google

11 years ago

24 points

675.

A Prolog Formulation of the Constitution of Japan

github.com/bitlaw-jp

6 years ago

24 points

676.

Cursedfs – Make a disk image formatted with both ext2 and FAT at once

github.com/NieDzejkob

6 years ago

23 points

677.

Show HN: Simulating autonomous drone formations

github.com/sushrut141

a year ago

22 points

678.

Show HN: Collaborate on your YC Application with CRDT-powered forms

togetherform.com

2 years ago

22 points

679.

Carnap – A formal logic framework that runs in the browser

github.com/Carnap

4 years ago

22 points

680.

Pgfmt – a PostgreSQL specific SQL formatter

3 months ago

21 points

681.

Show HN: Devicons, +1300 logos and icons in React, SVG, and icon format

2 months ago

19 points

682.

glTF: Runtime asset format for WebGL, OpenGL ES, and OpenGL

github.com/KhronosGroup

12 years ago

18 points

683.

Show HN: I made a browser extension that fixes Hacker News' block formatting

github.com/corollari

7 years ago

18 points

684.

Sending form data made easy with – diver.js

github.com/raul1991

9 years ago

18 points

685.

Show HN: Jsn – A relaxed, user-friendly JSON-like data format

github.com/polymonster

7 years ago

18 points

686.

Ron : Humane text format and toolchain for creating UNIX man pages

github.com/rtomayko

17 years ago

18 points

687.

KJS: A Complete Formal Semantics of JavaScript

github.com/kframework

7 months ago

18 points

688.

FSM-Oracle – A formally verified Finite State Machine oracle

github.com/statebox

6 years ago

18 points

689.

Internet-Draft: JSON Hypertext Application Language (lean format for linking)

14 years ago

17 points

690.

Ask HN: Examples of Unusual Code Formatting Styles?

4 years ago

17 points