Search: github.com/forem | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

571.

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

github.com/litexlang

9 months ago

111 points

572.

A formalization of category theory in Coq

github.com/jwiegley

9 years ago

109 points

573.

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

github.com/ef1500

5 months ago

106 points

574.

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

github.com/C-Loftus

2 years ago

105 points

575.

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

rickharrison.github.com

15 years ago

102 points

576.

Saltpack – A modern crypto messaging format

github.com/keybase

6 years ago

101 points

577.

Waxolotl – A small language that compiles to WebAssembly text format

github.com/eliot-akira

2 years ago

101 points

578.

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

github.com/Kuberwastaken

a year ago

98 points

579.

Pure: A static analysis file format checker

github.com/ronomon

4 years ago

98 points

580.

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

github.com/lastmile-ai

3 years ago

97 points

581.

GitHub.com momentarily blacklisted in Russia

12 years ago

96 points

582.

Extend Twitter Bootstrap with these Bootstrap Form Helpers

vlamanna.github.com

14 years ago

96 points

583.

Show HN: Cuq – Formal Verification of Rust GPU Kernels

github.com/neelsomani

8 months ago

94 points

584.

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

github.com/schildep

20 days ago

93 points

585.

The email boilerplate for sending out nicely formatted messages

github.com/seanpowell

14 years ago

88 points

586.

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

github.com/Hafthor

2 years ago

86 points

587.

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

github.com/mangini

13 years ago

86 points

588.

Uf2: USB Flashing Format

github.com/microsoft

5 years ago

85 points

589.

Flynt: Convert old Python string formatting to f-strings

github.com/ikamensh

5 years ago

79 points

590.

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

github.com/ajensenwaud

4 years ago

79 points

591.

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

a year ago

78 points

592.

The FastLanes File Format [pdf]

github.com/cwida

a year ago

77 points

593.

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

github.com/devinmcgloin

7 years ago

77 points

594.

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

github.com/baptisteArno

4 years ago

77 points

595.

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

github.com/tmcgilchrist

7 months ago

75 points

596.

Tamgucalc: A spreadsheet in character mode with Lisp formulas

github.com/naver

6 years ago

74 points

597.

A formalization in Coq of the Haskell pipes library

github.com/jwiegley

11 years ago

73 points

598.

Show HN: Paperstencil – cross between word processor and web form

github.com/bitstat

12 years ago

72 points

599.

Show HN: Automedia – a tool for managing bitrot and formats in media libraries

github.com/mmastrac

4 years ago

71 points

600.

Dline: A tool that presents important data in the form of a calendar in terminal

github.com/jazz-it

2 years ago

71 points