Search: github.com/Form5 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

Show HN: Qq: like jq, but can transcode between many formats

github.com/JFryy

2 years ago

115 points

542.

Shfmt – format shell programs

github.com/mvdan

3 years ago

115 points

543.

Clojure-flavored WASM text format

github.com/roman01la

7 years ago

112 points

544.

Litex: The First Formal Language Learnable in 1-2 Hours

github.com/litexlang

9 months ago

111 points

545.

A formalization of category theory in Coq

github.com/jwiegley

9 years ago

109 points

546.

Libbbf: Bound Book Format, A high-performance container for comics and manga

github.com/ef1500

5 months ago

106 points

547.

Show HN: Offline audiobook from any format with one CLI command

github.com/C-Loftus

2 years ago

105 points

548.

Show HN: validate.js - lightweight JavaScript form validation library

rickharrison.github.com

15 years ago

102 points

549.

Saltpack – A modern crypto messaging format

github.com/keybase

6 years ago

101 points

550.

Waxolotl – A small language that compiles to WebAssembly text format

github.com/eliot-akira

2 years ago

101 points

551.

Show HN: Meow – An Image File Format I made because PNGs and JPEGs suck for AI

github.com/Kuberwastaken

a year ago

98 points

552.

Pure: A static analysis file format checker

github.com/ronomon

4 years ago

98 points

553.

AIConfig – source control format for gen AI prompts, models and settings

github.com/lastmile-ai

3 years ago

97 points

554.

GitHub.com momentarily blacklisted in Russia

12 years ago

96 points

555.

Extend Twitter Bootstrap with these Bootstrap Form Helpers

vlamanna.github.com

14 years ago

96 points

556.

Show HN: Cuq – Formal Verification of Rust GPU Kernels

github.com/neelsomani

8 months ago

94 points

557.

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

github.com/schildep

19 days ago

93 points

558.

The email boilerplate for sending out nicely formatted messages

github.com/seanpowell

14 years ago

88 points

559.

Show HN: ZSV (Zip Separated Values) columnar data format

github.com/Hafthor

2 years ago

86 points

560.

Show HN: Convert a Google Drive Document to the Markdown format

github.com/mangini

13 years ago

86 points

561.

Uf2: USB Flashing Format

github.com/microsoft

5 years ago

85 points

562.

Flynt: Convert old Python string formatting to f-strings

github.com/ikamensh

5 years ago

79 points

563.

CLI tool for converting txn statements from Singaporean banks into a sane format

github.com/ajensenwaud

4 years ago

79 points

564.

I'd like to take a moment to speak to you about the Adobe PSD format (2009)

a year ago

78 points

565.

The FastLanes File Format [pdf]

github.com/cwida

a year ago

77 points

566.

Programming as a medium for poorly understood, sloppily-formulated ideas (1967) [pdf]

github.com/devinmcgloin

7 years ago

77 points

567.

Typebot: A conversational form builder that you can self-host

github.com/baptisteArno

4 years ago

77 points

568.

Durin is a library for reading and writing the Dwarf debugging format

github.com/tmcgilchrist

7 months ago

75 points

569.

Tamgucalc: A spreadsheet in character mode with Lisp formulas

github.com/naver

6 years ago

74 points

570.

A formalization in Coq of the Haskell pipes library

github.com/jwiegley

11 years ago

73 points