Search: github.com/Form5 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

Clojure-flavored WASM text format (github.com/roman01la)

112 points

7 years ago

542.

Litex: The First Formal Language Learnable in 1-2 Hours (github.com/litexlang)

111 points

9 months ago

543.

A formalization of category theory in Coq (github.com/jwiegley)

109 points

9 years ago

544.

Libbbf: Bound Book Format, A high-performance container for comics and manga (github.com/ef1500)

106 points

5 months ago

545.

Show HN: Offline audiobook from any format with one CLI command (github.com/C-Loftus)

105 points

2 years ago

546.

Show HN: validate.js - lightweight JavaScript form validation library (rickharrison.github.com)

102 points

15 years ago

547.

Saltpack – A modern crypto messaging format (github.com/keybase)

101 points

6 years ago

548.

Waxolotl – A small language that compiles to WebAssembly text format (github.com/eliot-akira)

101 points

2 years ago

549.

Show HN: Meow – An Image File Format I made because PNGs and JPEGs suck for AI (github.com/Kuberwastaken)

98 points

a year ago

550.

Pure: A static analysis file format checker (github.com/ronomon)

98 points

4 years ago

551.

AIConfig – source control format for gen AI prompts, models and settings (github.com/lastmile-ai)

97 points

3 years ago

552.

GitHub.com momentarily blacklisted in Russia

96 points

12 years ago

553.

Extend Twitter Bootstrap with these Bootstrap Form Helpers (vlamanna.github.com)

96 points

14 years ago

554.

Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com/neelsomani)

94 points

8 months ago

555.

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com/schildep)

92 points

9 days ago

556.

The email boilerplate for sending out nicely formatted messages (github.com/seanpowell)

88 points

14 years ago

557.

Show HN: ZSV (Zip Separated Values) columnar data format (github.com/Hafthor)

86 points

2 years ago

558.

Show HN: Convert a Google Drive Document to the Markdown format (github.com/mangini)

86 points

13 years ago

559.

Uf2: USB Flashing Format (github.com/microsoft)

85 points

5 years ago

560.

Flynt: Convert old Python string formatting to f-strings (github.com/ikamensh)

79 points

5 years ago

561.

CLI tool for converting txn statements from Singaporean banks into a sane format (github.com/ajensenwaud)

79 points

4 years ago

562.

I'd like to take a moment to speak to you about the Adobe PSD format (2009) (github.com/gco)

78 points

a year ago

563.

The FastLanes File Format [pdf] (github.com/cwida)

77 points

a year ago

564.

Programming as a medium for poorly understood, sloppily-formulated ideas (1967) [pdf] (github.com/devinmcgloin)

77 points

7 years ago

565.

Typebot: A conversational form builder that you can self-host (github.com/baptisteArno)

77 points

4 years ago

566.

Durin is a library for reading and writing the Dwarf debugging format (github.com/tmcgilchrist)

75 points

6 months ago

567.

Tamgucalc: A spreadsheet in character mode with Lisp formulas (github.com/naver)

74 points

6 years ago

568.

A formalization in Coq of the Haskell pipes library (github.com/jwiegley)

73 points

11 years ago

569.

Show HN: Paperstencil – cross between word processor and web form (github.com/bitstat)

72 points

12 years ago

570.

Show HN: Automedia – a tool for managing bitrot and formats in media libraries (github.com/mmastrac)

71 points

4 years ago