Show HN: Galois connections for composable numeric casts in Rust (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Show HN: Galois connections for composable numeric casts in Rust

First screen, captured 3 months ago.

Looks similar

Screenshot of github.com: Show HN: Lightweight Task queue on Erlang/OTP, SQLite-backed, no overengineering

Show HN: Lightweight Task queue on Erlang/OTP, SQLite-backed, no overengineering (github.com)

61 points by ent1c3d 4 months ago | 10 comments

Screenshot of github.com: Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell)

Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell)(github.com)

183 points by wazHFsRy 7 months ago | 78 comments

Screenshot of github.com: Show HN: CCState is a semantic, strict, and flexible state management library

Show HN: CCState is a semantic, strict, and flexible state management library (github.com)

12 points by acmerfight 1 year ago | 1 comments

Screenshot of github.com: Gooey: A GPU-accelerated UI framework for Zig

Gooey: A GPU-accelerated UI framework for Zig (github.com)

187 points by ksec 4 months ago | 73 comments

Screenshot of github.com: Show HN: Is It Greg?

Show HN: Is It Greg?(github.com)

53 points by antoineleclair 1 month ago | 19 comments

Screenshot of github.com: Show HN: Marky – A lightweight Markdown viewer for agentic coding

Show HN: Marky – A lightweight Markdown viewer for agentic coding (github.com)

58 points by GRVYDEV 6 months ago | 29 comments