Search: github.com/Form5 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

601.

Show HN: I built a P2P network where AI agents publish formally verified science

47 points

FranciscoAngulo

3 months ago

602.

Please Review My Responsive Image Format (github.com/DarkLilac)

46 points

12 years ago

603.

Show HN: Video-input, an HTML element that acts like a video form field (github.com/wgryc)

46 points

6 years ago

604.

Show HN: Brawshot – Basic temporal denoise for videos in BRAW format (github.com/hackyourlife)

46 points

2 years ago

605.

The mystery of the blend file format (2009) (github.com/fschutt)

46 points

3 years ago

606.

KEON is a human-readable Serde format that is syntactically similar to Rust (github.com/eternal-io)

45 points

a year ago

607.

Automatic Textbook Formalization (github.com/facebookresearch)

44 points

2 months ago

608.

Fmt – A Modern Formatting Library (github.com/fmtlib)

44 points

6 years ago

609.

Show HN: Readsql – convert SQL to most human readable format (github.com/AzisK)

43 points

5 years ago

610.

Yamlfmt: An extensible command line tool or library to format YAML files (github.com/google)

43 points

a year ago

611.

Orion 0.17 – X25519 with formally-verified field arithmetic and serde support (github.com/orion-rs)

43 points

5 years ago

612.

Show HN: Pg_analytica – Speed up queries by exporting tables to columnar format (github.com/sushrut141)

42 points

2 years ago

613.

Sorting functions implemented in C as std qsort() format (github.com/p1v0t)

41 points

8 years ago

614.

Show HN: GitForms – Zero-cost contact forms using GitHub Issues as database (gitforms-landing.vercel.app)

40 points

6 months ago

615.

Git log in JSON format (gist.github.com)

40 points

11 years ago

616.

Show HN: Jesth – Next-level human-readable data serialization format (github.com/pyrustic)

38 points

3 years ago

617.

Tell HN: Thank you all, from a former noob

38 points

3 years ago

618.

Thinking about 'meta' torrent file format (gist.github.com)

37 points

12 years ago

619.

Survey: Simple iOS Forms library (github.com/wess)

37 points

14 years ago

620.

Structureshrink: Structured shrinking of unknown file formats (github.com/DRMacIver)

37 points

10 years ago

621.

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)

37 points

6 months ago

622.

Design.md: A format spec for describing a visual identity to coding agents (github.com/google-labs-code)

37 points

2 months ago

623.

Sparrow: C++20 Idiomatic APIs for the Apache Arrow Columnar Format (github.com/man-group)

36 points

9 months ago

624.

MS is open-sourcing PDB format (github.com/Microsoft)

36 points

11 years ago

625.

Show HN: Bel language guide and source code with formatting (github.com/alephyud)

36 points

7 years ago

626.

Lenia – Mathematical Life Forms (github.com/Chakazul)

36 points

5 years ago

627.

Folmura: Randomly generated visual with randomly generated formula (github.com/abagames)

36 points

7 years ago

628.

JCOF: JSON-like Compact Object Format (github.com/mortie)

35 points

4 years ago

629.

Show HN: rust-rss – library for serializing the RSS web content format (github.com/frewsxcv)

35 points

11 years ago

630.

HawkEye: A Simple license header checker and formatter in Rust (github.com/korandoru)

35 points

a year ago